scientific article; zbMATH DE number 1951630

MaRDI QIDQ4413882zbMATH OpenFDO

Authors Luca Padovani

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2594/25940066.htm

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• scientific article; zbMATH DE number 2170576
• scientific article; zbMATH DE number 1234411
• Mathematical Knowledge Management
• Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
• scientific article; zbMATH DE number 2151218

Cited in

(18)

• Using mathematical expressions in a statistical language
• Rule-based production of mathematical expressions
• Meta-stylesheets for the conversion of mathematical documents into multiple forms
• User interaction with the Matita proof assistant
• Exchange of mathematical information on the web: Present and future
• GNU TeX\(_{\mathrm{MACS}}\) towards a scientific office suite
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
• A Review of Mathematical Knowledge Management
• The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability
• scientific article; zbMATH DE number 1234411 (Why is no real title available?)
• scientific article; zbMATH DE number 1254245 (Why is no real title available?)
• scientific article; zbMATH DE number 2170576 (Why is no real title available?)
• Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
• Canonical text format, RTF, and mathematical formulas
• What does mathematical notation actually mean, and how can computers process it?
• Mathematical Knowledge Management
• Editing and reading early modern mathematical texts in the digital age
• Making Presentation Math Computable

Describes a project that uses

Uses Software

• GtkMathView
• LaTeX

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413882)