swMATH961MaRDI QIDQ13705FDOQ13705
Author name not available (Why is that?)
Official website: http://www.risc.jku.at/research/theorema/software/
Cited In (only showing first 100 items - show all)
- User interaction with the Matita proof assistant
- Geometry constructions language
- A synthesis of the procedural and declarative styles of interactive theorem proving
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematical Knowledge Management
- The area method. A recapitulation
- Commutative algebra in the Mizar system
- Formal and efficient primality proofs by use of computer algebra oracles
- Formalizing polygonal knot origami
- TkWinHOL
- Title not available (Why is that?)
- MetaPRL
- Eukleides
- GeoProof
- Cabri
- GCLCprover
- GeoThms
- Nuprl
- OMDoc
- SgpDec
- CUMODP
- GF
- ForMaRE
- APS
- WinGCLC
- IMPS
- Leon
- MetaOCaml
- Veriflog
- CalcCheck
- EgoMath
- LEGO
- ForTheL
- Minlog
- IFSGen4LaTeX
- CtCoq
- SAD
- PhoX
- CATIA V5
- Analytica
- HR
- XCentric
- PROSPER
- webDiscovery
- MathCode
- Metalibm
- Hipster
- EKHAD
- GeoView
- DSJM
- GF
- CodeV
- LASCAD
- MathScheme
- KeTCindy
- Pycao
- SIROCCO
- KIDS
- Zemax
- AUTO2
- Mathematical Knowledge Management
- HOL Light QE
- Orikoto
- mathscape
- QuickSpec
- Omega-ANTS
- Plat-Omega
- TIP
- Markdown
- HOL2P
- CAL
- MATHsAiD
- MathLang
- Multi
- nomore++
- webLurch
- VMEXT
- reFLect
- Mathpert
- GitLab
- FraCaS
- CLP(Flex)
- Naproche
- EPGY
- HOL Light QE
- EVES
- Omega-MKRP
- Vickrey_Clarke_Groves
- Mathematical software -- ICMS 2016. 5th international conference, Berlin, Germany, July 11--14, 2016. Proceedings
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- SAD as a mathematical assistant -- how should we go from here to there?
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
- GeoThms -- a web system for Euclidean constructive geometry
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
- A coherent logic based geometry theorem prover capable of producing formal and readable proofs
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Hipster: integrating theory exploration in a proof assistant
- Hidden verification for computational mathematics
This page was built for software: Theorema
