swMATH5355MaRDI QIDQ17495FDOQ17495
Author name not available (Why is that?)
Official website: http://www.texmacs.org/
Cited In (31)
- Computing one billion roots using the tangent Graeffe method
- KI 2004: Advances in Artificial Intelligence
- Cadabra: a field-theory motivated symbolic computer algebra system
- 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 \(\Omega\)MEGA
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
- tangent Graeffe
- AutoTutor
- gTybalt
- SHEEP
- MAYA
- IsaWin
- TAS
- Preserving syntactic correctness while editing mathematical formulas
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
- EinS
- CtCoq
- EG
- Plat-Omega
- Doris
- MathLang
- P.rex
- Hyperproof
- EPGY
- Centaur
- Computerizing mathematical text with MathLang
- Gtybalt-a free computer algebra system
- Constructing reductions for creative telescoping. The general differentially finite case
- Collaborative computer algebra
This page was built for software: TeXmacs
