OK

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.