Pages that link to "Item:Q5195272"
From MaRDI portal
The following pages link to Theorema 2.0: Computer-Assisted Natural-Style Mathematics (Q5195272):
Displayed 13 items.
- Theorema (Q13705) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- A heuristic prover for elementary analysis in \textit{Theorema} (Q2128808) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)
- Automated programming, symbolic computation, machine learning: my personal view (Q6059219) (← links)
- Experiments with automated reasoning in the class (Q6102980) (← links)
- Learning to reason assisted by automated reasoning (Q6102981) (← links)