The following pages link to TeXmacs (Q17495):
Displayed 14 items.
- Gtybalt-a free computer algebra system (Q709443) (← links)
- Cadabra: a field-theory motivated symbolic computer algebra system (Q710052) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Towards semantic mathematical editing (Q2348287) (← links)
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (Q2462639) (← links)
- Constructing reductions for creative telescoping. The general differentially finite case (Q2666962) (← links)
- Computerizing Mathematical Text with MathLang (Q2866734) (← links)
- Collaborative Computer Algebra (Q4610016) (← links)
- Preserving Syntactic Correctness While Editing Mathematical Formulas (Q4610027) (← links)
- Computing one billion roots using the tangent Graeffe method (Q5102031) (← links)
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)