Early prototype · In active development
Mathematics & Physics Knowledge System
A proof-first, machine-verified reference and learning platform where every topic is explained at three levels of depth, verified by symbolic computation, and made tangible through interactive labs and real engineering milestones.
Learn by reading and doing · Not by asking a chatbot
- Published concepts
- 1,107
- Mathematics & physics domains
- 62
- Interactive labs & simulators
- 87
- Indexed mathematical formulas
- 35,400+
- Flagship engineering projectsLive
- 14
Three levels
Every concept explained at the depth you need.
Not everyone arrives at a concept from the same place. A child, a student, and a researcher all need the same truth — but told differently. Every concept in the system carries all three layers, and you decide where to start.
Example concept — Absolute Value
ELI5
Absolute value is like asking 'how far away from zero is this number?' without caring which direction. If you owe someone 5 dollars (-5) or have 5 dollars (+5), the amount of money involved is still 5 either way.
- Kid · ELI5
Plain-language analogy. No jargon, no notation — just a mental image that makes the concept stick before the formalism arrives.
- Student · Intuition
Conceptual intuition with lightweight notation. Builds the mental model that makes the formal definition feel obvious rather than arbitrary.
- Expert · Formal
Full formal treatment — rigorous definition, proofs, properties, and links to the broader mathematical landscape.
The vision
A textbook that grades itself — and meets you where you are.
Most mathematics learning online fails in one of two ways: video lectures that let you feel understood without actually practicing, or AI chatbots that hand you an answer without building the model that would let you derive the next one. The Mathematics & Physics Knowledge System is neither.
It is a structured, proof-first, practice-enforced reference where understanding is demonstrated — not assumed. Each concept is verified not by editorial confidence but by symbolic computation. Each explanation is written at the level of the reader. Each practice problem is graded, not guessed.
62 domains covered · 38 mathematics & 24 physics
FoundationsMathematical LogicSet TheoryCategory TheoryPre-AlgebraAlgebra IAlgebra IILinear AlgebraAbstract Algebra IAbstract Algebra IINumber TheoryRepresentation TheoryGeometryTrigonometryAnalytic GeometryDifferential GeometryTopologyAlgebraic TopologyCalculus ICalculus IICalculus IIIReal AnalysisComplex AnalysisMeasure TheoryFunctional AnalysisDifferential EquationsDynamical SystemsDiscrete MathematicsCombinatoricsGraph TheoryTheory of ComputationInformation TheoryProbabilityStatisticsStochastic ProcessesNumerical AnalysisMathematical OptimizationMathematical PhysicsClassical KinematicsNewtonian MechanicsRotational DynamicsOscillations & WavesFluid MechanicsAnalytical MechanicsElectrostaticsMagnetostatics & CircuitsElectrodynamics & MaxwellOptics & Wave PhenomenaRelativistic ElectrodynamicsClassical ThermodynamicsKinetic Theory of GasesStatistical MechanicsQuantum Statistical MechanicsFoundations of Modern PhysicsQuantum Mechanics IQuantum Mechanics IIRelativistic Quantum MechanicsQuantum Information & ComputingSpecial RelativityGeneral RelativityAstrophysics & CosmologyNuclear PhysicsParticle Physics & Standard ModelQuantum Field TheoryCondensed Matter Physics
What it does
Every layer of the learning stack, built from scratch.
- Three Levels of Depth
Every concept explained three ways
Each concept opens with a child-friendly analogy (ages 5–8), builds into a student-level intuition, then delivers the full formal definition with proofs and properties. MSc and PhD-level explanations are available for research-depth topics. You choose your entry point — or read all three.
- Machine-Verified Math
SymPy checks the answers, not a human stamp
A 3,800-line Python symbolic engine checks worked examples and mathematical properties — differentiation, integration, limits, series, algebra, ODEs, linear systems, complex arithmetic, matrices, and modular arithmetic. Every claim either passes, fails, or is honestly marked SKIP — never counted as a pass.
- 87 Interactive Labs
Explore by doing, not by watching
2D function plotter, 3D surface plotter (Three.js), tangent-line explorer, formula explorer, matrix transforms, vector fields (Mafs), series convergence visualizer, graph traversal (D3-force), geometry construction, probability distribution explorer — all on a safe expression parser (no eval). 87 labs across mathematics and physics.
- 23-Section Template
Every concept covered the same rigorous way
Overview → history → intuition → formal definition → proofs → applications → worked examples → practice problems → quiz → flashcards → references. Enforced by Zod schema. The corpus forms a single connected graph with 0 orphans, checked in CI.
- Flagship Engineering Projects
14 real-world science & engineering case studies
From the Apollo Program and GPS Navigation to the Large Hadron Collider and LIGO — each project breaks down the governing mathematics and physics into multi-phase problem sets with historical telemetry data, derivations, and worked solutions.
- SM-2 Spaced Repetition
SQLite-backed adaptive learning with 12 curated tracks
Real progress tracking in a local SQLite database. Adaptive practice, 12 curated audience tracks (CS, civil engineering, pure math, applied math, physics core, theoretical physics, applied physics, and astrophysics — at undergraduate and graduate levels), placement quiz, and full-screen flashcard review.
- Knowledge Graph & Search
Navigate mathematics as a connected graph
Every concept is cross-linked with symmetric return paths — no dead ends. A D3-force visualization lets you see and traverse the entire corpus across 62 domains. Full-text BM25 search (field-weighted, typo-tolerant) runs server-side. A searchable formula index covers 35,400+ equations.
- Live Data Pipeline
Extractors with mandatory human review
Scrapers pull drafts from Wikipedia, ProofWiki, NIST DLMF, and OpenStax. Every draft lands in staging at confidence < 0.85 and is never auto-published — a human reviews and promotes by hand. A staleness checker flags concepts whose source has changed.
- Vector Lecture PDF Export
University-standard lecture notes, generated on demand
A pure-Node PDF engine converts any concept or domain course packet into typeset lecture notes with LaTeX equations rendered as vector SVG paths via MathJax — no headless Chrome needed. Download individual concepts or full domain packets.
- PWA + Embed API
Installable, offline-capable, and embeddable
Full PWA with real installability and offline support via a hand-rolled service worker. An embed API lets third parties drop any concept into their own pages. No AI chatbot — the platform teaches through structured reading and graded practice.
Projects
14 iconic milestones, derived from first principles.
Mathematics and physics are not just abstract theories — they are the foundational languages that build civilizations, explore the cosmos, and power modern computing. Each project breaks down real engineering feats into multi-phase problem sets with step-by-step LaTeX derivations, historical telemetry data, and interactive simulators.
- ∑ Math & ⚛ Physics · 1958 – 1975
The American Space Program
Apollo, Orbital Mechanics & The Mathematics of Lunar Exploration
Aerospace & Celestial Mechanics · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1973 – 1995
The Global Positioning System (GPS)
General Relativity, Satellite Constellations & The Mathematics of Nanosecond Trilateration
Aerospace, Geodesy & Relativistic Electrodynamics · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1942 – 1946
The Manhattan Project
Critical Mass, Neutron Transport & The Hydrodynamics of Nuclear Fission
Nuclear Physics, Hydrodynamics & Scientific Computing · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1996 – 2022
The James Webb Space Telescope (JWST)
Sun-Earth L2 Halo Orbits, Wavefront Fourier Optics & Cryogenic Engineering
Observational Astrophysics & Celestial Dynamics · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1977 – Present
The Voyager Interstellar Mission & The Grand Tour
Planetary Gravity Assists, Deep Space Telemetry & Journey Beyond the Heliosphere
Interplanetary Dynamics & Plasma Physics · Full A–Z derivations
- ∑ Mathematics · 1939 – 1945
Bletchley Park & The Ultra Project
Permutation Groups, Bayesian Cryptanalysis & The Foundations of Computing
Abstract Algebra, Cryptanalysis & Computing · Full A–Z derivations
- ⚛ Physics · 1998 – 2012
The Large Hadron Collider (LHC)
Relativistic Beam Dynamics, Superconducting Magnets & The Discovery of the Higgs Boson
High-Energy Particle Physics & Electrodynamics · Full A–Z derivations
- ⚛ Physics · 1984 – 2015
LIGO & Gravitational Wave Astronomy
Einstein's Quadrupole Formula, Chirp Mass & Sub-Proton Interferometry
General Relativity, Quantum Optics & Astrophysics · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1960 – 1968
The SR-71 Blackbird & Hypersonic Inlets
Oblique Shock Waves, Isentropic Compression & Thermal Aerodynamics at Mach 3.2
Compressible Aerodynamics & Propulsion · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1858 – 1866
The Transatlantic Telegraph Cable
The Telegrapher's Equation, Signal Dispersion & The First Global Telecommunications Network
Electromagnetism & PDE Transmission Lines · Full A–Z derivations
- ∑ Mathematics · 1990 – 2003
The Human Genome Project
De Bruijn Graphs, Dynamic Programming & The 3.2 Billion Base-Pair Reconstruction
Bioinformatics, Graph Theory & Statistical Genomics · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1962 – 1976
Concorde & The Supersonic Area Rule
Slender Delta Aerodynamics, Transonic Wave Drag & In-Flight Fuel Trimming
Supersonic Fluid Dynamics & Flight Mechanics · Full A–Z derivations
- ∑ Math & ⚛ Physics · 1931 – 1936
The Hoover Dam & Arch-Gravity Mechanics
The Trial Load Method, Concrete Hydration Thermodynamics & Spillway Hydraulics
Structural Mechanics & Fluid Dynamics · Full A–Z derivations
- ∑ Math & ⚛ Physics · 2009 – 2019
The Event Horizon Telescope (EHT)
Very Long Baseline Interferometry, Inverse Fourier Imaging & The Shadow of M87*
Relativistic Astrophysics & Inverse Fourier Imaging · Full A–Z derivations
Audience tracks
Twelve curated paths through the corpus.
A placement quiz routes you into the right track. The system then adapts within the track using SM-2 spaced repetition — surfacing concepts you're weakest on, not the ones you already know.
- Computer Science Math — Undergraduate
- The mathematics a CS undergraduate needs to read algorithms papers, reason about correctness and complexity, and follow the standard core curriculum — discrete math, algorithms, theory of computation, and the linear algebra/probability every later course assumes.
- Computer Science Math — Graduate (MS/PhD)
- Beyond the undergraduate core: the rigor and depth a master's or PhD student needs for research in algorithms, theory, machine learning, or systems — real analysis for optimization/ML theory, abstract algebra for cryptography and coding theory, advanced complexity theory, and the mathematics of information.
- Civil Engineering Math — Undergraduate
- The mathematics a civil engineering undergraduate needs — the calculus, linear algebra, differential equations, and probability/statistics behind statics, structural analysis, fluid mechanics, surveying, geotechnics, and transportation engineering.
- Civil Engineering Math — Graduate (MS/PhD)
- Beyond the undergraduate core: the advanced mathematics for structural dynamics, finite element analysis, computational fluid dynamics, geotechnical modeling, and reliability-based design — partial differential equations, advanced linear algebra, numerical methods, and probabilistic risk analysis.
- Pure Mathematics — Undergraduate
- The standard pure mathematics undergraduate curriculum: rigorous analysis, algebra, geometry, topology, and number theory — the foundations for graduate study or research in any branch of mathematics.
- Pure Mathematics — Graduate (MS/PhD)
- Graduate pure mathematics: rigorous analysis, modern algebra, topology, geometry, and their interactions — the mathematical depth required for research in any contemporary pure mathematics field.
- Applied Mathematics & Data Science — Undergraduate
- The mathematical foundations for data science, machine learning, and applied statistics — linear algebra, probability, calculus, optimization, and the computational techniques that underpin modern data analysis.
- Applied Mathematics & Data Science — Graduate (MS/PhD)
- Graduate-level applied mathematics for data science and machine learning research — rigorous probability, measure theory, advanced optimization, stochastic processes, and the mathematical frameworks for modern ML theory.
- Physics Core Curriculum — Undergraduate
- The foundational physics sequence covering classical Newtonian mechanics, rotational dynamics, electromagnetism, wave phenomena, thermodynamics, and the origins of modern quantum physics and special relativity.
- Theoretical Physics — Graduate
- Advanced analytical mechanics, relativistic field theories, operator quantum mechanics, quantum statistical mechanics, general relativity, quantum electrodynamics, and the Standard Model.
- Applied Physics & Engineering Physics
- Physics applied to real-world engineering systems: fluid dynamics, circuit networks, optics and laser engineering, condensed matter semiconductor devices, and nuclear power reactors.
- Astrophysics & Cosmology
- The physics of celestial bodies and cosmic evolution: orbital mechanics, stellar evolution and fusion, relativistic black holes, gravitational radiation, and Big Bang cosmological dynamics.
Tech stack
No external services. No API keys.
The entire system runs locally. Progress tracking is a real SQLite database — not localStorage. Search is a server-side BM25 index, not a hosted service. The content pipeline pulls from live sources but requires human sign-off before anything ships.
- Frontend
- Angular
- Math verifier
- Python
- Backend
- .NET
About
Who's building this?
About the system
The Mathematics & Physics Knowledge System grew out of a straightforward frustration: teaching software engineering well requires solid mathematical and physical foundations, and the available resources force a choice between rigor and interactivity. Textbooks are rigorous but static. Online courses are interactive but shallow. AI chatbots give you an answer without building the model that would let you derive the next one.
The three-level explanation system — kid, student, expert — is the core design decision. It reflects how understanding actually works: you need the analogy before the intuition, and the intuition before the formalism. Skipping levels produces the illusion of understanding, not the real thing.
Design principles
No level-skipping
Every concept has an analogy, an intuition, and a formal definition. You earn the formalism by understanding the intuition first.
Learn by doing
Interactive widgets make abstract structures tangible — plot a function, transform a matrix, visualize a probability distribution.
Machine-verified
Worked examples are checked against live sources. A human curator makes the final call; the pipeline flags what needs review.
Live system
Try the system yourself.
The platform is live. Run the placement quiz, pick a concept at the level that fits you, and let spaced repetition track what sticks — then open a lab or a flagship project and derive it yourself.
Open the system ↗