The following pages link to (Q4226993):
Displaying 13 items.
- Theorema (Q13705) (← links)
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Commutative algebra in the Mizar system (Q597122) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge (Q1582906) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Logicographic symbols (Q2457342) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- Theorema 2.0: A System for Mathematical Theory Exploration (Q2879097) (← links)
- (Q4499163) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)