Math Notation, Computer Language Syntax, and the “Form” in Formalism

By Xah Lee. Date: . Last updated: .

This page is a index of essays related to {math notations, syntax, formalism, programing languages}. For example, {calculational proofs, automated proof languages, computer algebra systems}.

Introduction: Math Notation, Proof System, Computer Algebra, in One Language

Notations, Syntax, Logicism, Symbols

Unicode

Jargons

Math

Harm Of Bad Terminologies In Computing Languages

Harm of Mixing Concept of Syntax and Formatting

Applications of Regular Syntax

misc

Mathematical Notation: Past and Future

References