Cited in
(only showing first 100 items - show all)- Quick specifications for the busy programmer
- Proceedings of the mathematical knowledge management symposium, Edinburgh, UKNEWLINENovember 25--29, 2003
- The seventeen provers of the world. Foreword by Dana S. Scott..
- Reasoning Algebraically About P-Solvable Loops
- Hidden verification for computational mathematics
- Conjecture synthesis for inductive theories
- A new symbolic method for linear boundary value problems using Groebner bases
- User interaction with the Matita proof assistant
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
- Synthesis of sorting algorithms using multisets in \textit{Theorema}
- ProofWidgets
- On the role of OpenMath in interactive mathematical documents
- Geometry constructions language
- Flat matching
- scientific article; zbMATH DE number 1951639 (Why is no real title available?)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Automated reasoning in reduction rings using the Theorema system
- Algorithms and proofs inheritance in the FOC language
- Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- MathLang Translation to Isabelle Syntax
- Transforming problems from analysis to algebra: a case study in linear boundary problems
- scientific article; zbMATH DE number 2177625 (Why is no real title available?)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
- scientific article; zbMATH DE number 2000437 (Why is no real title available?)
- scientific article; zbMATH DE number 2043541 (Why is no real title available?)
- scientific article; zbMATH DE number 2065273 (Why is no real title available?)
- scientific article; zbMATH DE number 1497748 (Why is no real title available?)
- scientific article; zbMATH DE number 2098744 (Why is no real title available?)
- scientific article; zbMATH DE number 1232829 (Why is no real title available?)
- Locking-free compressible quadrilateral finite elements: Poisson's ratio-dependent vector interpolants
- The TH\(\exists\)OREM\(\forall\) project: A progress report
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
- Communicating mathematics in the digital era (CMDE 2006). Selected papers based on the presentations at the meeting (CMDE 2006), Aveiro, Portugal, August 15--18, 2006.
- A synthesis of the procedural and declarative styles of interactive theorem proving
- Algorithm synthesis by lazy thinking: examples and implementation in Theorema
- Generation and presentation of formal mathematical documents
- Logicographic symbols
- Automated Deduction in Geometry
- Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
- scientific article; zbMATH DE number 2079533 (Why is no real title available?)
- Proof Documents for Automated Origami Theorem Proving
- scientific article; zbMATH DE number 1405443 (Why is no real title available?)
- A formal framework for managing mathematics
- Mathematical knowledge management using theorema
- A heuristic prover for elementary analysis in \textit{Theorema}
- Incorporating quotation and evaluation into Church's type theory
- Two tools for mathematical knowledge management in theorema
- A fully automatic theorem prover with human-style output
- scientific article; zbMATH DE number 2090059 (Why is no real title available?)
- The area method. A recapitulation
- scientific article; zbMATH DE number 2098742 (Why is no real title available?)
- scientific article; zbMATH DE number 1687007 (Why is no real title available?)
- Mathematical Knowledge Management
- Commutative algebra in the Mizar system
- Formal and efficient primality proofs by use of computer algebra oracles
- Mathematical theory exploration in Theorema: reduction rings
- Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings
- Formalizing polygonal knot origami
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Variadic equational matching in associative and commutative theories
- Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2--6, 2005. Proceedings
- Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17--21, 2017. Proceedings
- scientific article; zbMATH DE number 2217742 (Why is no real title available?)
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
- Proof-based synthesis of sorting algorithms for trees
- scientific article; zbMATH DE number 1497752 (Why is no real title available?)
- Formal analysis of optical systems
- scientific article; zbMATH DE number 1927429 (Why is no real title available?)
- Enabling symbolic and numerical computations in HOL Light
- Variadic equational matching
- Theorem proving for and with Gröbner bases theory
- Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14--18, 2015. Proceedings
- Skolemization in unranked logics
- A new symbolic method for solving linear two-point boundary value problems on the level of operators
- Mathematica
- MMP/Geometer
- SACLIB
- TkWinHOL
- Xeukleides
- IsaPlanner
- GEOTHER 1.1
- ALISA
- OMRS
- MetaPRL
- Eukleides
- GeoProof
- Cabri
- GCLCprover
- GeoThms
- Nuprl
- OMDoc
- SgpDec
- CUMODP
- GF
- ForMaRE
- APS
- WinGCLC
- IMPS
This page was built for software: Theorema
