O
K
Paul's JS Type Theory
(Work in progress)
Contents
Introduction
Logic
Hierachy
Helper Functions
Natural Numbers
Prime Numbers
Modular numbers
Integer Numbers
Rational Numbers
Real Numbers
Binary Numbers
Complex Numbers
Quaternion Numbers
Octonion Numbers
Iterations/Sums/Products
Virosoro Algebra
Vertex Operator Algebra
Exceptional Lie groups
Kac Moody Algebra (Not done)
Leech Lattice
Exceptional Jordan Algebra
Proofs
Elliptic Curves ๐
Riemann Hypothesis ๐
Topology ๐
Calculus
Linear Algebra
Calculus of Variations
Navier Stokes Equation ๐
Maxwell's Equations
Yang-Mills (Not done)
General Relativity
Shrรถdinger Equation
Dirac Equation
Quantum Field Theory
Supersymmetry
Supergravity (Not done)
String Theory (Not done)
Calabi-Yau manifolds
Dark Energy/Dark Matter/MoG
Theory of Everything ๐
Utilities
Graph Plotting
Field Plotting
Graph Theory
ND Arrays
Neural Networks
P-adic Numbers
Surreal Numbers
Bugs
Function Reference
Match type
TO DO: On Simplify, list all the rules that were used.