Elementary engineering mechanics applications of the OTTER automated reasoning system

Elementary engineering mechanics applications of the OTTER automated reasoning system

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...

Full description

Bibliographic Details
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
Αυτοματοποιημένες αποδείξεις
Αυτοματοποιημένη συλλογιστική
Αυτοματοποιημένη εξαγωγή συμπερασμάτων
Τυπικές αποδείξεις
Κατηγορηματική λογική
Μηχανική για μηχανικούς
Θραυστομηχανική
Συντελεστές εντάσεως τάσεων
Ρωγμές
Μηχανική των κατασκευών
Δοκοί
Online Access:http://hdl.handle.net/10889/10919

Internet

http://hdl.handle.net/10889/10919

Similar Items