Pages that link to "Item:Q2751543"
From MaRDI portal
The following pages link to The TH\(\exists\)OREM\(\forall\) project: A progress report (Q2751543):
Displaying 12 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Formalizing polygonal knot origami (Q485841) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- On the shape of mathematical arguments (Q1188723) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- Pattern unification with sequence variables and flexible arity symbols (Q2842594) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464706) (← links)
- Automated theorem proving in the classroom (Q6653958) (← links)