Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Format: Technical Report
• Language: English
• Published: 2018
• Subjects: Automated theorem proving; Automated reasoning; Automated deduction; Predicate logic; Formal proofs; OTTER; Beams; Elastic foundations; Structures; Trusses; Αυτόματη απόδειξη θεωρημάτων; Αυτόματη συλλογιστική; Αυτόματη εξαγωγή συμπερασμάτων; Κατηγορηματική λογική; Τυπικές αποδείξεις; Δοκοί; Ελαστικές θεμελιώσεις; Κατασκευές; Δικτυώματα

Four elementary applications of the famous McCune's OTTER (Organized Techniques for Theorem Proving and Effective Research) automated deduction/theorem-proving computer program in structural mechanics are presented. These applications concern (i) conclusions on the support and boundary conditio...