Computer supported mathematics with \(\Omega\)MEGA. (English) Zbl 1107.68101
MSC:
68T15
68W30
Found 2 Documents (Results 1–2)
\(\Omega\)MEGA: Computer supported mathematics. (English) Zbl 1132.68682
Biundo, Susanne (ed.) et al., KI 2004: Advances in artificial intelligence. 27th annual German conference in AI, KI 2004, Ulm, Germany, September 20–24, 2004, Proceedings. Berlin: Springer (ISBN 978-3-540-23166-0/pbk). Lecture Notes in Computer Science 3238. Lecture Notes in Artificial Intelligence, 3-28 (2004).
MSC:
68T15
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
Main Field
- 68-XX (2)
all
top 3
Software
- Bliksem (2)
- CLAM (2)
- Coq (2)
- GAP (2)
- Isabelle (2)
- Isabelle/HOL (2)
- LOUI (2)
- Lambda-Clam (2)
- Leo (2)
- MAYA (2)
- MBase (2)
- MathWeb (2)
- Nuprl (2)
- OTTER (2)
- Omega-ANTS (2)
- Oyster (2)
- P.rex (2)
- PROTEIN (2)
- PVS (2)
- SATCHMO (2)
- SPASS (2)
- TPS (2)
- TPTP (2)
- TRAMP (2)
- TeXmacs (2)
- VAMPIRE (2)
- Waldmeister (2)
- ActiveMath (1)
- Automath (1)
- Doris (1)
- HOL (1)
- ML (1)
- Multi (1)
- OMEGA (1)
- Prodigy (1)
