Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
From MaRDI portal
Publication:1290082
DOI10.1016/S0020-7683(97)00002-4zbMath0942.74664OpenAlexW1975674400MaRDI QIDQ1290082
Publication date: 8 August 2000
Published in: International Journal of Solids and Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0020-7683(97)00002-4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Unnamed Item ⋮ Application of quantifier elimination to inverse buckling problems ⋮ Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints ⋮ Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. ⋮ BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES ⋮ Quantified constraints under perturbation
This page was built for publication: Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition