Cited in
(32)- Collaborative computer algebra
- Computing one billion roots using the tangent Graeffe method
- Cadabra: a field-theory motivated symbolic computer algebra system
- KI 2004: Advances in Artificial Intelligence
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- Towards semantic mathematical editing
- A proof-centric approach to mathematical assistants
- Computer supported mathematics with MEGA
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
- Dagwood
- gTybalt
- SHEEP
- MAYA
- IsaWin
- TAS
- EinS
- CtCoq
- EG
- Plat-Omega
- Doris
- MathLang
- P.rex
- Hyperproof
- EPGY
- Centaur
- tangent Graeffe
- Preserving syntactic correctness while editing mathematical formulas
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
- Gtybalt-a free computer algebra system
- Computerizing mathematical text with MathLang
- Constructing reductions for creative telescoping. The general differentially finite case
- AutoTutor
This page was built for software: TeXmacs
