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.
1,463 results for "Bi Sheng" — page 61 of 74
V_4_05 — Origami Mathematics and Paper Folding
Origami — the art of paper folding — conceals a rich mathematical framework that has emerged as a serious branch of computational geometry with applications from space engineering to medical devices. The mathematics of o
V_4_04 — Unsolved Problems in Mathematics
Mathematics has always been driven by problems that resist solution — conjectures so deep that their resolution reshapes entire fields. The Clay Mathematics Institute's seven Millennium Prize Problems ($1 million each, a
V_4_17 — Quantum Computing Algorithms: From Shor's Factoring to Variational Quantum Eigensolvers
Quantum computing exploits the principles of quantum superposition, entanglement, and interference to perform computations that are intractable for classical computers. The field was conceptually launched by Richard Feyn
V_4_01 — Discrete Mathematics and Logic
Discrete mathematics — the study of mathematical structures that are countable, separated, or distinct (as opposed to continuous) — provides the theoretical bedrock for computer science, digital communication, and rigoro
V_4_07 — Chaos Theory Applications: Sensitivity, Strange Attractors, and Prediction
Chaos theory — the study of deterministic systems that exhibit sensitive dependence on initial conditions — is one of the most consequential mathematical discoveries of the 20th century, fundamentally altering our unders
V_4_23 — Shannon Information Theory: Entropy, Communication, and the Mathematical Theory of Information
Claude Elwood Shannon (1916–2001) published "A Mathematical Theory of Communication" in the Bell System Technical Journal in July and October 1948, founding the field of information theory. Shannon defined information qu
V_4_15 — Formal Verification: Proving Programs Correct
Formal verification — the use of rigorous mathematical methods to prove that a software or hardware system satisfies its specification — aims to provide absolute correctness guarantees, going beyond testing (which can re
V_4_24 — Chaos Theory: Nonlinear Dynamics, Strange Attractors, and the Butterfly Effect
Chaos theory — the study of deterministic systems exhibiting sensitive dependence on initial conditions — emerged in the 1960s–70s as a revolutionary insight: simple mathematical equations can produce behavior so complex
V_4_11 — Coding Theory: Error Detection, Correction, and Information Integrity
Coding theory — the mathematical study of error-detecting and error-correcting codes — ensures the reliable transmission and storage of digital information across noisy communication channels, corrupted storage media, an
V_3_11 — Mathematical Optimization: Linear Programming, Convex Methods, and Gradient Descent
Mathematical optimization — finding the best solution from a set of feasible alternatives — is one of the most practically impactful branches of mathematics, with applications spanning logistics, finance, engineering, ma
V_3_06 — Differential Equations: Modeling Change and Dynamics
Differential equations describe how quantities change and are the primary mathematical language of physics, engineering, biology, and economics. From Newton's second law (F = ma, a second-order ODE) to Einstein's field e
V_3_03 — Chaos Theory & Fractals: Mathematics of Complexity
Chaos theory — the mathematical study of systems that are deterministic yet unpredictable — represents one of the most profound discoveries of 20th-century mathematics. Edward Lorenz (1963) discovered that a simple syste
V_2_02 — Topology & Knot Theory: Celtic Knots to DNA
Topology — the study of properties preserved under continuous deformation (stretching, bending, but not tearing or gluing) — originated with Euler's solution to the Königsberg bridge problem (1736) and evolved into one o
V_2_07 — Formal Logic: Aristotle to Turing
Formal logic — the systematic study of valid inference — spans 2,400 years from Aristotle's syllogistic (c. 350 BCE) to Turing's computation theory (1936). Aristotle's Organon established the syllogism as the fundamental
V_2_20 — Gödel's Incompleteness Theorems — Philosophical Implications
Kurt Gödel's incompleteness theorems, published in 1931 in the paper "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I," constitute one of the most profound results in the history of l
V_2_13 — Measure Theory and Integration
Measure theory provides the rigorous mathematical foundation for the concepts of length, area, volume, and probability — and the integration theory built upon them. Developed primarily by Henri Lebesgue (1902), it resolv
V_2_15 — Galois Theory and Field Extensions
Galois theory, developed by Évariste Galois (1811-1832) in the last years of his tragically short life, is one of the great triumphs of abstract algebra — a theory connecting field extensions to group theory that definit
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.
V_2_03 — History of Algebra: Al-Khwarizmi to Group Theory
Algebra — the generalization of arithmetic to unknown quantities and their relationships — has a 4,000-year documented history, from Babylonian equation-solving tablets (c. 1800 BCE) through Brahmagupta's Indian treatise
V_2_12 — Algebraic Geometry
Algebraic geometry — the study of geometric objects defined by polynomial equations — is one of the most central and technically demanding branches of modern mathematics, connecting algebra, geometry, topology, and numbe
BROWSE BY SECTION — 3,721 documents across 34 fields