Feature Market
Discover, rate, and one-click install community functionsCommunity Forum
Ask questions, share knowledge, and help othersAnswers
Create New Post
Integration Hub
Universal pipeline engine — dynamically chain any functions across all sourcesPipeline Builder
Auto-Compose
Catalog — All Functions by Category
Compatibility Explorer — What can connect to what?
👥 Collaborate
Real-time sessions with screen-sharing, chat & feature syncDirect Connection (WiFi)
Peer-to-peer, no server needed. Same network or copy-paste codes.
Create Room
Join Room
Public Rooms
Functions
⊞ Matrix Lab
Interactive matrix computation & visualisationMatrix Builder
Operations on Matrix A
Matrix B (same size)
Result
Linear System Ax=b
Expression Evaluator
Heatmap Visualisation
◉ Statistics Studio
Descriptive stats, distributions, hypothesis tests, regressionDataset Input
Descriptive Statistics
—
—
—
—
—
—
—
—
—
—
Histogram
Two-Sample Tests
Linear Regression
Distribution Calculator
◈ Finance Calculator
Loans, investments, options, DCF, bonds, portfolio analysisLoan / Mortgage
Compound Interest / Investment
Bond Pricing
ROI / CAGR
Black-Scholes Options
NPV / IRR (DCF)
Retirement Planner
Currency Rates (live)
⇌ Unit Converter
Convert between hundreds of units — or write unit-aware expressions directly⚡ Unit-Aware Expression Evaluator
5 km + 3 mi, 60 kg * 9.81 m/s^2, 100 degC to degFQuick Convert
Length
Mass
Temperature
Area
Volume
Speed
Energy / Power
Digital Storage
📏 Unit Conversions
Comprehensive unit conversion across 20+ categoriesAll Conversions
🪐 Solar System Simulator
N-body gravitational simulation — place bodies, set velocities, watch orbits evolvePlayback
Add Body
Bodies
Interaction
Collision Detection
Save / Load
⚛ Physics Toolkit
Constants, mechanics, electromagnetism, thermodynamics, relativity, quantumPhysical Constants (click to copy)
Kinematics
Electromagnetism
Thermodynamics
Special Relativity
Quantum Mechanics
Wave Physics
∞ Number Theory
Primes, factorisation, sequences, modular arithmetic, cryptographyPrimality & Factorisation
Sieve of Eratosthenes
GCD / LCM / Bezout
Modular Arithmetic
Integer Sequences
Continued Fractions
Chinese Remainder Theorem
RSA Key Generation (educational)
⊻ Logic & Bit Operations
Boolean algebra, truth tables, bitwise ops, base conversion, gatesInteractive Bit Manipulator (32-bit)
Bitwise Operations
Truth Table Generator
Base Converter
Logic Gate Simulator
Checksum / Hash (simple)
⚄ Probability & Simulation
Combinatorics, random sampling, dice, Monte Carlo, Markov chainsCombinatorics Calculator
Dice Roller
Birthday Problem
Monte Carlo π Estimator
Random Sampling
Conditional Probability / Bayes
Markov Chain Simulator
Expected Value & Variance
Waves & Optics
Quantum Mechanics
Classical Mechanics
Fluid Mechanics
Chemistry
Periodic table, stoichiometry, thermochemistry, equilibrium, pH△ Geometry Studio
2D & 3D shapes, coordinate geometry, transformations, curvesShape Calculator
Coordinate Geometry
Polygon (arbitrary)
Geometry Canvas
Transformations
Conic Sections
Function Plotter
Multi-function, implicit curves, asymptotes, tangent lines, derivative overlay, parametric, polarℂ Complex Plane Explorer
Argand diagram, transformations, Mandelbrot/Julia setsComplex Number z
Operations
Fractal Mode
∂ ODE Solver + Phase Portrait
Vector fields, solution curves, multiple numerical methodsEquation dy/dx = f(x,y)
2nd Order: y'' = f(x,y,y')
Phase Portrait (dy/dx = f)
∿ Fourier Series Builder
Live harmonic synthesis, DFT/FFT, waveform reconstructionHarmonics (drag sliders)
FFT Analysis
Waveform Presets
↗ Linear Algebra Visualiser
Drag vectors, animate transforms, eigenvectors, SVD2×2 Transformation Matrix
Eigen Analysis
SVD Decomposition
3D Vector Operations
⌖ Numerical Methods
Root finding, integration, interpolation — animated step-by-stepRoot Finding
Numerical Integration
Interpolation
Differentiation (numerical)
Cryptography
Classical ciphers, frequency analysis, Diffie-Hellman, modern hashesText Input / Output
Classical Ciphers
Frequency Analysis
Hash Functions
Diffie-Hellman Key Exchange
Base Encoding
One-Time Pad
Signal Processing
Convolution, filters, z-transform, windowing, spectral analysisSignal Generator
Convolution & Correlation
FIR Filter Design
Windowing Functions
z-Transform (common pairs)
◎ Graph Theory
Build graphs, BFS/DFS, shortest path, MST, Euler/HamiltonGraph Input
Algorithms
Graph Properties
Adjacency Matrix
📄 Documents
Full-featured rich text editor with equations, sharing & forum publishing⌨ Code IDE
Python 3.11 (Pyodide) — full stdlib + packagesFractal Explorer
Interactive fractal rendering & explorationFractal Type
View Bounds
Presets
Fractal Dimensions Reference
Rendered Fractal (click to zoom in)
🌀 Chaos & Attractor Lab
Explore dynamical systems, bifurcations & strange attractorsAttractor Type
Lorenz Parameters
Attractor Visualization
Time Series
◯ Topology Explorer
Euler characteristic, Betti numbers, knot invariants & surfacesEuler Characteristic Calculator
Polyhedra Reference
Knot Invariants
Knot Parametric Curve
Simplicial Complex Analyzer
3D Visualization
Fundamental Groups Reference
Data Science
Pandas-like DataFrame with statistics & visualizationImport Data
Data Table
Chart
Output
Neural Network
Design, train, and visualize neural networks from scratchNetwork Architecture
Training Configuration
Preset Architectures
Training Data
Network Architecture Visualization
Training Loss
Prediction
Weight Visualization
Model Import / Export
CAS+ Step-by-Step
Computer Algebra System with detailed solution stepsEquation Solving (Step-by-Step)
Differentiation (Step-by-Step)
Integration (Step-by-Step)
Algebra (Step-by-Step)
Linear System Solver
Apply Transformation Rule
Solution Hints
Limit Calculator (Step-by-Step)
Series Expansion (Taylor / Laurent)
Polynomial Long Division
Partial Fraction Decomposition
Inequality Solver
Trigonometric Simplifier
Complex Number Operations
Matrix Operations (Step-by-Step)
Differential Equation Solver
Vector Calculus
Substitution & Pattern Match
Logical Expression Simplifier
Series Convergence Tests
Unit Converter
Solution Steps
Visual Solution
Formula Database
Quick Reference
📓 Notebook
Jupyter-style cell-based computationSpreadsheet PRO
Parser-based engine · 122 sheet functions + full Computus bridge (5,900+ builtins · math.js · your functions) · fill · charts · undo/redo🔬 Simulation & Modeling
Physics, population, epidemiology, circuits, economicsProjectile
Pendulum
Spring-Mass
Circuit RLC
Population (Logistic)
SIR Model
Economics
△ Interactive Geometry Lab
Euclidean constructions · measurements · transformations · coordinate geometryAdvanced Statistics
ANOVA, Bayesian, Time Series, PCAOne-Way ANOVA
Bayesian Inference
Time Series AR(1)
PCA
CAD Pro
Professional 2D technical drawing — layers, snap, dimensioning, DXF/SVG exportDraw
Edit
Measure
Symbols
History
Layers
Properties
Quick Help
100,50 — absolute@50,0 — relative@100<45 — polar (dist<angle)Mouse
Left: draw/select · Right: cancel tool
Wheel: zoom · Middle-drag: pan
Keys
Esc: cancel · Del: delete · Ctrl+Z: undo
Ctrl+A: select all · Ctrl+S: save project
LaTeX Editor
Write LaTeX with live KaTeX previewDocuments
Function Docs
Browse all functionsSelect a function to view docs.
Tutorials
Interactive step-by-step lessonsThemes
Choose from 10+ themesPlugins
Extend ComputusInstall Plugin
Installed
Calculators
Mortgage, BMI, retirement, tax, resistor, carbonMortgage
BMI
Retirement
Tax
Resistor
Carbon
Math Art
Spirographs, L-systems, tessellations, mandalas, and moreAlgorithm Visualiser
Sorting · searching · pathfinding — watch algorithms thinkCompetitive Math
Practice problemsVersion History
Snapshots and rollbackFiles
No file selected
🌐 3D Plotter
Interactive 3D surface, parametric, vector field & contour plots📊 Advanced Graphing Calculator
Multi-mode plotting · sliders · trace · roots · integrals · Taylor/Fourier · regressions · inequalities · animationsFunctions
Sliders (a, b, c, d, t)
View
Tools
Crosshair (trace point)
Analysis Output
Quick Reference
Sliders: use a,b,c,d,t in expressions (e.g. a*sin(b*x+c))
Implicit: type "x^2+y^2-25" (RHS assumed 0)
Polar: r=θ/2 (use theta or t for θ)
Parametric: two functions paired: f1=x(t), f2=y(t)
Piecewise: f(x)=if(x<0,-x,x^2) — use if(cond,a,b)
Tangent/Normal: set x₀ in the crosshair box above, then click
Log-Log / Semi-Log: re-scales axes — toggle on/off
3D Fourier: animates Fourier epicycles for f₁
Bode: treats f₁ as s-domain transfer H(s); plots |H|, ∠H
Nyquist: polar plot of H(jω) over ω ∈ [10⁻², 10²]
⚡ Optimizer
Gradient descent, Nelder-Mead, L-BFGS, linear programming, constrained & global optimization∇ PDE Solver
Finite-difference solvers for heat, wave, Laplace, Burgers, and Schrödinger equations∬ Interval Arithmetic
Rigorous computation with guaranteed error bounds — never lose track of precision∑ Unified CAS Engine
Symbolic algebra, calculus, ODE/PDE solving, Risch integration, pattern matching, assumption-based simplification — all CAS engines in one🌐 Wikidata Explorer
Search 100M+ entities · run SPARQL · compare · map · browse curated topics — powered by Wikidata📖 User Manual
The complete guide to every Computus app, feature, shortcut and hidden cornerProvider Preset
Credentials
System Prompt
Precision & Modes
Numerical Integration
Display
History
Custom Buttons & Pinned Functions
Arithmetic Engine
Number Formatting
Rounding & Overflow
Calculator Display
Chart & Graph Display
Input Display
Font & Typography
Data Export
Data Import
Cloud Sync
Operation Logging
Log Detail Level
Computation
Storage
Function System
Python Engine
Knowledge Engine
Visual Accessibility
Audio & Haptic
Input Accessibility
Rendering
Memory
Network
Keyboard Shortcuts
EnterEscape↑↓Ctrl+1Ctrl+2Ctrl+3Ctrl+4Ctrl+5Ctrl+NCtrl+Shift+SCtrl+KCtrl+PCalculator Syntax Quick Reference
x := 5derive('x^2','x')intNum('sin(x)',0,pi)limitNum('sin(x)/x',0)solveLin([[1,2],[3,4]],[5,6])complex(3,4)convert('5 km','mi')[[1,2],[3,4]]taylor('sin(x)',0,7)isPrime(997)factorial(1000)mean(1,2,3,4,5)About Computus
Powered by math.js (arbitrary precision, symbolic algebra, linear algebra, units)
and KaTeX for beautiful mathematical typesetting.
Private by default: calculations, sessions, files and settings stay in this browser. Optional features that talk to the outside world: AI chat (your messages go to the AI provider you configure), and account / forum / marketplace (stored in our Firebase cloud so they can sync — only if you sign in). No ads, no analytics, no tracking.
Read the full privacy notes →
Data Management
.cpt file you can load on another device. The Computus program itself is NOT included.Libraries & Licences
Profile
Security
Preferences
Notifications
Cloud Sync & Data
Activity & Usage
Connected Devices
Danger Zone
Custom Theme Editor
🧮 Miscellaneous Calculators
50 everyday calculators for finance, health, conversion, and moreSelect a calculator from the list
⏱ Session Manager
Create, switch, and inspect your calculation sessions🔤 Advanced Algebra
Polynomial operations, systems of equations, inequalities, and morePolynomial Roots
Polynomial Factor
Expand Expression
Simplify Expression
Symbolic Derivative
Symbolic Integral
Solve Equation
Quadratic Formula
System of Linear Equations (2x2)
📐 Complex Residue Calculator
Residue theorem, contour integrals, pole analysisResidue at a Pole
Residue Theorem: Sum of Residues
Laurent Series Coefficients
Quick Reference
∮C f(z) dz = 2πi × Σk=1n Res(f, z_k)Simple pole: Res(f, z₀) = limz→z₀ (z - z₀) f(z)
Double pole: Res(f, z₀) = limz→z₀ d/dz [(z - z₀)² f(z)]
Common residues:
• Res(1/(z-a), a) = 1
• Res(1/(z-a)^n, a) = 0 for n > 1
• Res(e^z/z, 0) = 1
• Res(sin(z)/z, 0) = 0
📐 Vector Operations
Vector arithmetic, dot/cross products, projections, anglesVector Arithmetic
Dot & Cross Product
Magnitude & Angle
Projection
Unit Vector & Normalization
2D Vector Visualization
📊 Series Explorer
Taylor series, power series, convergence, and visualizationTaylor / Maclaurin Series
Quick Series
Convergence Test
Series Visualization
Series Terms
🔀 Function Composer
Compose, transform, and visualize function combinationsFunction Composition f ∘ g
Evaluate Composition at x
Function Transformations
Quick Compositions
Graph
↘ Limit Lab
Evaluate limits numerically, graphically, and via L'Hôpital's ruleLimit Evaluator
Numerical Approach Table
L'Hôpital's Rule
Quick Examples
Function Graph (zoom near limit point)
⫽ Partial Fractions Decomposer
Decompose P(x)/Q(x) into partial fractions step-by-stepRational Function Input
Quick Examples
Step-by-Step Solution
⋚ Inequality Studio
Solve and graph one-variable inequalities on a number lineInequality Input
Step-by-Step Solution
Quick Examples
Number Line Visualization
∭ Multivariable Calculus
Partial derivatives, gradient, Hessian, critical points for f(x, y)Function f(x, y)
Quick Examples
Critical Points
Partial Derivatives
Gradient ∇f at (x₀, y₀)
Hessian Matrix H(f)
Directional Derivative D_u f
⌒ Newton's Method
Iterative root-finding with tangent-line visualizationNewton Iteration Setup
Convergence Table
Quick Examples
Visualization (function + tangent lines)
⨋ Improper Integrals
Evaluate improper integrals (infinite limits, unbounded integrands) with convergence testsImproper Integral Setup
Convergence Test
Quick Examples
Visualization
Convergence Diagnostic Table
🎯 Eigenvalue Visualizer
Eigenvalues, eigenvectors, diagonalization, and spectral decomposition2x2 Matrix Eigenanalysis
3x3 Matrix Eigenanalysis
Quick Matrices
Eigenspace Visualization
Transformation Visualization
♪ Music Math Tools
Frequencies, scales, chords, tuning systems, and acousticsNote Frequency Calculator
Scale Generator
Chord Builder
Interval Calculator
Equal Temperament Reference
Harmonic Series
⚡ Circuit Calculator
Ohm's law, series/parallel, voltage dividers, RC/RL/RLC analysis, op-ampsOhm's Law Triangle
Power Calculator
Series Resistors
Parallel Resistors
Voltage Divider
RC Time Constant
LED Resistor Calculator
Capacitor Energy & Charge
⭐ Astronomy Tools
Celestial mechanics, orbital mechanics, stellar physics, cosmologyKepler's Third Law
Orbital Velocity
Escape Velocity
Stellar Luminosity
Distance Modulus
Hubble's Law
Solar System Quick Reference
♥ Medical Calculators
Clinical calculations, dosing, unit conversions, vital statisticsBMI Calculator
Body Surface Area (BSA)
Drug Dosage Calculator
Ideal Body Weight (Devine)
Mean Arterial Pressure (MAP)
Unit Conversions (Medical)
⬭ Non-Euclidean Geometry
Hyperbolic · Spherical · Taxicab · Curvature comparisonPoincaré Disk (Hyperbolic)
Click inside the disk to place points. Hyperbolic geodesics (arcs ⊥ boundary) connect consecutive points. Angle sum < π.
Hyperbolic Triangle Solver
Enter side lengths a, b, c (in hyperbolic units). Computes angles via hyperbolic law of cosines. Angle sum < π, area = π − (α+β+γ).
Taxicab (Manhattan) Geometry
d = |Δx| + |Δy|. Circles are diamonds. Compare with Euclidean distance.
Spherical Triangle Solver
Enter side lengths a, b, c (angular, in degrees, 0–180). Computes angles via spherical law of cosines. Angle sum > π, area = R²·E where E = α+β+γ−π.
Curvature Comparison
Visualize the same triangle (α=β=γ=60°) under three geometries. Adjust the triangle scale to see how angle sum deviates.
Reference: Key Formulas
d(z₁,z₂) = arcosh(1 + 2|z₁−z₂|² / ((1−|z₁|²)(1−|z₂|²)))
cosh(c) = cosh(a)·cosh(b) − sinh(a)·sinh(b)·cos(γ)
cos(c) = cos(a)·cos(b) + sin(a)·sin(b)·cos(γ)
▦ Tessellation Lab
Regular, Archimedean & Penrose tilings · wallpaper groupsTiling Type
Wallpaper Group Classification
Schläfli & Vertex Configuration
Tiling Visualization
⊠ Projective Geometry
Homogeneous coords · cross-ratio · perspective · collineationsCartesian ↔ Homogeneous
Cross-Ratio (4 collinear points)
[A,B;C,D] = (A−C)(B−D) / ((A−D)(B−C)). Projectively invariant.
Perspective Projection (Pinhole Camera)
Projective Transformation (3×3 Collineation)
Enter matrix H rows (3 comma-separated numbers each) and a point (x, y) to transform.
Visualization (grid + H-transform)
⌢ Differential Geometry
Frenet-Serret frame · curvature κ · torsion τ · osculating circleParametric Curve r(t) = (x(t), y(t), z(t))
Frenet-Serret Frame at t₀
Curvature, Torsion & Arc Length
Curve & Osculating Circle Visualization
⟳ Symmetry Group Finder
Point groups · frieze groups · symmetry elementsPattern Source
Detected Symmetry Elements
Group Classification
Pattern with Symmetry Axes Overlay
Reference: Common Groups
Frieze groups (7): p111, p1a1, p1m1, p112, pm11, pma2, pmm2
Wallpaper groups (17): p1, p2, pm, pg, cm, pmm, pmg, pgg, cmm, p4, p4m, p4g, p3, p3m1, p31m, p6, p6m
🗺 Map Projections & Geodesy
Great-circle distance · coordinate conversion · world map projectionsGreat-Circle Distance (Haversine)
City Pair Presets
Map Projection
World Map (selected projection)
⫧ Boundary Value Problem Solver
Shooting method & finite-difference for y'' = f(x,y,y') on [a,b]BVP Equation
Solution Table (sample)
Reference
FD: discretizes y'' ≈ (yᵢ₊₁−2yᵢ+yᵢ₋₁)/h², solves tridiagonal linear system
Stability: FD is 2nd-order accurate, O(h²); shooting inherits IVP stability
Solution y(x)
🌀 Nonlinear Dynamical Systems
Lorenz, Rössler, logistic map & bifurcation diagramsSystem
Bifurcation Diagram (logistic map)
Lyapunov Exponent (logistic)
Phase Portrait (X–Y projection)
Time series
Bifurcation diagram
⚖ Stability Analysis
Jacobian eigenvalues · Routh–Hurwitz · LyapunovJacobian Eigenvalue Stability
Routh–Hurwitz (polynomial)
Lyapunov Equation
Reference: 2D Classifications
Unstable node: both real > 0
Saddle: real eigenvalues, opposite signs
Stable spiral: complex with Re(λ) < 0
Unstable spiral: complex with Re(λ) > 0
Center: purely imaginary (Re=0)
Routh–Hurwitz: all 1st-column entries > 0 ⇒ stable
Lyapunov: P > 0 and Q > 0 ⇒ A is Hurwitz
Complex eigenvalue plot
∮ Integral Transforms
Laplace, Mellin, Hankel & Z-transforms — symbolic & numericLaplace Transform
Mellin Transform
Z-Transform
Hankel Transform
Magnitude spectrum
≈ Asymptotic & Perturbation Methods
WKB · regular perturbation · dominant balanceWKB Approximation
Regular Perturbation (y'' + ε·g(y) = 0)
Dominant Balance
Asymptotic vs Exact
∥ Method of Characteristics
1st-order PDE a·uₓ + b·u_y = cPDE a(x,y)·uₓ + b(x,y)·u_y = c(x,y,u)
Output
Characteristic curves in (x, y) plane
◐ Symplectic & Hamiltonian Integrators
Verlet, leapfrog, Stormer–Verlet, RK4 vs symplectic comparisonHamiltonian System
Energy drift (conservation check)
Reference
Verlet: 2nd-order, time-reversible
Leapfrog: 2nd-order, popular for N-body & MD
Yoshida s4: 4th-order composition of Verlet steps
RK4: non-symplectic, energy drifts slowly even for short simulations
Phase space (q, p)
Energy H(t) over time
⟘ QR Decomposition
Gram–Schmidt, Householder & Givens rotationsMatrix A (rows semicolon-sep)
Q matrix
R matrix
Diagnostics
Reference
Householder: reflects columns to upper-triangular via reflections (more stable)
Givens: rotates pairs to zero out entries below diagonal
Use cases: least squares, eigenvalue algorithms (QR), linear system solving
Visualization: A and Q basis vectors
⊥ SVD Applications
Rank-k approximation · PCA · image compression · pseudoinverseSVD of A (rows semicolon-sep)
Rank-k Approximation (Eckart–Young)
PCA on data matrix
Reference
Eckart–Young: best rank-k approximation is Aₖ = Σᵢ₌₁ᵏ σᵢuᵢvᵢᵀ
Pseudoinverse: A⁺ = VΣ⁻¹Uᵀ (used in least squares)
PCA: right singular vectors of centered data = principal directions
Singular values spectrum
ᵉ Matrix Functions
exp, log, sqrt, polar decompositionMatrix A (rows semicolon-sep, square)
Result
Method info
Reference
Padé approximant: efficient rational approximation used internally
log(A): inverse of exp, requires A nonsingular with no eigenvalues on negative real axis
sqrt(A): X² = A (principal branch via Schur decomposition)
Polar: A = UP, U orthogonal, P positive-semidefinite Hermitian
cos(A), sin(A): Σ (-1)ⁿA²ⁿ/(2n)!, (-1)ⁿA²ⁿ⁺¹/(2n+1)!
Visualization
∇ Vector Calculus
grad · div · curl · Laplacian · Jacobian & HessianScalar field f(x, y, z)
Vector field F = (P, Q, R)
Identities
div(F): ∂P/∂x + ∂Q/∂y + ∂R/∂z
curl(F): (∂R/∂y − ∂Q/∂z, ∂P/∂z − ∂R/∂x, ∂Q/∂x − ∂P/∂y)
Laplacian: ∇²f = ∂²f/∂x² + ∂²f/∂y² + ∂²f/∂z²
curl(grad f) = 0 · div(curl F) = 0
div(∇f) = ∇²f · curl(curl F) = grad(div F) − ∇²F
Field visualization
H Hypothesis Testing
z, t, χ², F & ANOVAOne-sample z-test
Two-sample t-test
Chi-square goodness-of-fit
One-way ANOVA
F-test (variances)
λ Reliability & Survival Analysis
Kaplan–Meier · Weibull · hazard & MTBFKaplan–Meier Estimator
Weibull Fit
System Reliability
Reference
Weibull R(t): exp(−(t/λ)ᵏ)
Weibull h(t): (k/λ)(t/λ)ᵏ⁻¹
MTBF: λ·Γ(1 + 1/k)
Series: R = Π Rᵢ (worst-case)
Parallel: R = 1 − Π(1−Rᵢ)
k-of-n: Σ C(n,i) Rⁱ (1−R)ⁿ⁻ⁱ for i ≥ k
Survival & hazard curves
⏱ Timer & Stopwatch
Countdown timer and stopwatch with lap tracking🚀 Relativity Lab
Special & general relativity — Lorentz transforms, time dilation, length contraction, relativistic energy-momentum, Schwarzschild metric, gravitational redshiftLorentz Factor γ
Time Dilation
Length Contraction
Relativistic Velocity Addition
Relativistic Doppler Shift
Relativistic Energy & Momentum
Schwarzschild Metric
Gravitational Redshift
Twin Paradox Calculator
Reference
w = (u+v)/(1+uv/c²) · E = γm₀c² · p = γm₀v
E² = (pc)² + (m₀c²)² · Rs = 2GM/c²
Schwarzschild: ds² = (1−Rs/r)c²dt² − (1−Rs/r)⁻¹dr² − r²dΩ²
Grav. redshift: f_obs = f_emit √(1−Rs/r)
Doppler: f_obs = f₀γ(1−βcosθ)⁻¹
🔥 Thermodynamics Studio
Ideal gas, Carnot cycle, entropy, Gibbs/Helmholtz free energy, Maxwell relations, phase transitions, heat engines, partition functionsIdeal Gas Law (PV = nRT)
Carnot Cycle Efficiency
Entropy Change
Thermodynamic Potentials
Heat Engine Analysis
Van der Waals Equation
Partition Function (Ideal Gas)
Maxwell Relations & Reference
Carnot: η = 1 − T_c/T_h
ΔS: ∫dQ/T (reversible)
Helmholtz: F = U − TS
Gibbs: G = H − TS = U + PV − TS
Enthalpy: H = U + PV
Maxwell: (∂T/∂V)_S = −(∂P/∂S)_V
Van der Waals: (P+a·n²/V²)(V−nb) = nRT
Boltzmann: S = k_B ln Ω
Partition: Z = Σ exp(−ε_i/k_BT)
⚡ Electromagnetics Lab
Coulomb, Biot-Savart, Maxwell's equations, wave propagation, impedance, skin depth, Poynting vector, transmission lines, antenna basicsCoulomb's Law
Biot-Savart (straight wire)
EM Wave Parameters
Skin Depth
Poynting Vector & Power
Impedance & Admittance
Transmission Line
Maxwell's Equations (Reference)
Gauss (B): ∇·B = 0
Faraday: ∇×E = −∂B/∂t
Ampère: ∇×B = μ₀J + μ₀ε₀ ∂E/∂t
Wave speed: c = 1/√(μ₀ε₀)
Impedance: Z₀ = √(μ₀/ε₀) ≈ 377 Ω
Skin depth: δ = √(2/(ωμσ))
Poynting: S = E × H (W/m²)
🤖 Robotics & Kinematics
Denavit-Hartenberg, forward/inverse kinematics, Jacobian, PID control, trajectory planning, workspace analysis, dynamics2R Planar Forward Kinematics
2R Inverse Kinematics
Jacobian (2R Planar)
PID Controller Simulator
DH Parameter Table
Tᵢ = Rot_z(θᵢ) · Trans_z(dᵢ) · Trans_x(aᵢ) · Rot_x(αᵢ)
| i | θᵢ | dᵢ | aᵢ | αᵢ |
|---|---|---|---|---|
| 1 | θ₁ | 0 | L₁ | 0 |
| 2 | θ₂ | 0 | L₂ | 0 |
Reference
IK: cosθ₂ = (x²+y²−L₁²−L₂²)/(2L₁L₂)
J: 2×2 Jacobian maps joint velocities to end-effector velocity
Singularity: det(J) = 0 when arm is fully extended or folded
PID: u(t) = Kp·e + Ki·∫e dt + Kd·de/dt
🦠 Epidemiology & Disease Models
SIR, SEIR, SIS, SIRD compartmental models, R₀, herd immunity, vaccination thresholds, age-structured models, stochastic epidemics, spatial & network spread, intervention modelingSIR Model Parameters
SEIR Model (with Exposed)
Spatial SIR — Cellular Automaton
Each cell is S/I/R; infection spreads to 8 neighbors stochastically. Click cells to infect them.R₀ & Herd Immunity
SIRD Model (with Deaths)
Effective R with Vaccination
Network Epidemic — Agent-Based
Epidemic spreads across a random social network. Watch the wave of infection percolate through contacts.Vaccination Campaign Comparator
Compare final attack rates across 0%, 30%, 60%, 90% vaccination coverage with the same R₀.Reference
SEIR: adds dE/dt=βSI/N−σE, dI/dt=σE−γI
SIRD: dD/dt=μI, recovery uses (γ+μ) not γ
R₀ = β/γ (SIR) or β/γ+μ (SIRD)
Herd immunity: p_c = 1−1/R₀
R_eff = R₀(1−p·ε)
Final size: S_∞ = S₀·exp(−R₀(1−S_∞/N))
Spatial: 8-neighbor cellular automaton
Network: Erdős–Rényi graph, per-edge transmission
🧠 Machine Learning Core
Linear & logistic regression, kNN, naive Bayes, PCA, gradient descent, cross-validation, confusion matrix, ROC, regularizationLinear Regression (OLS)
Logistic Regression
k-Nearest Neighbors
Gradient Descent Visualizer
Confusion Matrix
Naive Bayes (Binary)
PCA (2D Projection)
Reference
Logistic: P(y=1) = 1/(1+e⁻ᶻ)
kNN: majority vote of k nearest
Naive Bayes: P(A|B) = P(B|A)P(A)/P(B)
PCA: eigenvectors of covariance matrix
GD: xₙ₊₁ = xₙ − η∇f(xₙ)
Accuracy: (TP+TN)/(TP+FP+FN+TN)
F1: 2·Prec·Rec/(Prec+Rec)
🔗 Markov Chains
Transition matrices, steady-state distribution, absorbing chains, hitting times, Chapman-Kolmogorov, hidden Markov models, MCMC, PageRankTransition Matrix & Steady State
Chapman-Kolmogorov (Pⁿ)
n-Step Transition Probability
Absorbing Chain Analysis
PageRank
Simulate Markov Chain
HMM Forward Algorithm
Reference
Steady state: π = πP (left eigenvector, eigenvalue 1)
Chapman-Kolmogorov: P(m+n) = P(m)·P(n)
Absorbing: N = (I−Q)⁻¹, absorption prob B = NR
PageRank: π = (1−d)/n + d·π·M
HMM: α_t(i) = Σ_j α_{t-1}(j)·a_ji·b_i(o_t)
Detailed balance: πᵢPᵢⱼ = πⱼPⱼᵢ (reversible)
🎲 Stochastic Processes
Brownian motion, Poisson processes, martingales, Itô calculus, Ornstein-Uhlenbeck, Wiener process, ARIMA, GARCH, Lévy processes, diffusionBrownian Motion Simulator
Poisson Process
Ornstein-Uhlenbeck Process
GARCH(1,1) Model
Itô Integral Approximation
AR(1) Process
Reference
Poisson: P(N(t)=k) = (λt)^k e^{-λt}/k!
O-U: dX = θ(μ−X)dt + σdW
GARCH: σ²_t = ω + αε²_{t-1} + βσ²_{t-1}
Itô: ∫₀ᵀ f dW (mean-zero martingale)
Itô lemma: df = (∂f/∂t + μ∂f/∂x + ½σ²∂²f/∂x²)dt + σ∂f/∂x dW
AR(1): X_t = c + φX_{t-1} + ε_t
Stationarity: |φ| < 1 for AR(1)
🌊 Wavelet Analysis
Haar wavelet, Daubechies, CWT, DWT, multi-resolution analysis, denoising, compression, mother wavelets, scaling functions, wavelet packetsHaar DWT
Wavelet Denoising
Continuous Wavelet Transform (Morlet)
Wavelet Compression
Scaling Function φ & Wavelet ψ
Multi-Resolution Analysis
V_j ⊂ V_{j+1}: nested approximation spaces
φ(x): scaling function, φ_{j,k}(x) = 2^{j/2}φ(2^j x − k)
ψ(x): mother wavelet, ψ_{j,k}(x) = 2^{j/2}ψ(2^j x − k)
Two-scale: φ(x) = √2 Σ h_k φ(2x−k)
Reconstruction: f = Σ c_{J,k} φ_{J,k} + Σ_{j≥J} d_{j,k} ψ_{j,k}
Reference
DWT: c_k = Σ h_n x_{2k+n}, d_k = Σ g_n x_{2k+n}
CWT: W(a,b) = 1/√|a| ∫ f(t)ψ((t−b)/a) dt
Morlet: ψ(t) = π^{-1/4}(e^{iω₀t}−e^{-ω₀²/2})e^{-t²/2}
Parseval: ∫|f|² = Σ|c_{j,k}|² (energy conservation)
Heisenberg: Δt·Δω ≥ ½ (uncertainty principle)
🔷 Algebraic Geometry
Affine & projective varieties, Gröbner bases, ideal operations, Hilbert's Nullstellensatz, Bézout's theorem, elliptic curves, rational curves, divisors & line bundlesPolynomial Ideal & Varieties
Elliptic Curve y² = x³ + ax + b
Bézout's Theorem
Gröbner Basis Info
Projective Space ℙⁿ
Discriminant & Singularities
Reference
I(V): {f : f|_V = 0} (vanishing ideal)
Nullstellensatz: I(V(I)) = √I (over algebraically closed k)
Bézout: |V(f)∩V(g)| ≤ deg(f)·deg(g) (ℙ²)
Elliptic: y² = x³+ax+b, Δ = −16(4a³+27b²)
Group law: chord-tangent construction
Gröbner: canonical generating set for ideal
dim ℙⁿ: n, [ℙⁿ] = n+1 homogeneous coords