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