BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1097-0207(19960229)39:4<663::AID-NME875>3.0.CO;2-8" /><663::AID-NME875>3.0.CO;2-8 10.1002/(SICI)1097-0207(19960229)39:4<663::AID-NME875>3.0.CO;2-8zbMath0857.73078OpenAlexW1991886825MaRDI QIDQ4871659

Nikolaos I. Ioakimidis

Publication date: 10 June 1996

Full work available at URL: https://doi.org/10.1002/(sici)1097-0207(19960229)39:4<663::aid-nme875>3.0.co;2-8

zbMATH Keywords

Sturm's theoremtranscendental equationsCollins cylindrical algebraic decomposition method

Mathematics Subject Classification ID

Rods (beams, columns, shafts, arches, rings, etc.) (74K10)

Related Items (2)

Unnamed Item ⋮ Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints

Uses Software

• Maple

Cites Work

• Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES