Deduction as an Engineering Science

DOI10.1016/S1571-0661(04)80648-0zbMath1261.68102MaRDI QIDQ4916217

Dieter Hutter

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Uses Software

• OMRS
• MAYA
• PVS
• NQTHM
• IMPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of abstraction
• IMPS: An interactive mathematical proof system
• Solution of the Robbins problem
• Annotated reasoning
• Productive use of failure in inductive proof
• Proving theorems by reuse
• A paradigm for reasoning by analogy
• Proof Transformations for Evolutionary Formal Software Development
• Formal software development in the Verification Support Environment (VSE)
• Lazy abstraction
• Rippling: Meta-Level Guidance for Mathematical Reasoning

This page was built for publication: Deduction as an Engineering Science