This row is pinning down how each science turns its structure into math: every “law / relation / mechanism” from higher rows gets a specific equation family here (differential equations, algebraic laws, rates, distributions, transforms). In physics, that’s Newton, Maxwell, Schrödinger, Einstein, Navier–Stokes, MHD, radiative transfer, etc.; in chemistry, Arrhenius, Nernst, Schrödinger/DFT, partition functions, rate laws; in biology and biochemistry, Michaelis–Menten, Hill equations, mass-balance ODEs, diffusion, binding isotherms, free-energy relations; in Earth and climate systems, Darcy, Stokes, stream power, heat flow, reaction–transport, radiative-balance and circulation equations; in social sciences, you see probability / optimization / dynamical systems: Hardy–Weinberg, Lotka–Volterra, gravity models, utility maximization, game-theoretic payoffs, diffusion and network equations, psychometric models.

So this row is the bridge layer: it doesn’t introduce new phenomena, it gives the canonical mathematical forms that implement the laws, invariants, mechanisms, and pathways already defined above, so they can be simulated, solved, fitted, and compared across domains.


Equations are the primary formal device through which scientific structure is made explicit. At their core, equations assert the equality of mathematical expressions, and by doing so they impose precise constraints on variables, define allowable relationships, and fix how quantities are related within a domain. Once entities, variables, and assumptions have been specified, equations are the means by which those commitments become mathematically operative.

Importantly, equations do not introduce new phenomena or ontology. They do not explain why a system behaves as it does, nor do they supply mechanisms on their own. Instead, they formalize what has already been posited elsewhere in the framework, translating qualitative structure into exact mathematical commitments that can be analyzed, solved, and compared.

Across all sciences, equations recur because the underlying mathematical acts they perform are limited and universal. Any equation necessarily fixes one or more of the following: which states are admissible, how states are related or transformed, which configurations are invariant or stable, how model variables relate to observations, or how symbols are quantitatively defined. Different equations serve different subsets of these roles, but no equation operates outside them.

In the Science Analysis Template, equations therefore occupy the role of formal execution. They are the point at which conceptual structure becomes manipulable: enabling deduction, simulation, estimation, and testing without altering the domain’s underlying assumptions.

Equation Categories

Equations are not all of the same kind. Although every equation is formally an equality, equations differ in what mathematical commitment they make within a scientific structure. Some restrict which states are allowed, others define how states change, others identify stable configurations, relate models to observations, or fix the quantitative meaning of symbols. These differences are structural, not stylistic or disciplinary.

The categories below are therefore not classifications by subject matter, mathematical technique, or field of application. They are organized by the distinct formal roles an equation can play—that is, by what an equation fixes about a system once it is written down. Each category corresponds to a logically different way an equality between expressions can function within a model.

These roles are orthogonal rather than sequential. An equation may occupy one or more categories if its mathematical form supports multiple commitments, but no equation can fall outside them. Collectively, the categories exhaust the ways equations can operate in science, independent of domain, scale, or interpretation.

In the Science Analysis Template, these categories make explicit how equations implement structure without introducing new ontology, mechanisms, or assumptions. They clarify what is being fixed formally, and where that fixation sits relative to laws, mechanisms, models, and evidence.

1. Constraint Equations

These assert that certain variable combinations must hold simultaneously.

They rule out impossible states.
They do not describe change, motion, or observation.

They answer:
“What combinations are allowed?”

Examples

These equations delimit possibility; they do not generate motion.

2. Dynamic Equations

These assert a rule that relates one state to another.

They describe how a system evolves under time, space, or iteration.

They answer:
“How does the system change?”

Examples

These equations generate trajectories but do not classify stability by themselves.

3. Equilibrium and Regime Equations

These assert conditions under which change vanishes or behavior stabilizes.

They identify balance points or regime boundaries.

They answer:
“Where does change stop or reorganize?”

Examples

These equations classify behavior; they do not describe motion.

4. Inference and Observation Equations

These assert a relationship between unobserved variables and observable data.

They are about estimation, measurement, and reconstruction.

They answer:
“How do observations relate to the system?”

Examples

These equations concern estimation and inference, not physical evolution.

5. Definitional Equations

These assert what a symbol means quantitatively.

They introduce or pin down variables.

They answer:
“What does this symbol stand for?”

Examples

These equations stabilize interpretation across contexts.


All branches of science rely on equations as a universal language for describing laws, relationships, and mechanisms. No matter the field – from physics and chemistry to biology, social sciences, or formal logic – scientists use mathematical expressions to formalize their theories and observations. This reliance on equations provides a common framework that transcends individual disciplines. In fact, “mathematics is the universal language of science”, allowing researchers from different fields to communicate complex ideas with precision. Below, we summarize key commonalities and patterns in how equations are used across the sciences, highlighting shared themes in these formal representations.

Equations as Universal Descriptors of Scientific Laws

Mathematical equations serve as the fundamental descriptors of scientific laws across all fields. Each discipline has core principles that are captured succinctly by equations, which provide a formal representation of how key quantities relate. For example:

Across all these examples, equations act as shorthand for general principles. They allow scientists to encode hypotheses or laws in a precise, testable form, ensuring that different practitioners interpret the relationships in the same way. The massive table of “Formal Representations – Equations” across disciplines underscores that every field has a toolkit of fundamental equations that capture its essential patterns and mechanisms.

Dynamics and Rates of Change: Differential Equations Everywhere

One striking commonality is the ubiquity of differential equations to describe dynamics – how systems change over time or space. Many scientific phenomena are governed by rates of change, and differential equations provide a shared mathematical framework for modeling these dynamics. This is true not just in physics, but “across diverse fields, including physics, engineering, biology, economics, and social sciences”. In particular:

No matter the domain, the underlying pattern is the same: a set of variables whose rates of change are related to the variables themselves, producing a system of equations that can be analyzed for future behavior. The widespread use of differential equations underscores a deep pattern: dynamical systems are a unifying concept. Scientists in any field leverage this concept to predict how a state will evolve from given initial conditions, highlighting mathematics as a common tool for understanding change.

Equilibrium and Balance Across Disciplines

Another crosscutting concept is equilibrium – a state in which opposing forces or influences are balanced and there is no net change. The idea of equilibrium appears in nearly every scientific discipline, though in different guises, and it is invariably described by equations representing that balance. Equilibrium conditions are typically expressed by setting derivatives or net flows to zero, or by equalizing competing quantities. Some prominent examples include:

Across all these contexts, equilibrium is fundamentally a state of balance. As one source notes, whether in physics, chemistry, economics, or biology, equilibrium “signifies a state of balance, stability, or harmony where various elements or forces are in relative balance and not subject to net change”. The specific variables differ by field – molecules in chemical solutions, organisms in ecosystems, prices in markets – but the mathematical condition is analogous. Equations set opposing terms equal or set net change to zero, capturing the idea that the system has settled into an unchanging condition unless disturbed. This concept of equilibrium is a shared framework for reasoning about stability in systems ranging from atoms to societies.

Common Functional Forms and Patterns

Digging deeper, we find that certain mathematical forms of equations recur in many sciences, sometimes independently discovered in different contexts. These recurring patterns underscore that different systems can exhibit similar behaviors, which mathematics captures with the same family of functions or equations. A few notable patterns include:

These examples illustrate that science often discovers the same mathematical solutions in different contexts. A logistic-growth equation or a wave equation can emerge from very different mechanisms, but the fact that the form of the equation is the same allows techniques and intuitions to transfer across disciplines. It also highlights the deep unity in natural patterns: systems as disparate as chemical reactions, population dynamics, and market adoption can follow mathematically analogous trajectories.

Shared Purpose: Precision and Prediction

Beyond specific equation forms, the role of equations in all sciences shares a common purpose. Equations provide a precise, unambiguous way to encode hypotheses or empirical relationships, making it possible to rigorously test and apply knowledge. In every field:

Ultimately, what the extensive list of equations across different sciences shows is a pattern of universality in scientific thought. No matter the subject matter – tangible or abstract – scientists seek patterns that can be expressed formally. By doing so, they achieve a common ground of understanding. As one article eloquently put it, mathematical models that survive empirical tests are “supremely fit” – they distill the essence of phenomena in a form anyone versed in mathematics can understand.

Conclusion

Equations are the connective tissue of scientific disciplines. The information provided in the “Linea Science Map” of formal representations reveals that every field, from the natural sciences to the social sciences and formal logic, uses mathematical equations to capture its core principles. The commonalities are striking: differential equations for dynamic change, equilibrium equations for balance, recurring functional forms like exponentials and logistics, and conservation laws or constraints are ubiquitous. These shared patterns underscore a fundamental truth: while the subject matter of different sciences varies widely, the form of their explanations often follows the same mathematical patterns. This not only highlights the power of mathematics in describing our world, but also demonstrates a deep unity among the sciences. All scientists, in their own domains, are ultimately writing down equations – speaking a common language – to express the order and structure underlying the complexity of nature and society.

Element
Scope Category3.4 Formal Representations
Sub-ItemEquations
Science Name LinkBranch Name LinkField Name LinkDefinitionMathematical constructs expressing laws, relations, or mechanisms.
Natural SciencesPhysicsClassical PhysicsClassical MechanicsMathematical structures like Newton’s second law (F = ma), Lagrange’s equations, Hamilton’s equations, energy relations, harmonic oscillator equations, and inverse-square gravitational laws.
Natural SciencesPhysicsClassical PhysicsClassical ElectromagnetismMaxwell’s equations, Lorentz force law, wave equations for E and B, boundary-condition equations, constitutive relations (D = εE, B = μH), and potential formulations (gauge equations).
Natural SciencesPhysicsClassical PhysicsClassical ThermodynamicsFirst Law: ( dU = \delta Q – \delta W ); Second Law: ( dS \geq \frac{\delta Q}{T} ); equations of state like ( PV = nRT ); Maxwell relations; thermodynamic identity; definitions of potentials.
Natural SciencesPhysicsClassical PhysicsStatistical Mechanics (Classical)Boltzmann equation, Liouville equation, Maxwell–Boltzmann distribution, partition function formulas, probability densities ρ(q,p), thermodynamic relations derived from Z, and fluctuation formulae (variance, correlations).
Natural SciencesPhysicsClassical PhysicsOptics (Classical Wave Theory)Wave equation for electromagnetic waves; Helmholtz equation; boundary condition equations; interference/diffraction formulas (Young’s double slit, Fraunhofer/Fresnel forms); propagation laws (k = 2π/λ); Maxwell’s equations in wave form.
Natural SciencesPhysicsClassical PhysicsAcousticsLinear wave equation, Helmholtz equation, impedance relations (Z = p/u), energy density and intensity equations, dispersion relations, boundary condition equations, and modal frequency formulas for cavities and structures.
Natural SciencesPhysicsClassical PhysicsContinuum MechanicsGoverning equations include the continuity equation, momentum equation, energy balance equations, Navier–Stokes equations for fluids, constitutive stress–strain relations for solids, and standard kinematic relations for deformation.
Natural SciencesPhysicsClassical PhysicsClassical Field TheoryFields are represented by differential equations such as wave equations, Poisson equations, Laplace equations, diffusion equations, and field evolution rules derived from balance laws or variational principles.
Natural SciencesPhysicsClassical PhysicsPre-Relativistic FrameworksRepresentations include Newton’s equations, classical gravitational equations, wave equations in elastic media or ether, potential-force relations, and Galilean transformation rules for converting between frames.
Natural SciencesPhysicsModern & Fundamental PhysicsQuantum MechanicsRepresentations include the Schrödinger equation, operator commutation relations, matrix mechanics, quantized energy level formulas, spin algebra equations, and transition probability expressions.
Natural SciencesPhysicsModern & Fundamental PhysicsRelativistic Quantum MechanicsRepresented using wave equations such as the Dirac equation for spin-half particles, Klein-Gordon equation for spin-zero particles, relativistic Hamiltonians, and operator formulations consistent with Lorentz symmetry.
Natural SciencesPhysicsModern & Fundamental PhysicsSpecial RelativityRepresentations include Lorentz transformation equations, relativistic energy and momentum formulas, Doppler shift relations, aberration equations, and velocity addition rules.
Natural SciencesPhysicsModern & Fundamental PhysicsGeneral RelativityRepresented with the field equations, geodesic equations, conservation laws, curvature definitions, gravitational wave equations, and coordinate transformation rules for different spacetime charts.
Natural SciencesPhysicsModern & Fundamental PhysicsQuantum Field Theory (QFT)Represented through Lagrangians, Hamiltonians, field equations, propagator functions, symmetry transformations, and scattering amplitude formulas used in perturbation theory and path-integral formalisms.
Natural SciencesPhysicsModern & Fundamental PhysicsParticle Physics (High-Energy Physics)Representations include cross-section formulas, decay-rate equations, Feynman rules, conservation equations, interaction Lagrangians, and probability amplitudes for scattering and decay processes.
Natural SciencesPhysicsModern & Fundamental PhysicsNuclear PhysicsRepresentations include decay-rate equations, nuclear binding-energy formulas, cross-section equations, shell-model eigenvalue equations, reaction-rate formulas, and energy-level diagrams.
Natural SciencesPhysicsModern & Fundamental PhysicsQuantum Statistical PhysicsRepresented through distribution functions, correlation functions, many-body Hamiltonians, mean-field equations, gap equations, dispersion relations, and equations governing critical behavior and phase transitions.
Natural SciencesPhysicsModern & Fundamental PhysicsQuantum OpticsRepresented by field quantization formulas, master equations, rate equations, mode expansions, Rabi-frequency relationships, correlation functions, and Hamiltonians describing light–matter coupling.
Natural SciencesPhysicsModern & Fundamental PhysicsQuantum Information ScienceRepresented through unitary matrices, channel maps, stabilizer equations, quantum error-correction conditions, entanglement measures, fidelity formulas, and resource-scaling equations for algorithms and circuits.
Natural SciencesPhysicsTheoretical & Mathematical PhysicsSymmetry & Group TheoryRepresented using group multiplication tables, commutation relations, algebraic identities, matrix representations, representation decompositions, and transformation equations acting on states or fields.
Natural SciencesPhysicsTheoretical & Mathematical PhysicsGauge TheoryUses differential field equations, covariant derivative structures, conservation relations, and renormalization formulas; expresses interactions through symmetry-driven terms and derivative operators.
Natural SciencesPhysicsTheoretical & Mathematical PhysicsString TheoryUses formal constructs describing string motion, worldsheet dynamics, interactions between extended objects, and consistency conditions needed for well-defined models; often reliant on advanced geometry and algebra.
Natural SciencesPhysicsTheoretical & Mathematical PhysicsDifferential Geometry in PhysicsUses geometric equations expressing how distances change, how curvature arises from connections, how trajectories respond to geometry, and how fields attach to geometric structures.
Natural SciencesPhysicsTheoretical & Mathematical PhysicsStatistical Field TheoryFormal structures include field evolution equations, stochastic differential equations, scaling relations, flow equations for parameters, and expressions relating correlations to responses.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsMathematical Foundations of Quantum MechanicsFormal constructs include operator rules, spectral decompositions, linear evolution rules, probability assignments, and algebraic relationships among operators and states.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsGeneral Mathematical PhysicsFormal constructs include partial differential equations, variational equations, stability equations, algebraic systems, and transformation rules that express physical laws mathematically.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsSolid-State PhysicsUses equations for band dispersion, lattice vibrations, transport models, energy relations, scattering rates, and equations describing electronic or phonon dynamics.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsSemiconductor PhysicsUses equations for carrier statistics, current flow, recombination rates, energy bands, drift-diffusion dynamics, and optical absorption.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsMagnetism & Spin PhysicsUses equations for magnetization behavior, relaxation dynamics, domain energetics, interaction strengths, resonance conditions, and spin wave dispersion.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsSuperconductivityIncludes equations describing order parameter behavior, critical field curves, flux quantization, current response, vortex energetics, and relationships governing penetration and coherence lengths.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsSoft Matter PhysicsUses equations describing stress-strain relationships, relaxation dynamics, phase separation, flow behavior, diffusion, and alignment dynamics of liquid crystals.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsNanomaterials & NanostructuresUses mathematical expressions describing confinement effects, surface energy relations, diffusion laws, optical absorption rules, mechanical scaling laws, and electronic band models adapted to nanoscale geometries.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsStrongly Correlated Electron SystemsUses equations describing lattice interactions, effective Hamiltonians, transport relationships, susceptibility forms, energy scales, and interaction driven gap formation.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsTopological MatterUses equations describing band connectivity, energy dispersion rules, response terms, Berry phase relations, and mathematical formulations of topological index calculations.
Natural SciencesPhysicsCondensed Matter & Materials PhysicsMaterials Science (Physical Perspective)Includes stress strain equations, heat conduction laws, diffusion equations, equilibrium rules, defect energetics expressions, and constitutive models for mechanical or thermal behavior.
Natural SciencesPhysicsAstrophysics & CosmologyStellar AstrophysicsUses stellar structure equations, energy transport relations, fusion rate formulas, opacity rules, pressure equations, and models linking temperature, density, and luminosity.
Natural SciencesPhysicsAstrophysics & CosmologyGalactic AstrophysicsUses gravitational dynamics equations, fluid equations for gas phases, star formation scaling laws, chemical evolution equations, and models describing angular momentum and energy transport.
Natural SciencesPhysicsAstrophysics & CosmologyExtragalactic AstrophysicsUses gravitational collapse equations, halo growth rules, star formation laws, energy feedback formulas, mass accretion equations, and statistical descriptions of clustering and structure formation.
Natural SciencesPhysicsAstrophysics & CosmologyCosmologyUses equations for expansion dynamics, density evolution, radiation temperature evolution, structure growth, nucleosynthesis yields, and statistical power spectra of cosmic fluctuations.
Natural SciencesPhysicsAstrophysics & CosmologyHigh-Energy AstrophysicsUses relativistic fluid equations, particle acceleration laws, radiation transport equations, magnetic field evolution equations, and timing equations for periodic or burst behavior.
Natural SciencesPhysicsAstrophysics & CosmologyGravitational AstrophysicsIncludes orbital mechanics equations, energy balance formulas, mass radius relations, atmospheric scale height equations, tidal force relations, and models linking temperature, composition, and pressure.
Natural SciencesPhysicsAstrophysics & CosmologyPlanetary Science & ExoplanetsIncludes orbital mechanics equations, mass radius relationships, energy balance equations, atmospheric scale height formulas, escape rate equations, and climate or interior structure equations.
Natural SciencesPhysicsAstrophysics & CosmologyAstrochemistry & Interstellar Medium PhysicsIncludes equations for reaction rates, radiative transfer, ionization balance, heating and cooling rates, dust extinction curves, excitation conditions, and phase equilibrium relations.
Natural SciencesPhysicsAstrophysics & CosmologyAstrobiologyIncludes energy balance equations, reaction rate equations, atmospheric escape formulas, photochemical equations, climate stability relations, and models linking environmental variables to biological viability.
Natural SciencesPhysicsPlasma & Fluid PhysicsFluid DynamicsIncludes Navier-Stokes equations, continuity equation, energy equation, vorticity transport equation, shock jump conditions, and simplified forms such as Euler equations or boundary layer equations.
Natural SciencesPhysicsPlasma & Fluid PhysicsHydrodynamics (Ideal Fluids)Includes MHD continuity, momentum, and energy equations, magnetic induction equation, force balance equations, and simplified forms such as ideal MHD, resistive MHD, and linearized wave equations.
Natural SciencesPhysicsPlasma & Fluid PhysicsMagnetohydrodynamics (MHD)Includes continuity, momentum, and energy equations, magnetic induction equation, force balance relations, and reduced forms such as ideal MHD, resistive MHD, incompressible MHD, and linearized wave equations.
Natural SciencesPhysicsPlasma & Fluid PhysicsPlasma Physics (General)Includes particle motion equations, Maxwell’s equations, fluid plasma equations, kinetic equations, transport relations, wave dispersion equations, and closures such as fluid moment equations or distribution functions.
Natural SciencesPhysicsPlasma & Fluid PhysicsSpace & Astrophysical PlasmasIncludes particle motion equations, Maxwell’s equations, fluid plasma equations, kinetic equations, wave dispersion equations, reconnection models, shock jump conditions, and turbulence transport equations.
Natural SciencesPhysicsPlasma & Fluid PhysicsFusion Plasma PhysicsIncludes magnetohydrodynamic equilibrium equations, transport equations, kinetic equations for distribution evolution, wave propagation relations, fusion reaction rate equations, and reduced models for turbulence or neoclassical transport.
Natural SciencesPhysicsPlasma & Fluid PhysicsComputational Fluid & Plasma PhysicsIncludes discretized forms of Navier-Stokes equations, MHD equations, Maxwell’s equations, Vlasov equation, particle motion equations, turbulence closure equations, and numerical update rules such as Runge-Kutta or implicit solvers.
Natural SciencesPhysicsPlasma & Fluid PhysicsNon-Newtonian & Complex FluidsIncludes constitutive equations such as power-law, Carreau, Cross, Herschel-Bulkley, Oldroyd-B, Maxwell, Jeffreys, Bingham, Giesekus, or thixotropic kinetic equations; also includes microstructure evolution equations and multiphase formulations.
Natural SciencesPhysicsPlasma & Fluid PhysicsHigh-Energy-Density Physics (HEDP)Includes radiation hydrodynamic equations, conservation laws, shock jump conditions, ionization equilibrium equations, opacity relations, EOS relations, heat transport equations, and instability growth formulas.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsBiophysicsIncludes diffusion equations, Langevin equations, kinetic rate equations, Poisson–Boltzmann equations, Hodgkin–Huxley equations, polymer elasticity laws, force–extension models, and stochastic master equations.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsMedical PhysicsIncludes Beer–Lambert law, radioactive decay equations, Bethe stopping power equation, Larmor precession relation, Bloch equations, acoustic wave equations, dose calculation algorithms, and transport equations for radiation and particles.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsGeophysicsIncludes elastic wave equations, Navier-Stokes equations for mantle flow, heat conduction equations, gravity potential equations, magnetic induction equations, Darcy’s law, and constitutive relations for viscoelastic and plastic deformation.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsOptics & PhotonicsIncludes Maxwell equations, wave equation, Helmholtz equation, paraxial propagation equation, nonlinear polarization equations, laser rate equations, interferometer phase relations, waveguide dispersion equations, and photon creation–annihilation operators in quantum optics.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsComputational PhysicsIncludes discretized PDE forms, time-integration update equations, matrix–vector formulations, Hamiltonian evolution algorithms, stochastic update rules, finite-volume flux equations, Monte Carlo sampling rules, and iteration formulas for solver convergence.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsEngineering PhysicsIncludes Newton’s laws, Maxwell’s equations, heat diffusion equations, Navier-Stokes equations, circuit equations, wave equations, constitutive material laws, and system transfer function representations.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsChemical PhysicsIncludes Schrödinger equation, rate equations, partition function relations, Arrhenius equation, Langevin equations, master equations, potential energy surface equations, and scattering amplitude expressions.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsEnvironmental & Climate PhysicsIncludes Navier–Stokes equations for atmosphere and ocean, radiative transfer equations, thermodynamic energy balance equations, diffusion–advection equations, carbon cycle flux equations, and simplified climate box-model equations.
Natural SciencesPhysicsInterdisciplinary & Applied PhysicsApplied Materials PhysicsIncludes Schrödinger-type electronic structure equations, diffusion equations, heat conduction equations, elasticity equations, Maxwell equations for electromagnetic response, transport equations for carriers and phonons, and phenomenological relations for plasticity or phase changes.
Natural SciencesChemistryPhysical ChemistryQuantum ChemistrySchrödinger equation, Hartree–Fock equations, Kohn–Sham DFT equations, coupled-cluster expansions, transition moment integrals.
Natural SciencesChemistryPhysical ChemistryStatistical MechanicsBoltzmann equation, Liouville equation, partition function formulas, fluctuation–dissipation equations, Fokker–Planck dynamics.
Natural SciencesChemistryPhysical ChemistryThermodynamicsdU = TdS – PdV; Maxwell relations; equations of state (ideal gas law, van der Waals); Clausius inequality; definitions of G, H, F, μ.
Natural SciencesChemistryPhysical ChemistryKinetics & Reaction DynamicsArrhenius equation, Eyring equation (TST), rate laws, master equations, RRKM theory equations, Fokker–Planck formulations for energy redistribution.
Natural SciencesChemistryPhysical ChemistrySpectroscopyBeer–Lambert law, time-dependent Schrödinger equation, Bloch equations, Raman/IR intensity formulas, Fourier-transform relations, Fermi’s golden rule.
Natural SciencesChemistryPhysical ChemistryElectrochemistryButler–Volmer equation, Nernst equation, Fick’s laws, Poisson–Boltzmann models, continuity equations, Tafel equation, transport equations (Nernst–Planck).
Natural SciencesChemistryPhysical ChemistrySurface & Interface ScienceLangmuir isotherm, BET model, Young–Laplace equation, Helmholtz/Guoy–Chapman models, diffusion equations, Gibbs adsorption relation, rate equations for surface reactions.
Natural SciencesChemistryPhysical ChemistryColloid & Solution ChemistryDLVO potential, Poisson–Boltzmann equation, Stokes–Einstein relation, Raoult’s law, Henry’s law, osmotic pressure equation, Smoluchowski aggregation equations.
Natural SciencesChemistryPhysical ChemistryChemical PhysicsSchrödinger equation, Liouville equation, Eyring equation, Landau–Zener model, Fokker–Planck equations, scattering amplitudes, Hamiltonians, correlation/response functions.
Natural SciencesChemistryOrganic ChemistryStructural & Mechanistic Organic ChemistryRate laws, Hammett/ρ relationships, Brønsted correlations, Arrhenius relationships, MO symmetry rules, reaction-coordinate diagrams, resonance structures as formal symbolic representations.
Natural SciencesChemistryOrganic ChemistryStereochemistry & Conformational AnalysisBoltzmann distributions for conformer populations, energy–dihedral relationships, Karplus equation for J-couplings, stereochemical correlation diagrams, symmetry operations.
Natural SciencesChemistryOrganic ChemistrySynthetic Organic ChemistryRate laws, selectivity ratios, redox-level diagrams, retrosynthetic arrows, mechanistic electron-flow diagrams, catalyst turnover equations, yield–step relationships.
Natural SciencesChemistryOrganic ChemistryPhysical Organic ChemistryHammett equation, Taft equation, Brønsted relations, Arrhenius and Eyring equations, Marcus equation, LFER models, potential energy diagrams, More O’Ferrall–Jencks surfaces.
Natural SciencesChemistryOrganic ChemistryOrganometallic Organic ChemistryElectron-counting equations, redox-state balancing, rate laws for catalytic cycles, ligand-field splitting diagrams, MO diagrams, free-energy surfaces, reaction-coordinate diagrams.
Natural SciencesChemistryOrganic ChemistryPolymer Chemistry (Carbon-based)Flory–Schulz distribution, Mayo–Lewis copolymerization equation, Mark–Houwink equation, rate equations for kp, kt, ki, free-energy profiles, χ-parameter expressions, gel-point equations.
Natural SciencesChemistryOrganic ChemistryBioorganic ChemistryMichaelis–Menten equation, Lineweaver–Burk and Eadie–Hofstee transforms, Henderson–Hasselbalch relationships, binding isotherms, rate equations for multi-step enzymatic mechanisms.
Natural SciencesChemistryOrganic ChemistryNatural Products ChemistryIsotopic labeling equations, kinetic isotope-effect expressions, biosynthetic flux equations, rate equations for enzyme steps, equilibrium relationships in tailoring reactions.
Natural SciencesChemistryOrganic ChemistryMedicinal ChemistryTime-course concentration sampling, multiple-dose replicates, metabolic clearance monitoring, automated screening campaigns, SPR binding curves, LC-MS/MS quantification, toxicity time courses.
Natural SciencesChemistryInorganic ChemistryMain-Group ChemistryMO diagrams for s/p-block compounds, VSEPR models, electron-counting equations, redox balancing, Wade–Mingos cluster rules, acidity/basicity equations, potential energy diagrams for main-group processes.
Natural SciencesChemistryInorganic ChemistryTransition-Metal ChemistryCrystal-field splitting equations (Δ₀, Δₜ), rate laws for substitution, Nernst equations for redox steps, electron-counting equations, magnetochemical equations (μ_eff), MO diagrams.
Natural SciencesChemistryInorganic Chemistryf-Block ChemistrySpectroscopic term-splitting equations, Russell–Saunders coupling relations, J-value magnetic equations, electron-counting equations, redox-balanced equations, CFSE expressions for f-elements.
Natural SciencesChemistryInorganic ChemistryCoordination ChemistryCrystal-field splitting equations, LFSE formulas, rate equations for substitution (k₁, k₂), Nernst equations for redox-linked changes, equations for magnetic moments (μ_eff), electron-counting formulas.
Natural SciencesChemistryInorganic ChemistrySolid-State ChemistryBand-structure equations, Bragg’s law, Debye–Scherrer equation, Arrhenius conductivity equations, phonon dispersion relations, defect formation-energy equations, lattice-energy expressions.
Natural SciencesChemistryAnalytical ChemistryQualitative AnalysisAbsorbance–wavelength relationships, qualitative mass-fragmentation rules, pH indicator transition equations, equilibrium expressions for precipitation/complexation, structural-correlation tables.
Natural SciencesChemistryAnalytical ChemistryQuantitative AnalysisBeer–Lambert equation, regression equations, error-propagation formulas, Nernst equation, titration stoichiometric equations, calibration-curve functions, uncertainty and variance equations.
Natural SciencesChemistryAnalytical ChemistrySeparation ScienceVan Deemter equation, Nernst partition law, Rs equation, k and α definitions, electrophoretic mobility equation, adsorption isotherm equations, mass-transfer equations, membrane-flux J = (ΔP – Δπ)/R.
Natural SciencesChemistryAnalytical ChemistryInstrumental AnalysisBeer–Lambert equation, Nernst equation, NMR resonance equations, MS ion kinetic equations, chromatographic retention/plate equations, electrochemical peak equations, noise/uncertainty models, calibration regression equations.
Natural SciencesChemistryBiochemistryStructural BiochemistryFolding free-energy equations (ΔG_fold), Boltzmann population formulas, hydrogen-bond geometry equations, Ramachandran constraints, radius-of-gyration formulas, cooperativity equations, two-state kinetic equations.
Natural SciencesChemistryBiochemistryEnzymologyMichaelis–Menten equation, Lineweaver–Burk, Eadie–Hofstee, Briggs–Haldane formalism, inhibition equations (competitive, mixed, etc.), Hill equation, Arrhenius/transition-state theory equations, free-energy relationships.
Natural SciencesChemistryBiochemistryMetabolism & BioenergeticsΔG = ΔG°’ + RT ln Q, Nernst equation, flux-balance equations (S·v = 0), Michaelis–Menten relations, PMF equation, ATP yield stoichiometry, steady-state flux equations, thermodynamic feasibility inequalities.
Natural SciencesChemistryBiochemistryMolecular Biology & Gene ExpressionGene-expression models: transcription rate equations, Hill-type TF-binding equations, burst frequency/size equations, chromatin accessibility–expression models, translation-rate equations, degradation kinetics (first-order decay).
Natural SciencesChemistryBiochemistryCellular BiochemistryNernst equation for ion gradients, flux equations for trafficking, Michaelis–Menten steps inside cells, membrane-potential equations, Ca²⁺ diffusion equations, cytoskeletal polymerization kinetics, redox-buffer equilibrium equations.
Natural SciencesChemistryBiochemistryMembrane BiochemistryNernst equation (ion gradients), Goldman–Hodgkin–Katz equation, Helfrich curvature energy equation, diffusion equations (D = µm²/s), membrane-potential equations, partition/permeability equations, transport-rate equations for carriers/pumps.
Natural SciencesChemistryBiochemistryProtein ChemistryFolding thermodynamics: ΔG = ΔH − TΔS; two-state folding kinetics; Henderson–Hasselbalch for side-chain ionization; Hill equations for cooperative transitions; binding isotherms (Kd equations); Arrhenius/transition-state equations for side-chain reactivity.
Natural SciencesChemistryBiochemistryBiochemical GeneticsMichaelis–Menten relations for mutant enzymes, ΔG and stability equations, genotype–penetrance models, Hardy-Weinberg equations, metabolic-flux equations, allele-dosage models, epistasis interaction terms, quantitative trait equations.
Natural SciencesEarth & Space SciencesGeologyMineralogy & CrystallographyBragg’s Law (nλ = 2d sinθ), lattice-parameter equations, structure-factor formulas, radius-ratio rules, optical indicatrix equations, thermodynamic equilibrium equations, strain/elasticity relations.
Natural SciencesEarth & Space SciencesGeologyPetrologyClapeyron equation, thermodynamic equilibrium equations, melt-fraction equations, diffusion equations (Fick’s laws), geothermobarometer calibrations, modal-balance equations, Gibbs free-energy relations.
Natural SciencesEarth & Space SciencesGeologyStructural Geology & TectonicsStress-strain equations, Hooke’s law, power-law creep equations, Mohr–Coulomb failure criterion, Byerlee’s law, plate-motion vectors, strain-rate tensors, flexure equations, kinematic rotation equations.
Natural SciencesEarth & Space SciencesGeologySedimentology & StratigraphyStokes’ Law (settling velocity), Hjulström diagram relations, Shields criterion (critical shear stress), sediment-flux equations, accommodation–sediment supply balance equations, compaction curves, porosity–depth exponential relations.
Natural SciencesEarth & Space SciencesGeologyGeomorphologyStream-power incision law, Shields criterion, Manning’s equation, Darcy–Weisbach equation, sediment-transport equations, diffusion equation for hillslope evolution, glacier flow equations, wave-energy equations, isostasy equations (Airy/Flexural).
Natural SciencesEarth & Space SciencesGeologyGeophysicsWave equation, Navier–Stokes for mantle flow, Poisson’s equation for gravity, Maxwell’s equations for EM fields, Fourier’s law for heat conduction, plate-motion Euler pole equations, stress–strain tensor equations, energy attenuation relations.
Natural SciencesEarth & Space SciencesGeologyGeochemistryΔG = ΔH − TΔS; mass-action equations; K = exp(−ΔG/RT); Nernst equation; Eh–pH relations; rate laws (e.g., −dA/dt = kAⁿ); partitioning equations; isotope fractionation equations; diffusion equations (Fick’s laws); mass-balance equations; Rayleigh fractionation formula.
Natural SciencesEarth & Space SciencesGeologyPaleontologyRates of speciation/extinction; survivorship curves; diversity metrics; isotopic fractionation equations; morphometric PCA equations; logistic or exponential diversification models; stratigraphic range models; phylogenetic distance metrics.
Natural SciencesEarth & Space SciencesGeologyHydrogeologyDarcy’s Law (q = −K∇h), groundwater-flow equation, advection–dispersion equation, Richards equation for unsaturated flow, mass-balance equations, hydraulic conductivity tensors, plume-transport equations, density-flow equations.
Natural SciencesEarth & Space SciencesGeologyEconomic & Applied GeologyDarcy’s Law for fluid flow, heat-flow equations, solubility and speciation equations, reaction-path equations, partition coefficients, organic maturation kinetics (Arrhenius), capillary-pressure equations, basin-compaction equations, probability distributions for grade/tonnage models, mass-balance equations.
Natural SciencesEarth & Space SciencesMeteorologyDynamic MeteorologyNavier–Stokes equations in rotating coordinates, thermodynamic energy equation, continuity equation, hydrostatic equation, vorticity and divergence equations, potential vorticity equation, shallow-water equations, and wave dispersion relations.
Natural SciencesEarth & Space SciencesMeteorologyThermodynamic MeteorologyThermodynamic energy equation, Clausius–Clapeyron equation, equations governing lapse rates, moist-static-energy formulations, radiation-transfer equations, and parcel buoyancy equations.
Natural SciencesEarth & Space SciencesMeteorologyCloud Physics & MicrophysicsGoverning equations include droplet growth by diffusion, ice deposition equations, stochastic collection equations, melting/freezing equations, nucleation probability models, and bin-microphysics transport equations.
Natural SciencesEarth & Space SciencesMeteorologySynoptic & Mesoscale MeteorologyIncludes Navier–Stokes in rotating coordinates, quasi-geostrophic equations, omega equation, vorticity and divergence equations, frontogenesis equations, thermal-wind relation, and mesoscale nonhydrostatic equations.
Natural SciencesEarth & Space SciencesMeteorologyAtmospheric Physics & ChemistryIncludes radiative transfer equations, Beer–Lambert law, Planck’s law, chemical kinetic rate equations, continuity equations for species transport, spectral scattering equations, and coupled chemical–transport models.
Natural SciencesEarth & Space SciencesMeteorologyClimatology & Climate DynamicsUses energy-balance equations, radiative-transfer equations, coupled Navier–Stokes for ocean–atmosphere, tracer-transport equations, feedback-formalism equations, and statistical/dynamical formulations of climate modes.
Natural SciencesEarth & Space SciencesOceanographyPhysical OceanographyBoussinesq/hydrostatic momentum equations; continuity; advection-diffusion; geostrophic relation; PV equation; equation of state.
Natural SciencesEarth & Space SciencesOceanographyChemical OceanographyCarbonate equilibrium equations; mass-action laws; Henry’s Law; Nernst equation; mixing-line equations; reaction-rate laws; residence-time equations; scavenging models; alkalinity–DIC constraint equations; isotope-fractionation formulas.
Natural SciencesEarth & Space SciencesOceanographyBiological OceanographyVertical profiles, diel sampling, seasonal time-series stations, long-term observatories, transects across fronts/upwelling zones, Lagrangian drifter-based sampling, autonomous glider/float missions, bloom tracking via satellite.
Natural SciencesEarth & Space SciencesOceanographyGeological OceanographyStokes’ settling equation; heat-flow decay (q ∝ 1/√age); sediment-accumulation equations; turbidity-current equations (momentum, density contrast); carbonate saturation equations; diffusion/compaction equations; plate-motion Euler-pole equations.
Natural SciencesBiologyMolecular BiologyNucleic Acid BiologyKinetic rate equations for polymerase activity, thermodynamic equations for base-pair stability and RNA folding energies, Michaelis–Menten approximations for nucleic acid enzymes, and probabilistic models of mutation rates.
Natural SciencesBiologyMolecular BiologyGene Regulation & EpigeneticsQuantitative representations of TF-binding kinetics, Hill-type activation functions, methylation/demethylation rate equations, chromatin accessibility models, and statistical equations for enhancer–promoter contact probability.
Natural SciencesBiologyMolecular BiologyProtein BiologyKinetic equations (Michaelis–Menten), thermodynamic folding equations (ΔG, ΔH, ΔS), binding-isotherm equations, rate laws for enzymatic cycles, statistical–mechanical models of conformational ensembles.
Natural SciencesBiologyMolecular BiologyMolecular Complexes & Information FlowBinding/assembly equations (mass-action kinetics), cooperativity equations (Hill functions), thermodynamic stability equations (ΔG), signal-transduction rate laws, stochastic switching models, and kinetic proofreading equations.
Natural SciencesBiologyMolecular BiologyMolecular Methods & TechnologiesPCR amplification equations (exponential/efficiency-based), binding isotherms, Beer–Lambert law for absorbance, fluorescence emission equations, signal-to-noise ratios, kinetic rate laws, and calibration-curve equations.
Natural SciencesBiologyCell BiologyCell Structure & OrganellesKinetic equations for trafficking rates; diffusion models for membrane or protein movement; curvature-energy equations for membrane bending; polymerization kinetics for actin/microtubules; pH or ion-gradient equations across membranes.
Natural SciencesBiologyCell BiologyCellular Dynamics & TraffickingKinetic equations for motor stepping rates, flux equations for cargo transport, diffusion equations (Brownian motion), reaction–diffusion systems for Rab switching, curvature–energy equations for membrane budding, and compartment transition matrices.
Natural SciencesBiologyCell BiologyCell Signaling & CommunicationLigand-binding kinetics equations, Michaelis–Menten forms, Hill functions for cooperativity, ODE systems for cascade dynamics, diffusion equations for messenger spread, threshold equations for activation or oscillation.
Natural SciencesBiologyCell BiologyCell Cycle, Fate & DeathODE systems representing cyclin–CDK oscillators; threshold equations for checkpoint activation; bistability equations for lineage-fate transitions; caspase activation kinetics; Hill functions describing transcription-factor cooperativity; models of DNA-damage accumulation and repair rates.
Natural SciencesBiologyCell BiologyCell Interactions & MicroenvironmentForce–displacement equations for traction; diffusion equations for gradient formation; elasticity equations for ECM stiffness; receptor–ligand binding kinetics; reaction–diffusion models for ECM remodeling; energy-minimization models for cell shape and polarity.
Natural SciencesBiologyCell BiologyCell Morphology & MotilityForce–balance equations for cell shape; polymerization–depolymerization kinetics; reaction–diffusion equations for polarity regulators; traction–stress equations; membrane-tension models; motility equations linking speed to adhesion, force, and protrusion rate.
Natural SciencesBiologyGenetics & EvolutionClassical & Transmission GeneticsProbability equations for segregation outcomes; recombination frequency formulas (RF = recombinants / total × 100); chi-square calculations for goodness-of-fit; map distance equations (cM ≈ RF%).
Natural SciencesBiologyGenetics & EvolutionPopulation GeneticsHW equilibrium equations (p² + 2pq + q²); selection recursion equations (p′ = p·wA / w̄); mutation–selection balance formulas; migration equations (p′ = (1−m)p + m pmig); drift variance formulas (Var(p) = p(1–p)/2Ne); LD decay equations (D′ = D(1−r)).
Natural SciencesBiologyGenetics & EvolutionQuantitative GeneticsBreeder’s equation (R = h²S); variance decomposition (VP = VA + VD + VI + VE); multivariate response equation (Δz = Gβ); covariance equations (Cov = VA × relatedness); regression models for heritability; mixed-model equations for variance estimation.
Natural SciencesBiologyGenetics & EvolutionGenomic Evolution & Comparative GenomicsSubstitution models (Jukes–Cantor, Kimura, GTR); dN/dS ratio calculations; molecular-clock equations; birth–death models for gene families; rate matrices for phylogenetics; synteny conservation metrics; recombination and mutation-rate equations.
Natural SciencesBiologyGenetics & EvolutionPhylogenetics & SystematicsLikelihood equations for substitution models, parsimony score functions, Bayesian posterior probability formulas, molecular-clock equations, divergence-time estimation models, character-evolution rate matrices (Mk models).
Natural SciencesBiologyGenetics & EvolutionMacroevolution & Speciation TheoryBirth–death diversification equations (λ, μ), models for net diversification (r = λ − μ), macroevolutionary rate-shift models, trait-evolution models (Brownian motion, OU), probability models for speciation modes, biogeographic transition matrices.
Natural SciencesBiologyPhysiologyCellular & Tissue PhysiologyNernst equation, Goldman–Hodgkin–Katz equation, Ohm’s law analogs for membranes, Hill equation for muscle force, stress–strain curves, and Michaelis–Menten approximations for transport.
Natural SciencesBiologyPhysiologyNeurophysiologyHodgkin–Huxley equations, Nernst/Goldman equations, synaptic current formulas, cable theory equations, spike-timing–dependent plasticity (STDP) kernels, and dynamical-systems equations for oscillatory networks.
Natural SciencesBiologyPhysiologyEndocrine & Regulatory PhysiologyReceptor-binding curves, Hill equations, feedback-control equations, secretion-rate formulas, endocrine mass-balance equations, and rate-law expressions for enzymatic metabolic control.
Natural SciencesBiologyPhysiologyCardiovascular & Respiratory PhysiologyOhm-like hemodynamic law (Flow = ΔP/R), gas law/diffusion equations (Fick’s law), compliance formulas, pressure–volume loop equations, alveolar gas equations, and oxygen–hemoglobin dissociation equations.
Natural SciencesBiologyPhysiologyMetabolic & Energetic PhysiologyGas-exchange equations (VO₂, VCO₂), energy-expenditure equations (Weir formula), Michaelis–Menten kinetics, stoichiometric oxidation equations, heat-production equations, and O₂-delivery/consumption coupling models.
Natural SciencesBiologyPhysiologyRenal, Fluid & Homeostatic PhysiologyStarling equation, clearance equations (C = UV/P), Henderson–Hasselbalch equation, osmotic-pressure equations, filtration-pressure formulas, and mass-balance equations for electrolytes and water.
Natural SciencesBiologyDevelopmental BiologyCell Fate & Lineage SpecificationGene-regulatory network equations (ODE systems), morphogen-gradient diffusion equations, bistable switch models for fate commitment, threshold-response functions, stochastic models for noisy lineage decisions, epigenetic-state transition equations.
Natural SciencesBiologyDevelopmental BiologyPattern Formation & Embryonic AxesReaction–diffusion PDEs (Turing systems), morphogen diffusion–degradation equations, Hill-type response curves for threshold decoding, oscillator equations for segmentation clocks, axis-patterning dynamical-system equations, Hox colinearity models.
Natural SciencesBiologyDevelopmental BiologyMorphogenesis & Tissue-Level MechanicsStress–strain equations, force-balance equations (ΣF=0), viscoelastic constitutive models (Maxwell, Kelvin–Voigt), curvature equations (Laplace’s law), fluid-mechanical flow equations for tissues, active-gel theory equations for cytoskeletal networks.
Natural SciencesBiologyDevelopmental BiologyOrganogenesis & Multi-Tissue AssemblyBranching-generation equations, reaction–diffusion signaling models, pressure–tension balance equations for lumen stability, mechanical force–balance equations across tissues, ECM remodeling models, growth–curvature differential equations.
Natural SciencesBiologyDevelopmental BiologyGrowth, Timing, Regeneration & Life-Cycle TransitionsGrowth equations (logistic, exponential), hormonal-dynamics ODEs, circadian oscillation models, regeneration-trajectory functions, checkpoint-threshold equations, injury-response activation curves, nutrient–growth rate relationships.
Natural SciencesBiologyDevelopmental BiologyEvolutionary Development (Evo–Devo)GRN dynamical equations, regulatory-threshold models, reaction–diffusion patterning equations adapted to evolutionary simulations, heterochronic timing functions, morphometric divergence equations, fitness landscapes constrained by developmental pathways.
Natural SciencesBiologyEcologyOrganismal EcologyThermal performance curves, metabolic-rate equations, optimal foraging models, energy-budget equations, locomotion–cost models, and equations relating environmental variables to organismal performance.
Natural SciencesBiologyEcologyPopulation EcologyExponential growth (dN/dt = rN), logistic growth (dN/dt = rN(1–N/K)), matrix population models (Leslie/Lefkovitch), metapopulation occupancy equations, and survival/mortality functions.
Natural SciencesBiologyEcologyCommunity EcologyLotka–Volterra competition/predation equations, species–area power functions, diversity indices, interaction-coefficient matrices, trophic-flow equations, and community stability metrics.
Natural SciencesBiologyEcologyEcosystem EcologyProductivity equations (GPP, NPP), mass-balance equations for nutrients, flux equations (NEE = GPP – Reco), stoichiometric constraints (C:N:P ratios), and trophic-transfer models.
Natural SciencesBiologyEcologyLandscape & Spatial EcologyDistance–decay equations, dispersal-kernel functions, landscape-metric formulas (e.g., edge density, patch shape indices), connectivity equations (graph-theoretic metrics), and spatial autoregressive models.
Natural SciencesBiologyEcologyGlobal Ecology & Earth-System InteractionsClimate energy-balance equations, radiative forcing equations (ΔF = 5.35 ln CO₂), global carbon-budget equations, atmospheric circulation equations, nutrient mass-balance equations, and coupled ocean–atmosphere model equations.
Formal SciencesLogicProof TheoryProof CalculiStructural reflection principles (e.g., Γ, A ⊢ B ⇔ Γ ⊢ A → B), normalization equations, proof-equality conditions, cut-reduction equalities, rule-permutation equalities.
Formal SciencesLogicProof TheoryStructural Proof TheoryCut-reduction equalities, permutation equations (e.g., commuting conversions), structural reflection principles, normal-form characterizations, equality of derivations modulo permutation.
Formal SciencesLogicProof TheoryProof Theory of Non-Classical LogicsModal accessibility equations (wRu), resource-balance equations, polarity equations, many-valued truth-transform equations, permutation conversions adapted to non-classical constraints, specialized cut-reduction equalities.
Formal SciencesLogicProof TheoryOrdinal & Strength AnalysisOrdinal equations defining collapsing functions (ψ-systems), Veblen hierarchy equations, fast-growing hierarchy definitions (F_α(n)), induction reflection equivalences, order-type equations.
Formal SciencesLogicProof TheoryProof ComplexityWidth–size tradeoff equations, degree–rank relations, polynomial identities in Nullstellensatz proofs, Cutting Planes inequality derivation equations, depth–size recurrence relations, asymptotic lower-bound identities.
Formal SciencesLogicProof TheoryAutomated & Interactive ReasoningUnification equations, rewrite rules, constraint equations, congruence relations, Boolean propagation equations, SMT theory axioms, rewriting-system reduction equations, term-rewriting or search-cost recurrence relations.
Formal SciencesLogicModel TheoryStructures, Languages & InterpretationsLogical equivalences, satisfaction relations, definitions of embeddings/isomorphisms, compactness statements, ultraproduct constructions.
Formal SciencesLogicModel TheorySatisfaction & Definability TheoryLogical equivalences, satisfaction conditions 𝔐 ⊨ φ(ā), formal definability conditions, diagrammatic constraints, quantifier-elimination identities, Skolemization transformations.
Formal SciencesLogicModel TheoryQuantifier Theory & Model CompletenessFormal equivalence φ ≡ ψ after elimination, satisfaction relations 𝔐 ⊨ ∀x φ, Skolemization equalities, EF-game characterizations of quantifier rank, elementary-embedding equivalences.
Formal SciencesLogicModel TheoryClassification TheoryRank inequalities (e.g., RM(a/A) ≥ RM(a/AB)), forking equivalences, dividing formulas, independence axioms, characterization statements for stability/simplicity/NIP.
Formal SciencesLogicModel TheoryTame / O-Minimal Model TheoryFormal statements of cell decomposition, dimension axioms, monotonicity conditions, piecewise definability rules, projection formulas, quantifier-elimination schemas.
Formal SciencesLogicSet TheoryAxiomatic Foundations & Cumulative HierarchyRank equations (\mathrm{rank}(x)); recursive definitions (V_{\alpha+1} = \mathcal{P}(V_\alpha)); union at limits (V_\lambda = \bigcup_{\beta < \lambda} V_\beta); formal ZFC axiom schemata.
Formal SciencesLogicSet TheoryConstructibility & Inner ModelsRecursive definitions of (L_{\alpha+1} = \mathrm{Def}(L_\alpha)); limit stage equations (L_\lambda = \bigcup_{\beta<\lambda} L_\beta); fine-structure equations for projecta; condensation identities.
Formal SciencesLogicSet TheoryLarge Cardinal TheoryEmbedding equations (j(\kappa) > \kappa); ultrapower definitions; coherence identities for extenders; Mitchell-rank relations; reflection schemata; inequalities governing large-cardinal hierarchies.
Formal SciencesLogicSet TheoryForcing & Independence TheoryForcing relation (p \Vdash \varphi); Boolean-value equations; iteration formulas; collapse definitions; definitions of chain conditions; absoluteness conditions; embedding characterizations for advanced forcing notions.
Formal SciencesLogicSet TheoryDescriptive Set TheoryRank equations for Borel sets; projective recursion equations; Wadge reduction formulas (A \leq_W B); definitions via tree projections; scale inequalities; hierarchies expressed as ordinal-indexed sequences.
Formal SciencesLogicComputability TheoryModels of Computation & Recursive Function Theoryβ-reduction equations, recursion equations, minimization equations, state-transition tables, encoding/decoding bijections, substitution equations, fixed-point equations (e.g., Y combinator).
Formal SciencesLogicComputability TheoryRecursively Enumerable (r.e.) Sets & DegreesReducibility equations (A ≤_T B, A ≡T B), jump equations (A′ = deg{T}(K^A)), limit equations for r.e. approximations (A = lim_s A_s), fixed-point/diagonalization identities, priority-requirement inequalities.
Formal SciencesLogicComputability TheoryReducibility & Degrees of UnsolvabilityReducibility equations (A ≤ₜ B ↔ ∃ oracle machine computing A from B); degree equivalence equations (A ≡ₜ B); jump equations (A′ ≡ₜ K^A); limit equations showing reducibility stabilization; diagonalization identities defining separation.
Formal SciencesLogicComputability TheoryArithmetical & Analytical HierarchiesFormula representations: Q₁ x₁ … Qₙ xₙ φ(x₁…xn); jump equivalence equations: A^(n) corresponds to Σ_{n+1}⁰; reduction equations showing completeness; relativization: Σₙ⁰(A) defined via A-oracle computability; equivalence of normal forms.
Formal SciencesMathematicsAlgebraGroup TheoryGroup axioms: (a·b)·c = a·(b·c), e·a = a, a⁻¹·a = e; conjugation equation: g⁻¹ag; homomorphism property: φ(ab) = φ(a)φ(b); orbit–stabilizer equation:
Formal SciencesMathematicsAlgebraRing TheoryDistributive law: a(b+c)=ab+ac; ideal absorption: rI ⊆ I; homomorphism law: φ(ab)=φ(a)φ(b); ideal–quotient relations; factorization equations; determinant/trace relations (for matrix rings); Gröbner polynomial reduction rules.
Formal SciencesMathematicsAlgebraField TheoryStandardized polynomial factorization workflows; canonical extension-building procedures; structured extraction of Galois groups; fixed protocols for computing discriminants; controlled valuation sampling; consistent norm/trace calculations; uniform tower construction.
Formal SciencesMathematicsAlgebraModule TheoryExactness equations: im(f)=ker(g); tensor–Hom adjunction: Hom(M⊗N,P)≅Hom(M,Hom(N,P)); decomposition formulas over PIDs: M≅R^r ⊕ (⊕ R/(dᵢ)); annihilator equations: ann(rm)=ann(m)∩ann(r); Ext/Tor defining equations.
Formal SciencesMathematicsAlgebraLinear AlgebraAx = b; A = PDP⁻¹ (diagonalization); A = PJP⁻¹ (Jordan form); A = QR; A = UΣV* (SVD); det(A) formulas; rank–nullity: dim(V)=rank(A)+nullity(A); projection: proj_u(v)=((v·u)/(u·u))u; eigenvalue equation: Av=λv.
Formal SciencesMathematicsAlgebraRepresentation TheoryHomomorphism relation: ρ(g₁g₂)=ρ(g₁)ρ(g₂); character equation: χ(g)=trace(ρ(g)); orthogonality relations: ⟨χᵢ,χⱼ⟩=δᵢⱼ (for semisimple categories); weight-space equations: H·v=λ(H)v; tensor decomposition equations; Casimir eigenvalue equations; highest-weight defining relations.
Formal SciencesMathematicsAlgebraUniversal AlgebraIdentities s(x₁,…,xₙ)=t(x₁,…,xₙ); homomorphism relation h(f(x))=f(h(x)); congruence compatibility equations; clone composition equations; HSP closure laws; rewrite rules for term reduction; universal property diagrams.
Formal SciencesMathematicsAlgebraAlgebraic CombinatoricsCauchy identity; RSK insertion/deletion equations; hook-length formula; generating-function recurrences; adjacency eigenvalue equations; Möbius inversion formula; Coxeter relations (s_i^2=e), ((s_i s_j)^{m_{ij}} = e); Kazhdan–Lusztig recursion.
Formal SciencesMathematicsMathematical AnalysisReal AnalysisLimit definitions via ε–δ; derivative: (f'(x)=\lim_{h\to0}\frac{f(x+h)-f(x)}{h}); Riemann integral: limit of Riemann sums; Lebesgue integral: (\int f,d\mu = \sup{\int s,d\mu : s \le f, s \text{ simple}}); measure additivity: (\mu(\cup A_i)=\sum \mu(A_i)); dominated convergence: (\lim \int f_n = \int \lim f_n).
Formal SciencesMathematicsMathematical AnalysisComplex AnalysisCR equations: (u_x = v_y,; u_y = -v_x); Cauchy integral formula: (f(z)=\frac{1}{2\pi i}\int_\gamma \frac{f(\zeta)}{\zeta-z} d\zeta); residue formula: (\mathrm{Res}(f,z_0)=\frac{1}{2\pi i}\int_\gamma f(z),dz); Laurent series; maximum modulus inequalities; Schwarz lemma; mapping properties via (f'(z)).
Formal SciencesMathematicsMathematical AnalysisFunctional AnalysisNorm definitions: ‖x‖; inner product: ⟨x,y⟩; operator norm: ‖T‖ = sup‖Tx‖/‖x‖; spectral equation: Tx = λx; resolvent: (T − λI)⁻¹; weak convergence condition: f(xₙ)→f(x); Parseval identity; Riesz representation theorem; Fourier series/integral expansions; variational formulations via bilinear forms.
Formal SciencesMathematicsMathematical AnalysisHarmonic AnalysisFourier transform: (\widehat{f}(\xi)=\int f(x)e^{-2\pi i x\cdot\xi},dx); convolution: (f*g(x)=\int f(x-y)g(y),dy); Plancherel: (|f|_2=|\widehat{f}|_2); inversion formula; singular integral principal-value limit formulas; wavelet transform equations; Poisson/heat kernels; multiplier operator (T_m f = \mathcal{F}^{-1}(m\widehat{f})).
Formal SciencesMathematicsMathematical AnalysisDifferential Equations (ODE/PDE)ODE: (y’ = f(t,y)); PDE: (u_t = \Delta u) (heat), (u_{tt} = \Delta u) (wave), (-\Delta u = f) (Poisson); Green’s function formulas; weak formulation integrals; semigroup evolution (u(t)=e^{tA}u_0); eigenfunction expansions; divergence form operators; conservation laws (\partial_t \rho + \nabla\cdot J = 0).
Formal SciencesMathematicsGeometry & TopologyDifferential GeometryGeodesic equation; Christoffel-symbol formula; Riemann curvature tensor; Ricci and scalar curvature formulas; Cartan structure equations; differential-form identities; Lie derivative expressions.
Formal SciencesMathematicsGeometry & TopologyAlgebraic GeometryPolynomial equations; ideal descriptions; Gröbner basis relations; divisor and line-bundle relations; cohomology exact sequences; blow-up formulas; intersection-form equations.
Formal SciencesMathematicsGeometry & TopologyMetric GeometryTriangle-inequality structures; curvature comparison inequalities; geodesic equations in metric form; GH-distance formulas; Lipschitz bounds; definitions of tangent cones via blow-up limits.
Formal SciencesMathematicsGeometry & TopologyPoint-Set TopologyClosure/interior operators, continuity condition (f^{-1}(U)), compactness via finite subcovers, definitions of product topology, quotient-map condition, filter/nets convergence relations.
Formal SciencesMathematicsGeometry & TopologyHomotopy TheoryLong exact sequence equations; loop–suspension adjunction formulas; fibration/cofibration exactness relations; homotopy-group definitions; spectral-sequence (E_r) page relations.
Formal SciencesMathematicsGeometry & TopologyKnot TheorySkein relations (Alexander, Jones, HOMFLY-PT); Seifert matrix relations; signature formulas; linking-number computations; Dehn-surgery formulas; adjacency relations in diagram moves; Wirtinger presentation equations.
Formal SciencesMathematicsNumber TheoryElementary Number TheoryCongruence equations; gcd/lcm identities; Euler’s theorem; Fermat’s little theorem; Chinese Remainder isomorphisms; Pell-type equations; recurrence equations; parity identities.
Formal SciencesMathematicsNumber TheoryAlgebraic Number TheoryNorm and trace formulas; discriminant formulas; ideal-factorization formulas; ramification–decomposition–inertia relations; minimal-polynomial equations; valuation identities; local-field expansions.
Formal SciencesMathematicsNumber TheoryAnalytic Number TheoryDirichlet series expansions; Euler-product formulas; functional equations; explicit formulas (e.g., Weil’s formula); asymptotic relations (PNT); approximate functional equations; exponential-sum identities.
Formal SciencesMathematicsNumber TheoryArithmetic GeometryHeight formulas; reduction maps; norm/trace relations; discriminant and conductor formulas; local–global exact sequences; Galois-representation matrices; cohomological exact sequence equations (e.g., Selmer sequence).
Formal SciencesMathematicsNumber TheoryModular and Automorphic Formsq-expansion formulas; Hecke eigenrelations; Euler-product decompositions; functional equations ( \Lambda(s) = \varepsilon \Lambda(1-s) ); spectral expansions; Rankin–Selberg convolution formulas.
Formal SciencesMathematicsNumber TheoryTranscendental Number TheoryHeight inequalities; lower bounds for linear forms (
Social SciencesAnthropologyHuman Evolutionary AnthropologyPopulation-genetic models (Hardy–Weinberg, Wright–Fisher, coalescent); selection-coefficient formulas; allometric scaling equations; biomechanical force models; phylogenetic likelihood equations; isotopic fractionation calculations; demographic divergence/time-to-MRCA models; evolutionary-rate equations.
Social SciencesAnthropologyKinship, Descent & Domestic OrganizationGenealogical distance formulas; household fission–fusion models; demographic equations linking fertility/mortality to household structure; alliance-cycling models; kinship-coefficient calculations (r-values) for relatedness; economic-production functions dependent on household composition; inheritance-distribution equations.
Social SciencesAnthropologyRitual, Cultural Practice & Symbolic SystemsNetwork models of symbolic association; Markov chains for ritual-sequence transitions; agent-based models of performance coordination; cognitive-salience functions; Bayesian models of meaning inference; structural-equivalence mappings; entropy measures for symbolic density; dynamical models of ritual frequency.
Social SciencesAnthropologySubsistence Systems, Environment & Human AdaptationOptimal Foraging Theory equations (E = energy return; C = cost; R = E/C); Patch choice models; caloric-return functions; logistic growth functions for herds; population–resource dynamic equations; niche-construction feedback equations; stability/variability indices; Bayesian habitat-choice models; carrying-capacity functions.
Social SciencesAnthropologyMaterial Culture, Technology & Archaeological InterpretationFracture-mechanics equations; heat-transformation curves for ceramics and metal; statistical models for standardization (coefficient of variation); spatial-density functions; radiometric decay equations; reduction-index calculations; diffusion models of cultural transmission; entropy measures of assemblage diversity; refit-network metrics.
Social SciencesAnthropologyEthnographic Method & Comparative AnalysisCultural consensus equations; similarity/distance metrics for coded traits; network centrality calculations; diffusion rate equations; regression models linking cultural variables; Bayesian inference models for cultural transmission; entropy or diversity measures for cultural domains; Markov models of interaction sequences.
Social SciencesEconomicsChoice (Microeconomic Foundations)Utility maximization: (\max u(x)) s.t. (px \leq m); MRS: (MU_1/MU_2 = p_1/p_2); Indirect utility & expenditure functions; Expected utility: (U = \sum p_i u(x_i)); FOCs & KKT: (\nabla u(x) = \lambda p); Bellman: (V(s)=\max_{a}[u(a)+\beta V(f(s,a))]); Cost minimization: (\min c(x)) given output; Elasticities: (E = (d x / d p)(p / x)).
Social SciencesEconomicsInteraction (Markets, Strategy & Mechanisms)Best-response: (s_i^(s_{-i}) = \arg\max u_i(s_i, s_{-i})); Nash: (s_i^ = s_i^(s_{-i}^)); Market clearing: (\sum_i x_i(p)=\sum_j y_j(p)); IC: (u_i(t_i, M(t_i)) \ge u_i(t_i, M(t_i’))); Auction payment rules; Matching stability constraints: no blocking pairs; Contract FOCs: marginal benefit = marginal cost; Belief updating: Bayes’ rule.
Social SciencesEconomicsAggregation & Dynamics (Macroeconomic Systems)Dynamic budget constraints; production functions (Y = F(K, L, A)); capital law of motion (K’ = (1-\delta)K + I); Euler equation (u'(C_t) = \beta u'(C_{t+1})(1+r_{t+1})); New Keynesian Phillips curve; Taylor rule; aggregate resource constraint; VAR/SVAR systems; transition equations in DSGE frameworks; solvency and government budget constraints.
Social SciencesGeography (Human)Spatial Patterns & Spatial AnalysisGravity model: ( I_{ij} = k \frac{P_i P_j}{d_{ij}^b} ); Huff model for retail probability; spatial autocorrelation equations (Moran’s I); kernel density estimators; distance-decay functions; location-allocation optimization equations; spatial regression models; spatial lag and spatial-error models; flow-matrix transformations.
Social SciencesGeography (Human)Mobility, Flows & ConnectivityGravity model ( I_{ij} = k \frac{P_i P_j}{d_{ij}^b} ); intervening-opportunities models; distance-decay functions; network centrality measures (degree, betweenness, eigenvector); capacity–flow equations; latency functions; migration differential equations; percolation thresholds; routing optimization equations; Markov mobility-transition models.
Social SciencesGeography (Human)Human–Environment Interaction & Landscape ModificationSoil-erosion equations (e.g., RUSLE); hydrological flow equations; carbon-budget calculations; nutrient-cycle equations; diffusion models of land-use change; feedback-system differential equations; hazard probability equations; resilience metrics; carrying-capacity equations; population–resource dynamic models; albedo–temperature equations for urban heat islands.
Social SciencesGeography (Human)Place, Territory & Spatial ExperienceSpatial preference functions; attachment-strength models; probability surfaces for territorial behavior; visibility/line-of-sight equations; affordance-weighting functions; cognitive-map distortion metrics; segregation and exclusion indices; narrative-density distributions; boundary permeability models.
Social SciencesLinguisticsPhonetics & PhonologyFeature-matrix representations; rule formalizations (A → B / X__Y); Optimality Theory constraint rankings; syllable-weight functions; tone-target interpolation formulas; gestural coordination timing equations.
Social SciencesLinguisticsMorphologyFeature–form mappings; morphotactic templates; allomorph-selection rules; rule schemas (X → Y / context); constraint rankings (OT); paradigm-function morphology equations; stem-selection or alternation formulas.
Social SciencesLinguisticsSyntaxFeature-unification operations; movement-requirement equations; constraint-violation scoring (OT); dependency-graph formalisms; derivational step representations; locality-domain formulas; case/agreement matrices.
Social SciencesLinguisticsSemanticsλ-calculus expressions; semantic-type signatures; truth-condition equations; quantifier-binding formulas; event-semantic representations (e.g., e, t, v types); intensional operators; semantic composition rules (function application, predicate modification).
Social SciencesLinguisticsPragmaticsContext-update functions; presupposition-projection formulas; relevance-weighting functions; dynamic-semantics update rules; information-state transition diagrams; probabilistic inference models.
Social SciencesPolitical SciencePolitical Institutions & Formal Political OrderVeto-player stability condition: more veto players → smaller winset of status quo; Seat allocation formulas (D’Hondt, Sainte-Laguë); Median-voter theorem; Constitutional constraint relations (e.g., override thresholds); Bargaining equations; Judicial review decision models; Federal-transfer formulas; Legislative productivity models.
Social SciencesPolitical SciencePolitical Behavior, Mobilization & Collective ActionThreshold participation condition: participate if (u_i – c_i + k(\text{others}) ≥ 0); Opinion-update equations in bounded-confidence or Bayesian models; Network contagion models; Utility of participation vs abstention; Identity alignment functions; Protest diffusion equations; Persuasion models using signal-updating; Coordination-game payoff matrices.
Social SciencesPolitical ScienceGovernance, Policy Formation & State CapacityPrincipal–agent models: (effort = f(incentives, monitoring)); Corruption probability models; Fiscal extraction equations: (T = t \cdot Y); Administrative capacity functions; Compliance functions: (compliance = g(costs, monitoring, sanctions)); Policy-production functions linking capacity to outputs; Interagency coordination models (game-theoretic).
Social SciencesPolitical ScienceInternational Relations & Global OrderDeterrence payoff models; power-transition equations; alliance game matrices; crisis bargaining models (Fearon-type signaling equations); gravity trade equations; institutional compliance probability models; arms-race differential equations; reputation-update functions under repeated interactions; network diffusion equations for norms.
Social SciencesPsychologyCognitive Processes & Mental ArchitectureDrift-diffusion decision equations; signal-detection formulas (d′, β); memory-decay functions; activation–decay differential equations; Bayesian inference models; connectionist activation-update rules; production-system rules.
Social SciencesPsychologyLearning, Conditioning & Behavioral MechanismsAssociative-strength update equations (e.g., ΔV = αβ(λ–V)); reinforcement-probability functions; extinction-rate curves; generalization-gradient functions; prediction-error formulas; habit-strength growth models.
Social SciencesPsychologyEmotion, Motivation & Affect RegulationArousal–recovery functions; reward-prediction error equations; habituation/sensitization curves; appraisal-weighting models; regulation-effectiveness functions; stress–response models; utility-based motivational equations.
Social SciencesPsychologyDevelopment, Individual Differences & PsychometricsFactor model equations; IRT models (1PL/2PL/3PL, graded response); reliability equations (α, ω); variance decomposition formulas; latent-growth-curve equations; SEM path equations; standardization transformations (z-scores, T-scores).
Social SciencesSociologySocial Interaction MechanismsTurn-taking probability models; emotional-response functions; symbolic-interpretation mapping frameworks; micro-sequence transition diagrams; interaction-ritual chain diagrams; expectation–behavior feedback models.
Social SciencesSociologySocial Structure MechanismsMobility-flow matrices; inequality-index formulas (Gini, Theil); transition-probability models; network-centrality equations; boundary-permeability functions; organizational-hierarchy models; rule-violation probability models.
Social SciencesSociologySocial Network & Relational DynamicsCentrality measures (degree, betweenness, eigenvector); clustering formulas; diffusion and contagion equations; triadic-closure probabilities; structural-equivalence metrics; stochastic block model equations; preferential-attachment formulas.