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

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

N. Delaunay

Publication date: 21 June 2000

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

zbMATH Keywords

Computer algebra; Interpolation functions; Boundary elements; Inequality constraints; Quantifier elimination; Triangular elements; Computer logic; Quadratic elements; Feasibility conditions; Positivity/negativity conditions

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65Y99: Computer aspects of numerical algorithms

Uses Software

• Mathematica
• REDUCE
• REDLOG

Cites Work

• Unnamed Item
• 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
• 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