A system for automated deduction in engineering mechanics

DOI10.1007/s11786-020-00493-xOpenAlexW3037229872MaRDI QIDQ1995813

Philip H. Todd

Publication date: 25 February 2021

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-020-00493-x

zbMATH Keywords

mechanicsautomated deductionsymbolic geometry

Mathematics Subject Classification ID

Uses Software

• Geometry Expressions

Cites Work

• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A system for automated deduction in engineering mechanics