hequ.ai/ discovery
The Corpus

16 equations.
14 domains.

Each entry is parsed to a canonical implicit form with pint-typed variables and a four-field I-ADOPT semantic descriptor keyed against QUDT.

Chemical Kinetics
EQ-ARRHENIUS
Arrhenius Rate Law
-A*exp(-Ea/(R*T)) + k_rate = 0
5 variables6 axioms
Classical Mechanics
EQ-HOOKE
Hooke's Law (Linear Elastic Restoring Force)
F_spring + k*x = 0
3 variables8 axioms
EQ-NEWTON-II
Newton's Second Law
F - a*m = 0
3 variables7 axioms
EQ-WORK-ENERGY
Work–Energy Theorem
W - m*(v_f**2 - v_i**2)/2 = 0
4 variables5 axioms
Electrical Circuits
EQ-OHM
Ohm's Law
-I*R + V = 0
3 variables7 axioms
Fluid Dynamics
EQ-NAVIER-STOKES
Navier–Stokes Momentum Equation (1D, incompressible)
P_x - g*rho - mu*u_xx + rho*u*u_x + rho*u_t = 0
8 variables11 axioms
Information Theory
EQ-SHANNON-ENTROPY
Shannon Entropy (binary form)
H + p*log(p) + (1 - p)*log(1 - p) = 0
2 variables5 axioms
Mass Transport
EQ-FICK-DIFFUSION
Fick's First Law of Diffusion (1D)
D*dC_dx + J = 0
3 variables8 axioms
Population Dynamics
EQ-LOTKA-VOLTERRA
Lotka–Volterra Predator-Prey Equations
alpha*x - beta*x*y = 0
4 variables8 axioms
Probability
EQ-BAYES
Bayes' Theorem
-P_A*P_B_given_A + P_A_given_B*P_B = 0
4 variables5 axioms
Quantitative Finance
EQ-BLACK-SCHOLES
Black–Scholes PDE
S**2*V_SS*sigma**2/2 + S*V_S*r - V*r + V_t = 0
7 variables5 axioms
Quantum Mechanics
EQ-SCHRODINGER
Schrödinger Equation (1D, time-dependent, free particle)
hbar**2*psi_xx/(2*m) + I*hbar*psi_t = 0
4 variables12 axioms
Special Relativity
EQ-LORENTZ-FACTOR
Lorentz Factor (Special Relativity)
gamma**2*(1 - v**2/c**2) - 1 = 0
3 variables5 axioms
Spectroscopy
EQ-BEER-LAMBERT
Beer–Lambert Law
A - c*ell*epsilon = 0
4 variables7 axioms
Thermal Transport
EQ-FOURIER-HEAT
Fourier's Law of Heat Conduction (1D)
dT_dx*k + q = 0
3 variables7 axioms
Variational Mechanics
EQ-EULER-LAGRANGE
Euler–Lagrange Equation (1D)
-dL_dq + d_dt_dL_dqdot = 0
2 variables8 axioms