Math Notations, Computer Languages Syntax, and the “Form” in Formalism

, , …,

This page is a index of essays on subjects of math notations, syntax, formalism, in programing languages and math. For example, calculational proofs and automated proof languages. For latest articles, subscribe: Xah Math BlogXah Programing Blog.

Introduction: A Programing Language that Does: Math Notation (Mathematica, TeX), Proof System (Coq, HOL), Computer Algebra System

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

References

blog comments powered by Disqus