Computerizing mathematical text with MathLang
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1234411
- scientific article; zbMATH DE number 33718
- MathLang: experience-driven development of a new mathematical language
- Restoring Natural Language as a Computerised Mathematics Input Method
- Mathematical text processing in EA-style: a sequent aspect
- scientific article; zbMATH DE number 1254305
- Domain-specific languages of mathematics
- Making Presentation Math Computable
- scientific article; zbMATH DE number 1263437
Cites work
- scientific article; zbMATH DE number 5838442 (Why is no real title available?)
- scientific article; zbMATH DE number 3119278 (Why is no real title available?)
- scientific article; zbMATH DE number 3150886 (Why is no real title available?)
- scientific article; zbMATH DE number 3165534 (Why is no real title available?)
- scientific article; zbMATH DE number 5789034 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3624817 (Why is no real title available?)
- scientific article; zbMATH DE number 2007732 (Why is no real title available?)
- scientific article; zbMATH DE number 2154392 (Why is no real title available?)
- scientific article; zbMATH DE number 3291106 (Why is no real title available?)
- A modern perspective on type theory. From its origins until today
- A refinement of de Bruijn's formal language of mathematics
- Capturing Abstract Matrices from Paper
- MathLang: experience-driven development of a new mathematical language
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Narrative Structure of Mathematical Texts
- Restoring Natural Language as a Computerised Mathematics Input Method
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
- The calculus of constructions
- Types for Proofs and Programs
Cited in
(25)- Mathematical knowledge representation: semantic models and formalisms
- A user-friendly interface for a lightweight verification system
- MMTTeX: connecting content and narration-oriented document formats
- Learning and using mathematics software the natural way
- A web-based toolkit for mathematical word processing applications with semantics
- MathLang Translation to Isabelle Syntax
- The language of formal mathematics Russell
- MathLang: experience-driven development of a new mathematical language
- Mathematical Knowledge Management
- The features of realization of high level language for mathematical texts specification
- scientific article; zbMATH DE number 33718 (Why is no real title available?)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- Part-of-math tagging and applications
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Narrative Structure of Mathematical Texts
- Restoring Natural Language as a Computerised Mathematics Input Method
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
- Developing corpus-based translation methods between informal and formal mathematics: project description
- A refinement of de Bruijn's formal language of mathematics
- Methods and means for semantic structuring of electronic mathematical documents
- Translating between language and logic: what is easy and what is difficult
- scientific article; zbMATH DE number 2078371 (Why is no real title available?)
- Smm, the simplified metamath
- ProofLang: the language of arXiv proofs
This page was built for publication: Computerizing mathematical text with MathLang
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2866734)