Pages that link to "Item:Q865646"
From MaRDI portal
The following pages link to \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646):
Displaying 13 items.
- The area method. A recapitulation (Q437042) (← links)
- Conjecture synthesis for inductive theories (Q438543) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Flat matching (Q999086) (← links)
- The RISC ProofNavigator: a proving assistant for program verification in the classroom (Q1019024) (← links)
- Using computer algebra techniques for the specification, verification and synthesis of recursive programs (Q1025311) (← links)
- On the relation between context and sequence unification (Q1034550) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)
- High-Level Theories (Q5505502) (← links)
