Computer supported mathematics with \(\Omega\)MEGA. (English) Zbl 1107.68101
MSC:
68T15
68W30
Found 6 Documents (Results 1–6)
A proof-centric approach to mathematical assistants. (English) Zbl 1107.68096
MSC:
68T15
Mathematical induction in Otter-lambda. (English) Zbl 1107.68093
MSC:
68T15
Computer theorem proving in mathematics. (English) Zbl 1067.03020
Reviewer: Alfredo Burrieza Muñiz (Málaga)
A Mizar mode for HOL. (English) Zbl 1543.68402
von Wright, J. (ed.) et al., Theorem proving in higher order logics. 9th international conference, TPHOL ’96, Turku, Finland, August 26–30, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1125, 203-220 (1996).
MSC:
68V15
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (1)
all
top 5
Author
- Autexier, Serge (1)
- Beeson, Michael J. (1)
- Benzmüller, Christoph Ewald (1)
- Dixon, Lucas (1)
- Fleuriot, Jacques D. (1)
- Galmiche, Didier (1)
- Pym, David J. (1)
- Siekmann, Jörg H. (1)
- Simpson, Carlos Tschudi (1)
Serial
- J. Appl. Log. (2)
- Lett. Math. Phys. (1)
- Theor. Comput. Sci. (1)
- J. Autom. Reasoning (1)
all
top 3
Software
- TPS (6)
- HOL (4)
- Isabelle (4)
- Nuprl (4)
- Coq (3)
- ML (3)
- Mizar (3)
- PVS (3)
- Isabelle/HOL (2)
- Isar (2)
- Lambda-Clam (2)
- OTTER (2)
- TeXmacs (2)
- ACL2 (1)
- ActiveMath (1)
- Automath (1)
- Bliksem (1)
- CLAM (1)
- Cambridge LCF (1)
- Elf (1)
- Flyspeck (1)
- GAP (1)
- HOL Light (1)
- IsaPlanner (1)
- IsaWin (1)
- Jape (1)
- LCF (1)
- LEGO (1)
- LOUI (1)
- Leo (1)
- Lolli (1)
- MAYA (1)
- MBase (1)
- MathWeb (1)
- MathXpert (1)
- Multi (1)
- NQTHM (1)
- Omega-ANTS (1)
- Oyster (1)
- P.rex (1)
- PROTEIN (1)
- PTTP (1)
- PhoX (1)
- Proof General (1)
- RRL (1)
- SATCHMO (1)
- SKIL (1)
- SPASS (1)
- TAS (1)
- TPTP (1)
- TRAMP (1)
- VAMPIRE (1)
- Waldmeister (1)
- XBarnacle (1)
- leanTAP (1)
- theoremprover-museum (1)
