Elementary engineering mechanics applications of the OTTER automated reasoning system

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Format: Technical Report
• Language: English
• Published: 2018
• Subjects: Automated proofs; Automated reasoning; Automated deduction; Formal proofs; Predicate logic; OTTER; Engineering mechanics; Fracture mechanics; Stress intensity factors; Cracks; Structural mechanics; Beams; Αυτοματοποιημένες αποδείξεις; Αυτοματοποιημένη συλλογιστική; Αυτοματοποιημένη εξαγωγή συμπερασμάτων; Τυπικές αποδείξεις; Κατηγορηματική λογική; Μηχανική για μηχανικούς; Θραυστομηχανική; Συντελεστές εντάσεως τάσεων; Ρωγμές; Μηχανική των κατασκευών; Δοκοί

The famous resolution-based McCune's OTTER automated reasoning (or automated deduction) program has been used for the logical proof of elementary statements in mechanics on the basis of hypotheses either of general or of particular validity. Three such simple applications concerning fracture an...