RESEARCH BASE
Search 3,721 documents across 34 fields — every claim tier-rated by evidence
3,633 are the core, quality-scored corpus (34 lettered sections — see How We Work); the remaining 88 are cross-corpus synthesis documents (68 InterDocs, 12 Connections, 8 Theories) also indexed here.
24 results for "tensor calculus" — page 1 of 2
V_3_10 — Tensor Calculus and Differential Geometry: The Mathematics of Curved Spaces
Tensor calculus and differential geometry provide the mathematical language for describing curved spaces — from the geometry of Earth's surface to the curvature of spacetime in general relativity. Developed through the w
ZD_1_08 — Lambda Calculus and Functional Programming
Lambda calculus, invented by Alonzo Church in the 1930s as a formal system for expressing computation via function abstraction and application, stands alongside Turing machines as a foundational model of computation. Chu
ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence
Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t
V_2_05 — Calculus & Infinitesimals: Newton, Leibniz & the Kerala School
Calculus — the mathematics of continuous change — is arguably the most powerful intellectual tool ever created, enabling the scientific revolution, modern physics, engineering, economics, and computation.
Q_4_05 — Modified Gravity Theories
Modified gravity theories propose that the observed discrepancies between luminous matter and gravitational dynamics — traditionally attributed to dark matter — instead result from a breakdown or modification of Newtonia
Q_4_13 — Classical Mechanics: Newton, Lagrange, Hamilton, and the Action Principle
Classical mechanics — the study of the motion of bodies under the action of forces — is the oldest and most mature branch of physics, tracing from Galileo's kinematics (1638) and Newton's three laws and universal gravita
Q_4_01 — Primordial Gravitational Waves and B-Mode Polarization
Primordial gravitational waves — ripples in spacetime generated during cosmic inflation — represent one of the most sought-after signals in cosmology. Their detection would provide direct evidence that inflation occurred
G_4_17 — Microbiome Archaeology — Ancient Gut and Soil Microbes
Microbiome archaeology — the extraction and analysis of ancient microbial communities from archaeological materials (dental calculus, coprolites, mummified remains, soil sediments, ceramics) — has emerged since ~2012 as
ZD_1_12 — Information Geometry and Fisher Information
Information geometry is the mathematical field that applies differential geometry — the mathematics of curved spaces, manifolds, metrics, and connections — to the study of probability distributions and statistical models
ZD_1_11 — Turing Machine, Computability, and the Limits of Computation
The Turing machine — a mathematical model of computation defined by Alan Turing in his 1936 paper "On Computable Numbers, with an Application to the Entscheidungsproblem" — is the foundational formalism of theoretical co
ZD_5_12 — Edge AI and TinyML: On-Device Machine Learning and Embedded Intelligence
Edge AI is the deployment of artificial intelligence algorithms on devices at the "edge" of the network — smartphones, embedded systems, cameras, sensors, wearables, industrial controllers, autonomous vehicles, and drone
L_4_05 — Paleogenomics Methods and Ancient DNA
Paleogenomics — the study of ancient genomes — has transformed archaeology, anthropology, and evolutionary biology over the past two decades, recognized by the 2022 Nobel Prize in Physiology or Medicine awarded to Svante
L_4_04 — Ancient Proteomics and Paleoproteomics
Paleoproteomics — the recovery and analysis of ancient proteins from archaeological and paleontological specimens — has emerged as a revolutionary complement to ancient DNA (aDNA), dramatically extending the temporal and
L_5_04 — Ancient Microbiome and Paleomicrobiology
Paleomicrobiology — the study of ancient microorganisms through the application of molecular techniques (ancient DNA extraction, metagenomics, proteomics) to archaeological and paleontological material — has revolutioniz
P_5_13 — Leibniz: Monads, Theodicy, and Pre-Established Harmony
Gottfried Wilhelm Leibniz (1646–1716) was among the most versatile intellects in Western history — a mathematician, philosopher, logician, diplomat, jurist, historian, and engineer who co-invented the infinitesimal calcu
P_2_10 — Utilitarianism: Bentham, Mill, Singer, and Consequentialist Ethics
Utilitarianism is the ethical theory that the morally right action in any situation is the one that produces the greatest overall happiness (or well-being, or preference satisfaction) for the greatest number of those aff
ZE_1_05 — Utilitarianism and Consequentialism
Consequentialism is the family of ethical theories holding that the moral rightness of an action depends entirely on its consequences — what matters is the outcome, not the motive or the nature of the act itself. Utilita
ZA_2_08 — Modified Gravity Theories: MOND, f(R), and Alternatives to Dark Matter
Modified gravity theories attempt to explain the "missing mass" problem — the discrepancy between observed gravitational effects and visible matter — without invoking dark matter particles. The most empirically successfu
ZA_2_06 — Spacetime Geometry: Minkowski, Causal Structure, and Light Cones
Spacetime — the four-dimensional continuum unifying space and time — is the arena in which all physics takes place. Einstein's special relativity (1905) revealed that space and time are not separate absolutes but are int
V_1_16 — History of Mathematical Notation: Symbols, Conventions, and Communication
The history of mathematical notation reveals that mathematics is not merely a body of truths but also a system of communication whose power depends critically on the symbols used to express it. Good notation does not mer
BROWSE BY SECTION — 3,721 documents across 34 fields