CEDRICS: when CEDRAM meets Tralics

MaRDI QIDQ3398164zbMATH OpenFDO

Authors Thierry Bouche

Publication date 25 September 2009

Full work available at URL https://eudml.org/doc/221366

zbMATH Keywords

MathMLLaTeXCEDRAMCEDRICSmetadata generation and conversionTralics

Mathematics Subject Classification ID

Theory of data (68P99)

Recommendations

• Automated processing of {\TeX}-typetest articles for a digital library
• Transforming the arχiv to XML
• System description: XSL-based translator of Mizar to {\LaTeX}
• MathML-aware article conversion from LaTeX a comparison study
• System description: a semantics-aware LaTeX-to-office converter

Cited in

(6)

• The new Numdam platform
• Press-ready deduction trees in classical logic using point-plus-expressions
• Is the system of scientific publications on the eve of a revolution? And if so, toward what?
• Automated processing of {\TeX}-typetest articles for a digital library
• Ongoing efforts to generate ``tagged PDF using pdfTeX
• CEDRICS

Describes a project that uses

Uses Software

• LaTeX
• pdfTeX
• Tralics
• LaTeXML

This page was built for publication: CEDRICS: when CEDRAM meets Tralics

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