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

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2018
• Θέματα: 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...