The features of realization of high level language for mathematical texts specification

MaRDI QIDQ2745000zbMATH OpenFDO

Authors Andrij Yu. Paskevych

Publication date 9 October 2001

Published in Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

zbMATH Keywords

softwareTL-language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• MathLang: experience-driven development of a new mathematical language
• Mathematical Knowledge Management
• Computerizing mathematical text with MathLang
• scientific article; zbMATH DE number 3965413
• A functional description of T_EX's formula layout

Cited in

(3)

• The evidence algorithm and problems of representation and processing of mathematical computer knowledge
• MathLang: experience-driven development of a new mathematical language
• Mathematical Knowledge Management

This page was built for publication: The features of realization of high level language for mathematical texts specification

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