Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.

DOI10.1016/S0955-7997(99)00049-1zbMath1163.65342WikidataQ126590574 ScholiaQ126590574MaRDI QIDQ1568438

N. Delaunay

Publication date: 21 June 2000

Published in: Engineering Analysis with Boundary Elements (Search for Journal in Brave)

zbMATH Keywords

Computer algebraInterpolation functionsBoundary elementsInequality constraintsQuantifier eliminationTriangular elementsComputer logicQuadratic elementsFeasibility conditionsPositivity/negativity conditions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer aspects of numerical algorithms (65Y99)

Uses Software

• Mathematica
• REDUCE
• REDLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantifier elimination for real algebra -- the quadratic case and beyond
• The complexity of linear problems in fields
• Applications of finite-part integrals to the singular integral equations of crack problems in plane and three-dimensional elasticity
• A new approach for automatic theorem proving in real geometry
• Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
• Reasoning over networks by symbolic methods
• Inequality constraints in one-dimensional finite elements for an elastic beam on a tensionless Winkler foundation
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Simulation and optimization by quantifier elimination
• Simplification of quantifier-free formulae over ordered fields
• Application of quantifier elimination to a simple elastic beam finite element below a straight rigid obstacle
• Applying Linear Quantifier Elimination
• Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints
• Inequality constraints in rectangular finite/boundary elements
• Finite differences/elements in classical beam problems: Derivation of feasibility conditions under parametric inequality constraints with the help of Reduce and REDLOG
• Semilinear motion planning in REDLOG

This page was built for publication: Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.