scientific article; zbMATH DE number 1254305

MaRDI QIDQ4227355zbMATH OpenFDO

Authors Yanjie Zhao, Hiroshi Sugiura, Tatsuo Torii, Tetsuya Sakurai

Publication date 23 February 1999

zbMATH Keywords

knowledge-based parsers

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Mathematical Knowledge Management
• Math-Literate Computers
• From Notation to Semantics: There and Back Again
• What does mathematical notation actually mean, and how can computers process it?
• Towards a Parser for Mathematical Formula Recognition

Cited in

(6)

• What does mathematical notation actually mean, and how can computers process it?
• Math-Literate Computers
• Restoring Natural Language as a Computerised Mathematics Input Method
• Computerizing mathematical text with MathLang
• BNF-style notation as it is actually used
• Mathematical Knowledge Management

Describes a project that uses

Uses Software

• CAS/PI

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 Q4227355)