TeXmacs
From MaRDI portal
Software:17495
swMATH5355MaRDI QIDQ17495FDOQ17495
Author name not available (Why is that?)
Cited In (14)
- Preserving Syntactic Correctness While Editing Mathematical Formulas
- 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
- Collaborative Computer Algebra
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
- Computerizing mathematical text with MathLang
- Gtybalt-a free computer algebra system
- Constructing reductions for creative telescoping. The general differentially finite case
This page was built for software: TeXmacs
