MathLingua

MathLingua is a language designed to clearly and concisely describe mathematical knowledge (theorems, definitions, notes, exercises, books, and more) in a format that is easy for both people and computers to understand.

With MathLingua you can construct an interconnected collection of math knowledge that is always growing, expanding, and building on itself in the same way mathematics is always growing and expanding on itself.

To keep track of your math knowledge, you can create a private collection or contribute to/explore the public collection at Mathlore.org.

If you want to use your own machine, you can build your own collection using the Vistual Studio Code MathLingua Extension or your any other editor using the MathLingua command line tool.

Just as natural languages allow you to express yourself in literary works, MathLingua allows you to clearly and concisely express mathematical knowledge.

For example, the following is the Second Fundamental Theorem of Calculus rendered from MathLingua code:

Theorem:
.for:\[a\],\[b\],\[f(x)\],\[F(x)\]
where:
.\[a, b\]is\[\textrm{real number}\]
.\[f(x)\]is\[\textrm{continuous function on } [a, b]\]
.\[F(x)\]is\[\textrm{antiderivative of } f (x) \textrm{ on } [a, b]\]

then:
.\[\int_{a}^{b} f (x) \: d x = F (b) - F (a)\]

Metadata:
.name:Second Fundamental Theorem of Calculus

Here is the associated MathLingua code iteself:

Theorem:
.for:a,b,f(x),F(x)
where:
.'a, b is \real.number'
.'f(x) is \continuous.function:on{\closed.interval{a, b}}'
.'F(x) is \antiderivative:of{f(x)}on{\closed.interval{a, b}}'

then:
.'\definite.integral[x]_a^b{f(x)} = F(b) - F(a)'

Metadata:
.name:"Second Fundamental Theorem of Calculus"

To learn more following the links below.

Note: The MathLingua documentation is a work in progress. Check back often for updates.