Bibliography · Browse

Browse Bibliography

All 1,125 references in the research corpus — filter by domain, role, type, citation status, book, and decade.

Download references.bib

The Bibliography collection contains 1,125 references spanning mathematics, physics, biology, philosophy, and computation. Every reference has been reviewed and classified, and 210 of them are directly cited in the seven-book series by at least one chapter. Every entry is pre-rendered below as a card — the page is fully crawlable and readable without JavaScript. With JavaScript enabled, the six filter groups and three sort modes narrow and reorder the view interactively, and the active filter state is shared via the URL.

Use the controls below to narrow down, or open a reference directly to see its detail page with the full citation, the “Cited in” section for cited entries, and the editorial prose explaining why the reference is included.

Domain
Role
Type
Status
Cited in
Decade
Sort
1125 of 1125 references
  1. Cited 2× Category Theory Article

    Category τ and the Conformal Primon Gas

    Fuchs, Thorsten and Fuchs, Anna-Sophie (2026)
    Formal Antecedent Book V
  2. Cited 2× Foundations and Logic Article

    The Conformal Primon Gas at the End of Time

    Hartnoll, Sean A. and Yang, Mao (2025)
    Formal Antecedent Book V
  3. In corpus Number Theory and Analysis Miscellaneous

    The L‑functions and Modular Forms Database

    LMFDB Collaboration (2025)
    Domain Context
  4. Cited 3× Foundations and Logic Article

    Foundations of Substructural Dependent Type Theory

    Daniel Gratzer and Jonathan Sterling (2024)
    Formal Antecedent Book I
  5. Cited 3× Foundations and Logic Conference Paper

    A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized

    Andreas Abel and Nils Anders Danielsson and Andrea Vezzosi (2023)
    Formal Antecedent Book I
  6. In corpus Foundations and Logic Article

    Discrete residue analogues on finite abelian groups

    Author, A. (2023)
    Formal Antecedent
  7. Cited 5× Foundations and Logic PhD Thesis

    An Exegesis of Transcendental Syntax

    Boris Eng (2023)
    Formal Antecedent Book I
  8. Cited 2× Foundations and Logic Article

    Two-Level Type Theory and Applications

    Danil Annenkov and Paolo Capriotti and Nicolai Kraus and Christian Sattler (2023)
    Formal Antecedent Book I
  9. Cited 5× Category Theory Article

    For the Metatheory of Type Theory, Internal Sconing Is Enough

    Rafaël Bocquet and Ambrus Kaposi and Christian Sattler (2023)
    Formal Antecedent Book I
  10. Cited 2× Physics Article

    First Sagittarius A* Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole in the Center of the Milky Way

    Event Horizon Telescope Collaboration (2022)
    Domain Context Book V
  11. In corpus Physics Article

    First Sagittarius A* Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole in the Center of the Milky Way

    Event Horizon Telescope Collaboration and Akiyama, Kazunori and others (2022)
    Domain Context
  12. In corpus Physics Article

    Direct neutrino-mass measurement with sub-electronvolt sensitivity

    KATRIN Collaboration (2022)
    Domain Context
  13. In corpus Physics Article

    Review of Particle Physics

    Particle Data Group (2022)
    Domain Context
  14. In corpus Physics Article

    A Comprehensive Measurement of the Local Value of the Hubble Constant with 1 km s⁻¹ Mpc⁻¹ Uncertainty from the Hubble Space Telescope and the SH0ES Team

    Riess, Adam G. and others (2022)
    Domain Context
  15. Cited 3× Category Theory Article

    Native Type Theory

    Christian Williams and Michael Stay (2021)
    Formal Antecedent Book I
  16. In corpus Physics Article

    CODATA recommended values of the fundamental physical constants: 2018

    Eite Tiesinga and others (2021)
    Domain Context
  17. In corpus Physics Article

    Improved Measurement of the Free Neutron Lifetime

    F. M. Gonzalez and others (2021)
    Domain Context
  18. In corpus Physics Article

    Measurements of the Hubble Constant: Tensions in Perspective

    Freedman, Wendy L. (2021)
    Domain Context
  19. In corpus Life and Biology Article

    Highly Accurate Protein Structure Prediction with AlphaFold

    Jumper, John and others (2021)
    Domain Context
  20. In corpus Foundations and Logic Book

    The Coq Proof Assistant Reference Manual

    The Coq Development Team (2021)
    Formal Antecedent
  21. In corpus Physics Article

    Quantum Biology Revisited

    Cao, Jianshu and Cogdell, Richard J. and Coker, David F. and Duan, Hong-Guang and Hauer, Jürgen and Kleinekathöfer, Ulrich and Jansen, Thomas L. C. and Mančal, Tomáš and Miller, R. J. Dwayne and Ogilvie, Jennifer P. and Prokhorenko, Valentyn I. and Renger, Thomas and Tan, Howe-Siang and Tempelaar, Roel and Thorwart, Michael and Thyrhaug, Erling and Westenhoff, Sebastian and Zigmantas, Donatas (2020)
    Domain Context
  22. Cited 5× Category Theory Article

    Gödel Incompleteness through Arithmetic Universes after A.~Joyal

    Joost van Dijk and Alexander Gietelink Oldenziel (2020)
    Formal Antecedent Book I
  23. In corpus Number Theory and Analysis Miscellaneous

    The L-functions and Modular Forms Database

    LMFDB Collaboration (2020)
    Domain Context
  24. In corpus Foundations and Logic Article

    Determination of the fine-structure constant with an accuracy of 81 parts per trillion

    Léo Morel and others (2020)
    Formal Antecedent
  25. In corpus Foundations and Logic Article

    Mathematical study of scattering resonances

    M. Zworski (2020)
    Formal Antecedent
  26. In corpus Foundations and Logic Article

    Planck 2018 results. VI. Cosmological parameters

    Planck Collaboration (2020)
    Formal Antecedent
  27. In corpus Foundations and Logic Article

    Planck 2018 results. VI. Cosmological parameters

    Planck Collaboration (2020)
    Formal Antecedent
  28. Cited 16× Foundations and Logic Article

    Planck 2018 Results. VI. Cosmological Parameters

    Planck Collaboration and Aghanim, N. and others (2020)
    Formal Antecedent Book V
  29. In corpus Life and Biology Book

    Entangled Life: How Fungi Make Our Worlds, Change Our Minds & Shape Our Futures

    Sheldrake, Merlin (2020)
    Domain Context
  30. In corpus Physics Article

    Search for proton decay via p → e⁺π⁰ and p → μ⁺π⁰ with an enlarged fiducial volume in Super-Kamiokande I-IV

    Super-Kamiokande Collaboration (2020)
    Domain Context
  31. In corpus Topology and Geometry Miscellaneous

    Selected works on algorithmic divisor class groups and computational algebraic geometry

    Various (2020)
    Domain Context
  32. In corpus Foundations and Logic Book

    Something Deeply Hidden: Quantum Worlds and the Emergence of Spacetime

    Carroll, Sean M. (2019)
    Formal Antecedent
  33. Cited 4× Physics Article

    First M87 Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole

    Event Horizon Telescope Collaboration (2019)
    Domain Context Book V
  34. In corpus Physics Article

    First M87 Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole

    Event Horizon Telescope Collaboration and Akiyama, Kazunori and others (2019)
    Domain Context
  35. In corpus Category Theory Article

    All (∞,1)-Toposes Have Strict Univalent Universes

    Michael Shulman (2019)
    Formal Antecedent
  36. In corpus Foundations and Logic Miscellaneous

    The Lean Theorem Prover and Its Mathematics Library

    Jeremy Avigad and Leonardo de Moura and others (2018)
    Formal Antecedent
  37. In corpus Topology and Geometry Book

    Introduction to Riemannian Manifolds

    John M. Lee (2018)
    Domain Context
  38. In corpus Foundations and Logic Article

    Creative telescoping for rational functions using the Griffiths–Dwork method

    Lairez, Pierre (2018)
    Formal Antecedent
  39. In corpus Physics Article

    Measurement of the fine-structure constant as a test of the Standard Model

    Richard H. Parker and others (2018)
    Domain Context
  40. Cited 1× Foundations and Logic Book

    Thin Objects: An Abstractionist Account

    Ø ystein Linnebo (2018)
    Formal Antecedent Book I
  41. Cited 1× Physics Article

    GW170817: Observation of Gravitational Waves from a Binary Neutron Star Inspiral

    Abbott, B. P. and others (2017)
    Domain Context Book IV
  42. In corpus Category Theory Book

    Theories, sites, toposes

    Caramello, Olivia (2017)
    Foundational Source
  43. In corpus Topology and Geometry Book

    Stein manifolds and holomorphic mappings

    Forstnerič, Franc (2017)
    Domain Context
  44. In corpus Number Theory and Analysis Article

    Arb: Efficient arbitrary-precision midpoint-radius interval arithmetic

    Johansson, Fredrik (2017)
    Domain Context
  45. In corpus Topology and Geometry Book

    Riemannian Geometry and Geometric Analysis

    Jürgen Jost (2017)
    Domain Context
  46. In corpus Foundations and Logic Book

    Lehninger Principles of Biochemistry

    Nelson, David L. and Cox, Michael M. (2017)
    Formal Antecedent
  47. In corpus Category Theory Book

    Category Theory in Context

    Riehl, Emily (2017)
    Foundational Source
  48. In corpus Foundations and Logic Book

    Why We Sleep: Unlocking the Power of Sleep and Dreams

    Walker, Matthew P. (2017)
    Formal Antecedent
  49. Cited 5× Physics Article

    Observation of Gravitational Waves from a Binary Black Hole Merger

    Abbott, B. P. and others (2016)
    Domain Context Book V
  50. In corpus Category Theory Book

    Category Theory in Context

    Emily Riehl (2016)
    Foundational Source
  51. In corpus Foundations and Logic Book

    A Course in Abstract Harmonic Analysis

    Folland, Gerald B. (2016)
    Domain Context
  52. In corpus Life and Biology Book

    Developmental Biology

    Gilbert, Scott F. (2016)
    Domain Context
  53. In corpus Foundations and Logic Book

    Lectures on K3 Surfaces

    Huybrechts, Daniel (2016)
    Formal Antecedent
  54. Cited 4× Foundations and Logic Unpublished

    Transcendental Syntax I: Deterministic Case

    Jean-Yves Girard (2016)
    Formal Antecedent Book I
  55. In corpus Life and Biology Book

    Molecular Cell Biology

    Lodish, Harvey and Berk, Arnold and Kaiser, Chris A. and Krieger, Monty and Bretscher, Anthony and Ploegh, Hidde and Amon, Angelika and Martin, Kelsey C. (2016)
    Domain Context
  56. In corpus Life and Biology Article

    A quadratic upper bound on Reidemeister moves

    Marc Lackenby (2016)
    Domain Context
  57. In corpus Foundations and Logic Book

    An introduction to the theory of reproducing kernel Hilbert spaces

    Paulsen, Vern I. and Raghupathi, Mrinal (2016)
    Domain Context
  58. In corpus Physics Article

    CODATA Recommended Values of the Fundamental Physical Constants: 2014

    Peter J. Mohr and David B. Newell and Barry N. Taylor (2016)
    Domain Context
  59. In corpus Foundations and Logic Article

    Computing periods of rational integrals

    Pierre Lairez (2016)
    Formal Antecedent
  60. In corpus Foundations and Logic Miscellaneous

    Finite time blowup for an averaged three-dimensional Navier–Stokes equation

    Terence Tao (2016)
    Formal Antecedent
  61. In corpus Life and Biology Article

    Finite time blowup for an averaged Navier–Stokes equation

    Terence Tao (2016)
    Domain Context
  62. Cited 5× Foundations and Logic Conference Paper

    Type Theory in Type Theory Using Quotient Inductive Types

    Thorsten Altenkirch and Ambrus Kaposi (2016)
    Formal Antecedent Book I
  63. In corpus Physics Article

    Integrated Information Theory: From Consciousness to Its Physical Substrate

    Tononi, Giulio and Boly, Melanie and Massimini, Marcello and Koch, Christof (2016)
    Domain Context
  64. In corpus Topology and Geometry Book

    Ideals, varieties, and algorithms

    Cox, David A. and Little, John and O'Shea, Donal (2015)
    Domain Context
  65. In corpus Life and Biology Book

    The Vital Question: Energy, Evolution, and the Origins of Complex Life

    Lane, Nick (2015)
    Domain Context
  66. In corpus Foundations and Logic Book

    Brilliant Green: The Surprising History and Science of Plant Intelligence

    Mancuso, Stefano and Viola, Alessandra (2015)
    Formal Antecedent
  67. In corpus Life and Biology Article

    Oxytocin-Gaze Positive Loop and the Coevolution of Human-Dog Bonds

    Miho Nagasawa and others (2015)
    Domain Context
  68. In corpus Foundations and Logic Book

    Principles of Development

    Wolpert, Lewis and Tickle, Cheryll and Martinez Arias, Alfonso (2015)
    Formal Antecedent
  69. In corpus Foundations and Logic Conference Paper

    The Lean Theorem Prover (System Description)

    de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and van Doorn, Floris and von Raumer, Jakob (2015)
    Formal Antecedent
  70. In corpus Physics Book

    Life on the Edge: The Coming of Age of Quantum Biology

    Al-Khalili, Jim and McFadden, Johnjoe (2014)
    Domain Context
  71. In corpus Life and Biology Book

    Molecular Biology of the Cell

    Alberts, Bruce and Johnson, Alexander and Lewis, Julian and Morgan, David and Raff, Martin and Roberts, Keith and Walter, Peter (2014)
    Domain Context
  72. Cited 1× Foundations and Logic Conference Paper

    On the Broader Epistemological Significance of Self-Justifying Axiom Systems

    Dan E. Willard (2014)
    Formal Antecedent Book I
  73. Cited 1× Life and Biology Book

    Consciousness and the Brain: Deciphering How the Brain Codes Our Thoughts

    Dehaene, Stanislas (2014)
    Domain Context Book VII
  74. In corpus Category Theory PhD Thesis

    Sheaves, Cosheaves and Applications

    Justin M. Curry (2014)
    Formal Antecedent
  75. In corpus Foundations and Logic Book

    Magnetohydrodynamics of the Sun

    Priest, Eric R. (2014)
    Formal Antecedent
  76. In corpus Topology and Geometry Book

    Elementary Applied Topology

    Robert Ghrist (2014)
    Domain Context
  77. In corpus Physics Article

    The Confrontation Between General Relativity and Experiment

    Will, Clifford M. (2014)
    Domain Context
  78. In corpus Metaphysics and Philosophy Book

    The Epistemology of Disagreement: New Essays

    David Christensen and Jennifer Lackey (2013)
    Conceptual Bridge
  79. In corpus Foundations and Logic Article

    Spectra of combinatorial Laplacians

    Dinko Horak and Jürgen Jost (2013)
    Formal Antecedent
  80. In corpus Physics Article

    Statistical Physics of Self-Replication

    England, Jeremy L. (2013)
    Domain Context
  81. In corpus Number Theory and Analysis Article

    An algorithm to compute the Riemann zeta function in quasilinear time

    G. A. Hiary (2013)
    Domain Context
  82. In corpus Computation and Complexity Book

    Matrix Computations

    Golub, Gene H. and Van Loan, Charles F. (2013)
    Domain Context
  83. Cited 2× Physics Book

    Introduction to Quantum Graphs

    Gregory Berkolaiko and Peter Kuchment (2013)
    Domain Context Book III
  84. In corpus Foundations and Logic Book

    Modern Computer Algebra

    Joachim von zur Gathen and Jürgen Gerhard (2013)
    Formal Antecedent
  85. In corpus Number Theory and Analysis Miscellaneous

    mpmath: a Python library for arbitrary-precision floating-point arithmetic

    Johansson, Fredrik (2013)
    Domain Context
  86. In corpus Physics Article

    Quantum Biology

    Lambert, Neill and Chen, Yueh-Nan and Cheng, Yuan-Chung and Li, Che-Ming and Chen, Guang-Yin and Nori, Franco (2013)
    Domain Context
  87. In corpus Computation and Complexity Book

    Introduction to the Theory of Computation

    Michael Sipser (2013)
    Domain Context
  88. Cited 3× Category Theory Book

    Homotopy Type Theory: Univalent Foundations of Mathematics

    The Univalent Foundations Program (2013)
    Foundational Source Book I
  89. In corpus Foundations and Logic Book

    Homotopy Type Theory: Univalent Foundations of Mathematics

    Univalent Foundations Program (2013)
    Formal Antecedent
  90. In corpus Foundations and Logic Book

    Advances in Hypercomplex Analysis

    Unknown (2013)
    Formal Antecedent
  91. In corpus Category Theory Miscellaneous

    Differential cohomology in a cohesive infinity-topos

    Urs Schreiber (2013)
    Formal Antecedent
  92. In corpus Foundations and Logic Book

    Modern computer algebra

    von zur Gathen, Jürgen and Gerhard, Jürgen (2013)
    Formal Antecedent
  93. In corpus Physics Article

    Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC

    ATLAS Collaboration (2012)
    Domain Context
  94. Cited 1× Physics Article

    Observation of a New Particle in the Search for the Standard Model Higgs Boson

    ATLAS Collaboration (2012)
    Domain Context Book IV
  95. In corpus Physics Article

    Observation of a New Particle in the Search for the Standard Model Higgs Boson with the ATLAS Detector at the LHC

    ATLAS Collaboration and Aad, Georges and others (2012)
    Domain Context
  96. Cited 1× Physics Article

    Observation of a new boson at a mass of 125 GeV with the CMS experiment at the LHC

    CMS Collaboration (2012)
    Domain Context Book IV
  97. In corpus Physics Article

    Observation of a New Boson at a Mass of 125 GeV with the CMS Experiment at the LHC

    CMS Collaboration and Chatrchyan, Serguei and others (2012)
    Domain Context
  98. In corpus Foundations and Logic Article

    Discrete complex analysis on isoradial graphs

    Chelkak, Dmitry and Smirnov, Stanislav (2012)
    Formal Antecedent
  99. In corpus Foundations and Logic Article

    Discrete complex analysis on isoradial graphs

    Chelkak, Dmitry and Smirnov, Stanislav (2012)
    Formal Antecedent
  100. In corpus Topology and Geometry Book

    Complex analytic and differential geometry

    Demailly, Jean-Pierre (2012)
    Domain Context
  101. In corpus Topology and Geometry Book

    The Geometry of Physics: An Introduction

    Frankel, Theodore (2012)
    Domain Context
  102. In corpus Number Theory and Analysis Article

    Freezing transition, characteristic polynomials of random matrices, and the Riemann zeta function

    Fyodorov, Y. V. and Hiary, G. A. and Keating, J. P. (2012)
    Domain Context
  103. Cited 2× Life and Biology Book

    Phi: A Voyage from the Brain to the Soul

    Giulio Tononi (2012)
    Domain Context Book VII
  104. Cited 1× Foundations and Logic Article

    The Set-Theoretic Multiverse

    Joel David Hamkins (2012)
    Formal Antecedent Book I
  105. Cited 1× Foundations and Logic Article

    The Set-Theoretic Multiverse: A Natural Context for Set Theory

    Joel David Hamkins (2012)
    Formal Antecedent Book I
  106. In corpus Topology and Geometry Book

    Geometry of Möbius transformations: Erlangen program at large

    Kisil, Vladimir V. (2012)
    Domain Context
  107. In corpus Metaphysics and Philosophy Book

    Consciousness: Confessions of a Romantic Reductionist

    Koch, Christof (2012)
    Conceptual Bridge
  108. In corpus Topology and Geometry Book

    Knots and Primes: An Introduction to Arithmetic Topology

    Masanori Morishita (2012)
    Domain Context
  109. In corpus Category Theory Article

    Differential Structure, Tangent Structure, and Differential Categories

    Robin Cockett and Richard A. G. Cruttwell (2012)
    Formal Antecedent
  110. In corpus Computation and Complexity Book

    Matrix Analysis

    Roger A. Horn and Charles R. Johnson (2012)
    Domain Context
  111. In corpus Foundations and Logic Article

    Discrete complex analysis on isoradial graphs

    Chelkak, Dmitry and Smirnov, Stanislav (2011)
    Formal Antecedent
  112. In corpus Foundations and Logic Book

    Viruses: A Very Short Introduction

    Crawford, Dorothy H. (2011)
    Domain Context
  113. In corpus Life and Biology Book

    First Life: Discovering the Connections between Stars, Cells, and How Life Began

    Deamer, David W. (2011)
    Domain Context
  114. Cited 2× Life and Biology Article

    Dynamic Horizontal Cultural Transmission of Humpback Whale Song

    Eric C. Garland and others (2011)
    Domain Context Book VII
  115. In corpus Physics Article

    Quantum Effects in Biology

    Fleming, Graham R. and Scholes, Gregory D. and Cheng, Yuan-Chung (2011)
    Domain Context
  116. In corpus Topology and Geometry Book

    Stein manifolds and holomorphic mappings

    Forstnerič, Franc (2011)
    Domain Context
  117. In corpus Number Theory and Analysis Article

    Fast methods to compute the Riemann zeta function

    G. A. Hiary (2011)
    Domain Context
  118. In corpus Topology and Geometry Book

    Spaces of Constant Curvature

    J. A. Wolf (2011)
    Domain Context
  119. Cited 1× Foundations and Logic Article

    Lexical Frequency in Morphology: Is Everything Relative?

    Jennifer Hay (2011)
    Formal Antecedent Book VII
  120. In corpus Foundations and Logic Book

    Physics, Topology, Logic and Computation: A Rosetta Stone

    John C. Baez and Mike Stay (2011)
    Formal Antecedent
  121. In corpus Foundations and Logic Book

    Algebraic Topology of Finite Topological Spaces and Applications

    Jonathan A. Barmak (2011)
    Formal Antecedent
  122. In corpus Topology and Geometry Book

    Riemannian Geometry and Geometric Analysis

    Jost, Jürgen (2011)
    Domain Context
  123. In corpus Number Theory and Analysis Book

    Dirichlet Forms and Symmetric Markov Processes

    M. Fukushima and Y. Oshima and M. Takeda (2011)
    Domain Context
  124. In corpus Physics Book

    Statistical Mechanics

    Pathria, Raj K. and Beale, Paul D. (2011)
    Domain Context
  125. In corpus Computation and Complexity Book

    Validated Numerics: A Short Introduction to Rigorous Computations

    Tucker, Warwick (2011)
    Domain Context
  126. In corpus Life and Biology Book

    The Tell-Tale Brain: A Neuroscientist's Quest for What Makes Us Human

    V. S. Ramachandran (2011)
    Domain Context
  127. In corpus Physics Book

    Quantum Field Theory in a Nutshell

    A. Zee (2010)
    Domain Context
  128. Cited 1× Category Theory Book

    Category theory

    Awodey, Steve (2010)
    Foundational Source Book II
  129. In corpus Foundations and Logic Article

    The Origin of Biological Homochirality

    Blackmond, Donna G. (2010)
    Formal Antecedent
  130. In corpus Number Theory and Analysis Book

    Modern computer arithmetic

    Brent, Richard P. and Zimmermann, Paul (2010)
    Domain Context
  131. In corpus Foundations and Logic Book

    Log-Gases and Random Matrices

    Forrester, P. J. (2010)
    Formal Antecedent
  132. In corpus Life and Biology Article

    Defining Life: The Virus Viewpoint

    Forterre, Patrick (2010)
    Domain Context
  133. In corpus Physics Article

    The Galactic Center Massive Black Hole and Nuclear Star Cluster

    Genzel, Reinhard and Eisenhauer, Frank and Gillessen, Stefan (2010)
    Domain Context
  134. In corpus Foundations and Logic Article

    Colloquium: Topological Insulators

    Hasan, M. Zahid and Kane, Charles L. (2010)
    Formal Antecedent
  135. In corpus Topology and Geometry Book

    Computational Topology: An Introduction

    Herbert Edelsbrunner and John Harer (2010)
    Domain Context
  136. In corpus Foundations and Logic Article

    Physics, Topology, Logic and Computation: A Rosetta Stone

    John C. Baez and Mike Stay (2010)
    Formal Antecedent
  137. In corpus Topology and Geometry Book

    Elementary differential geometry

    Pressley, Andrew (2010)
    Domain Context
  138. In corpus Foundations and Logic Article

    The Size of the Proton

    Randolf Pohl and others (2010)
    Formal Antecedent
  139. In corpus Foundations and Logic Book

    Profinite groups

    Ribes, Luis and Zalesskii, Pavel (2010)
    Formal Antecedent
  140. In corpus Foundations and Logic Book

    Profinite Groups

    Ribes, Luis and Zalesskii, Pavel (2010)
    Formal Antecedent
  141. In corpus Life and Biology Book

    How Many Friends Does One Person Need? Dunbar's Number and Other Evolutionary Quirks

    Robin Dunbar (2010)
    Domain Context
  142. Cited 1× Foundations and Logic Book Chapter

    Unfolding Finitist Arithmetic

    Solomon Feferman and Thomas Strahm (2010)
    Formal Antecedent Book I
  143. In corpus Physics Book

    Numerical Relativity: Solving Einstein's Equations on the Computer

    Thomas W. Baumgarte and Stuart L. Shapiro (2010)
    Domain Context
  144. In corpus Topology and Geometry Book

    Heat Kernel and Analysis on Manifolds

    A. Grigor'yan (2009)
    Domain Context
  145. In corpus Computation and Complexity Book

    Computational complexity: a modern approach

    Arora, Sanjeev and Barak, Boaz (2009)
    Domain Context
  146. Cited 1× Number Theory and Analysis Book

    The Arithmetic of Elliptic Curves

    Joseph H. Silverman (2009)
    Domain Context Book III
  147. In corpus Number Theory and Analysis Book

    The Arithmetic of Elliptic Curves

    Joseph H. Silverman (2009)
    Domain Context
  148. Cited 1× Foundations and Logic Book

    Causality: Models, Reasoning, and Inference

    Judea Pearl (2009)
    Formal Antecedent Book VII
  149. In corpus Life and Biology Article

    Origin and Evolution of the Genetic Code: The Universal Enigma

    Koonin, Eugene V. and Novozhilov, Artem S. (2009)
    Domain Context
  150. In corpus Category Theory Book

    Conceptual Mathematics: A First Introduction to Categories

    Lawvere, F. William and Schanuel, Stephen H. (2009)
    Domain Context
  151. In corpus Category Theory Book

    Conceptual Mathematics: A First Introduction to Categories

    Lawvere, F. William and Schanuel, Stephen H. (2009)
    Domain Context
  152. In corpus Computation and Complexity Article

    Algebrization: A New Barrier in Complexity Theory

    Scott Aaronson and Avi Wigderson (2009)
    Domain Context
  153. In corpus Number Theory and Analysis Article

    Moments of the Riemann zeta function

    Soundararajan, K. (2009)
    Domain Context
  154. In corpus Computation and Complexity Book

    Introduction to Algorithms

    Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein (2009)
    Domain Context
  155. Cited 1× Foundations and Logic Book

    The Ego Tunnel: The Science of the Mind and the Myth of the Self

    Thomas Metzinger (2009)
    Formal Antecedent Book VII
  156. In corpus Topology and Geometry Book

    Noncommutative Geometry, Quantum Fields and Motives

    Alain Connes and Matilde Marcolli (2008)
    Domain Context
  157. In corpus Topology and Geometry Book

    Discrete Differential Geometry: Integrable Structure

    Alexander I. Bobenko and Yuri B. Suris (2008)
    Domain Context
  158. In corpus Topology and Geometry Book

    Gradient Flows in Metric Spaces and in the Space of Probability Measures

    Ambrosio, Luigi and Gigli, Nicola and Savaré, Giuseppe (2008)
    Domain Context
  159. In corpus Foundations and Logic Book

    Galactic Dynamics

    Binney, James and Tremaine, Scott (2008)
    Formal Antecedent
  160. In corpus Foundations and Logic Article

    Undecidability in number theory and algebraic geometry

    Bjorn Poonen (2008)
    Formal Antecedent
  161. In corpus Foundations and Logic Book Chapter

    A tutorial on computable analysis

    Brattka, Vasco and Hertling, Peter and Weihrauch, Klaus (2008)
    Formal Antecedent
  162. In corpus Topology and Geometry Article

    Notes on Perelman's papers

    Bruce Kleiner and John Lott (2008)
    Domain Context
  163. In corpus Foundations and Logic Book

    Mixed Hodge Structures

    Chris A. M. Peters and Joseph H. M. Steenbrink (2008)
    Formal Antecedent
  164. In corpus Life and Biology Article

    Unconscious Determinants of Free Decisions in the Human Brain

    Chun Siong Soon and Marcel Brass and Hans-Jochen Heinze and John-Dylan Haynes (2008)
    Domain Context
  165. In corpus Foundations and Logic Article

    Event-Horizon-Scale Structure in the Supermassive Black Hole Candidate at the Galactic Centre

    Doeleman, Sheperd S. and others (2008)
    Formal Antecedent
  166. In corpus Topology and Geometry Book

    The Mathematics of Minkowski Space-Time: With an Introduction to Commutative Hypercomplex Numbers

    Francesco Catoni and Dino Boccaletti and Roberto Cannata and Vincenzo Catoni and Enrico Nichelatti and Paolo Zampetti (2008)
    Domain Context
  167. In corpus Physics Article

    Measuring Distance and Properties of the Milky Way's Central Supermassive Black Hole with Stellar Orbits

    Ghez, Andrea M. and others (2008)
    Domain Context
  168. In corpus Foundations and Logic Book

    An Introduction to the Theory of Numbers

    Hardy, G. H. and Wright, E. M. (2008)
    Domain Context
  169. In corpus Topology and Geometry Book

    Groups, Graphs and Trees: An Introduction to the Geometry of Infinite Groups

    John Meier (2008)
    Domain Context
  170. In corpus Foundations and Logic Book

    Rigid Local Systems

    Katz, Nicholas M. (2008)
    Formal Antecedent
  171. In corpus Foundations and Logic Miscellaneous

    Notes on Perelman's papers

    Kleiner, Bruce and Lott, John (2008)
    Formal Antecedent
  172. In corpus Foundations and Logic Article

    Hodge theoretic aspects of mirror symmetry

    L. Katzarkov and M. Kontsevich and T. Pantev (2008)
    Formal Antecedent
  173. In corpus Life and Biology Book

    Modeling Infectious Diseases in Humans and Animals

    Matt J. Keeling and Pejman Rohani (2008)
    Domain Context
  174. In corpus Physics Book

    Cosmology

    Steven Weinberg (2008)
    Domain Context
  175. In corpus Physics Book

    Cosmology

    Weinberg, Steven (2008)
    Domain Context
  176. In corpus Foundations and Logic Book

    Differential Analysis on Complex Manifolds

    Wells, Raymond O. (2008)
    Formal Antecedent
  177. In corpus Topology and Geometry Book

    Computational geometry

    de Berg, Mark and Cheong, Otfried and van Kreveld, Marc and Overmars, Mark (2008)
    Domain Context
  178. Cited 1× Life and Biology Book

    Asymmetric Tail-Wagging Responses by Dogs to Different Emotive Stimuli

    Angelo Quaranta and Marcello Siniscalchi and Giorgio Vallortigara (2007)
    Domain Context Book VII
  179. Cited 1× Foundations and Logic Book

    Core Knowledge

    Elizabeth S. Spelke and Katherine D. Kinzler (2007)
    Formal Antecedent Book VII
  180. Cited 2× Physics Article

    Evidence for Wavelike Energy Transfer through Quantum Coherence in Photosynthetic Systems

    Engel, Gregory S. and Calhoun, Tessa R. and Read, Elizabeth L. and Ahn, Tae-Kyu and Mančal, Tomáš and Cheng, Yuan-Chung and Blankenship, Robert E. and Fleming, Graham R. (2007)
    Domain Context Book VI
  181. In corpus Foundations and Logic Book

    Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics

    Ferreirós, José (2007)
    Formal Antecedent
  182. In corpus Number Theory and Analysis Article

    The hybrid Euler–Hadamard product for the Riemann zeta function

    Gonek, S. M. and Hughes, C. P. and Keating, J. P. (2007)
    Domain Context
  183. In corpus Number Theory and Analysis Book

    Multiplicative Number Theory I. Classical Theory

    Hugh L. Montgomery and Robert C. Vaughan (2007)
    Domain Context
  184. In corpus Foundations and Logic Book

    Ricci Flow and the Poincaré Conjecture

    J. Morgan and G. Tian (2007)
    Formal Antecedent
  185. In corpus Physics Book

    Every Thing Must Go: Metaphysics Naturalized

    James Ladyman and Don Ross (2007)
    Domain Context
  186. In corpus Topology and Geometry Article

    Electric-Magnetic Duality And The Geometric Langlands Program

    Kapustin, Anton and Witten, Edward (2007)
    Domain Context
  187. Cited 1× Metaphysics and Philosophy Book

    Buddhism as Philosophy: An Introduction

    Mark Siderits (2007)
    Domain Context Book VII
  188. In corpus Physics Book

    Quantum Field Theory

    Mark Srednicki (2007)
    Domain Context
  189. In corpus Topology and Geometry Book

    Algorithmic Topology and Classification of 3-Manifolds

    Matveev, S. V. (2007)
    Domain Context
  190. In corpus Physics Book Chapter

    Analysis on Graphs and its Applications

    Pavel Kuchment and others (2007)
    Domain Context
  191. In corpus Foundations and Logic Book

    Synthetic Differential Geometry

    Anders Kock (2006)
    Formal Antecedent
  192. Cited 1× Physics Miscellaneous

    Quantum Yang–Mills Theory

    Arthur Jaffe and Edward Witten (2006)
    Domain Context Book III
  193. In corpus Topology and Geometry Book

    Algorithms in real algebraic geometry

    Basu, Saugata and Pollack, Richard and Roy, Marie-Françoise (2006)
    Domain Context
  194. In corpus Topology and Geometry Book

    Topology and groupoids

    Brown, Ronald (2006)
    Domain Context
  195. In corpus Foundations and Logic Book

    Hamilton's Ricci Flow

    Chow, Bennett and Lu, Peng and Ni, Lei and others (2006)
    Formal Antecedent
  196. In corpus Foundations and Logic Article

    A Direct Empirical Proof of the Existence of Dark Matter

    Clowe, Douglas and others (2006)
    Formal Antecedent
  197. In corpus Foundations and Logic Article

    Finite Element Exterior Calculus, Homological Techniques, and Applications

    Douglas N. Arnold and Richard S. Falk and Ragnar Winther (2006)
    Formal Antecedent
  198. In corpus Category Theory Book

    The Four-Category Ontology: A Metaphysical Foundation for Natural Science

    E. J. Lowe (2006)
    Foundational Source
  199. In corpus Life and Biology Article

    Zeros of truncated Euler products and related problems

    Farmer, D. W. and Gonek, S. M. and Hughes, C. P. (2006)
    Domain Context
  200. In corpus Foundations and Logic Book

    The structure of compact groups

    Hofmann, Karl H. and Morris, Sidney A. (2006)
    Formal Antecedent
  201. In corpus Foundations and Logic Article

    A complete proof of the Poincaré and geometrization conjectures — application of the Hamilton–Perelman theory of the Ricci flow

    Huai-Dong Cao and Xi-Ping Zhu (2006)
    Formal Antecedent
  202. In corpus Topology and Geometry Book

    Fractal Geometry, Complex Dimensions and Zeta Functions

    M. L. Lapidus and M. van Frankenhuijsen (2006)
    Domain Context
  203. In corpus Computation and Complexity Book

    Introduction to the Theory of Computation

    Michael Sipser (2006)
    Domain Context
  204. In corpus Foundations and Logic Book

    Dynamics in one complex variable

    Milnor, John (2006)
    Formal Antecedent
  205. In corpus Number Theory and Analysis Book

    Multiplicative Number Theory I. Classical Theory

    Montgomery, H. L. and Vaughan, R. C. (2006)
    Domain Context
  206. In corpus Number Theory and Analysis Miscellaneous

    High rank elliptic curves: examples and computations

    Noam D. Elkies (2006)
    Domain Context
  207. In corpus Life and Biology Book

    The Music of Life: Biology Beyond the Genome

    Noble, Denis (2006)
    Domain Context
  208. In corpus Topology and Geometry Book

    Riemannian Geometry

    P. Petersen (2006)
    Domain Context
  209. In corpus Foundations and Logic Book

    Relativity: Special, General, and Cosmological

    Rindler, Wolfgang (2006)
    Formal Antecedent
  210. In corpus Topology and Geometry Book

    Differential Geometry and Analysis on CR Manifolds

    Sorin Dragomir and Giuseppe Tomassini (2006)
    Domain Context
  211. In corpus Foundations and Logic Article

    Sleep Function and Synaptic Homeostasis

    Tononi, Giulio and Cirelli, Chiara (2006)
    Formal Antecedent
  212. In corpus Foundations and Logic Book

    Lectures on the Ricci Flow

    Topping, Peter (2006)
    Formal Antecedent
  213. Cited 1× Topology and Geometry Book

    Complex Geometry: An Introduction

    Daniel Huybrechts (2005)
    Domain Context Book II
  214. Cited 2× Number Theory and Analysis Book

    A First Course in Modular Forms

    Fred Diamond and Jerry Shurman (2005)
    Domain Context Book II
  215. In corpus Foundations and Logic Article

    The design and implementation of FFTW3

    Frigo, Matteo and Johnson, Steven G. (2005)
    Formal Antecedent
  216. In corpus Foundations and Logic Article

    The design and implementation of FFTW3

    Frigo, Matteo and Johnson, Steven G. (2005)
    Formal Antecedent
  217. In corpus Foundations and Logic Book

    Harmonic Measure

    Garnett, John B. and Marshall, Donald E. (2005)
    Formal Antecedent
  218. Cited 1× Life and Biology Article

    Animal Visual Systems and the Evolution of Color Patterns: Sensory Processing Illuminates Signal Evolution

    John A. Endler and Lorna C. Westcott and Jessica R. Madden and Tim Robson (2005)
    Domain Context Book VII
  219. In corpus Physics Article

    Measurement of Neutrino Oscillation with KamLAND: Evidence of Spectral Distortion

    KamLAND Collaboration (2005)
    Domain Context
  220. In corpus Life and Biology Book

    Power, Sex, Suicide: Mitochondria and the Meaning of Life

    Lane, Nick (2005)
    Domain Context
  221. In corpus Topology and Geometry Book Chapter

    Discrete Exterior Calculus

    Mathieu Desbrun and Ananya N. Hirani and Melvin Leok and Jerrold E. Marsden (2005)
    Domain Context
  222. In corpus Foundations and Logic Article

    Discrete Exterior Calculus

    Mathieu Desbrun and Anil N. Hirani and Michael Leok and Jerrold E. Marsden (2005)
    Formal Antecedent
  223. In corpus Topology and Geometry Book Chapter

    Discrete Differential-Geometry Operators for Triangulated 2-Manifolds

    Mathieu Desbrun and Mark Meyer and Peter Schröder (2005)
    Domain Context
  224. In corpus Foundations and Logic Book

    Physical Foundations of Cosmology

    Mukhanov, Viatcheslav (2005)
    Formal Antecedent
  225. In corpus Number Theory and Analysis Book

    Prime Numbers: A Computational Perspective

    Richard Crandall and Carl Pomerance (2005)
    Domain Context
  226. In corpus Foundations and Logic Book

    Introduction to circle packing

    Stephenson, Kenneth (2005)
    Domain Context
  227. In corpus Topology and Geometry Book

    The four pillars of geometry

    Stillwell, John (2005)
    Domain Context
  228. In corpus Foundations and Logic Book

    Physical Foundations of Cosmology

    Viatcheslav Mukhanov (2005)
    Formal Antecedent
  229. In corpus Foundations and Logic Book

    Lectures on the Orbit Method

    Alexander Kirillov Jr. (2004)
    Formal Antecedent
  230. In corpus Foundations and Logic Book

    Abstract Algebra

    David S. Dummit and Richard M. Foote (2004)
    Formal Antecedent
  231. In corpus Foundations and Logic Book

    Theory of Stein Spaces

    Hans Grauert and Reinhold Remmert (2004)
    Formal Antecedent
  232. Cited 2× Number Theory and Analysis Book

    Analytic Number Theory

    Henryk Iwaniec and Emmanuel Kowalski (2004)
    Domain Context Book II
  233. Cited 1× Foundations and Logic Article

    The Emergence of Autobiographical Memory: A Social Cultural Developmental Theory

    Katherine Nelson and Robyn Fivush (2004)
    Formal Antecedent Book VII
  234. Cited 1× Foundations and Logic Book

    An introduction to harmonic analysis

    Katznelson, Yitzhak (2004)
    Domain Context Book II
  235. In corpus Number Theory and Analysis Article

    p-adic Hodge theory and values of zeta functions of modular forms

    Kazuya Kato (2004)
    Domain Context
  236. In corpus Foundations and Logic Book

    Random Matrices

    Madan Lal Mehta (2004)
    Formal Antecedent
  237. In corpus Physics Article

    Quantum graphs: I. Some basic structures

    Pavel Kuchment (2004)
    Domain Context
  238. In corpus Physics Book

    The Road to Reality: A Complete Guide to the Laws of the Universe

    Penrose, Roger (2004)
    Domain Context
  239. In corpus Foundations and Logic Book

    The Road to Reality: A Complete Guide to the Laws of the Universe

    Penrose, Roger (2004)
    Formal Antecedent
  240. Cited 2× Foundations and Logic Book

    Sphären III: Schäume

    Peter Sloterdijk (2004)
    Formal Antecedent Book VII
  241. In corpus Foundations and Logic Book

    The Road to Reality: A Complete Guide to the Laws of the Universe

    Roger Penrose (2004)
    Formal Antecedent
  242. In corpus Topology and Geometry Book

    Spacetime and Geometry: An Introduction to General Relativity

    Sean M. Carroll (2004)
    Domain Context
  243. In corpus Foundations and Logic Article

    An example of neckpinch singularity for Ricci flow

    Sigurd Angenent and Dan Knopf (2004)
    Formal Antecedent
  244. In corpus Computation and Complexity Article

    Computing special values of motivic L-functions

    Tim Dokchitser (2004)
    Domain Context
  245. In corpus Foundations and Logic Book

    Introduction to Superconductivity

    Tinkham, Michael (2004)
    Domain Context
  246. In corpus Topology and Geometry Book

    Computational Homology

    Tomasz Kaczynski and Konstantin Mischaikow and Marian Mrozek (2004)
    Domain Context
  247. In corpus Topology and Geometry Book

    Computational Homology

    Tomasz Kaczynski and Konstantin Mischaikow and Marian Mrozek (2004)
    Domain Context
  248. Cited 2× Metaphysics and Philosophy Article

    An Information Integration Theory of Consciousness

    Tononi, Giulio (2004)
    Conceptual Bridge Book VII
  249. In corpus Foundations and Logic Book

    Une introduction aux motifs (motifs purs, motifs mixtes, périodes)

    Yves André (2004)
    Domain Context
  250. In corpus Foundations and Logic PhD Thesis

    Discrete Exterior Calculus

    Ananya N. Hirani (2003)
    Formal Antecedent
  251. In corpus Physics Article

    A Test of General Relativity Using Radio Links with the Cassini Spacecraft

    Bertotti, Bruno and Iess, Luciano and Tortora, Paolo (2003)
    Domain Context
  252. In corpus Topology and Geometry Book

    Hodge Theory and Complex Algebraic Geometry I

    Claire Voisin (2003)
    Domain Context
  253. In corpus Foundations and Logic Book

    On Quaternions and Octonions

    Conway, John H. and Smith, Derek A. (2003)
    Formal Antecedent
  254. In corpus Computation and Complexity Book

    Information Theory, Inference, and Learning Algorithms

    David J. C. MacKay (2003)
    Domain Context
  255. In corpus Foundations and Logic Book

    Probability Theory: The Logic of Science

    E. T. Jaynes (2003)
    Formal Antecedent
  256. In corpus Topology and Geometry Miscellaneous

    Ricci flow with surgery on three-manifolds

    Grigori Perelman (2003)
    Domain Context
  257. In corpus Topology and Geometry Miscellaneous

    Finite extinction time for the solutions to the Ricci flow on certain three-manifolds

    Grigori Perelman (2003)
    Domain Context
  258. In corpus Foundations and Logic Book

    Introduction to Foliations and Lie Groupoids

    Ieke Moerdijk and Janez Mrčun (2003)
    Domain Context
  259. In corpus Number Theory and Analysis Article

    The Riemann Hypothesis

    J. Brian Conrey (2003)
    Domain Context
  260. In corpus Number Theory and Analysis PhD Thesis

    Computing L-functions and their zeros

    M. Rubinstein (2003)
    Domain Context
  261. Cited 1× Foundations and Logic Book

    The Golden Ratio: The Story of Phi, the World's Most Astonishing Number

    Mario Livio (2003)
    Formal Antecedent Book VII
  262. In corpus Topology and Geometry Book

    Algorithmic Topology and Classification of 3-Manifolds

    Matveev, Sergei V. (2003)
    Domain Context
  263. In corpus Topology and Geometry Book

    Geometry, Topology and Physics

    Mikio Nakahara (2003)
    Domain Context
  264. In corpus Foundations and Logic Book

    Introduction to foliations and Lie groupoids

    Moerdijk, Ieke and Mrčun, Janez (2003)
    Domain Context
  265. In corpus Topology and Geometry Book

    Geometry, Topology and Physics

    Nakahara, Mikio (2003)
    Domain Context
  266. Cited 2× Category Theory Article

    A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

    Noson S. Yanofsky (2003)
    Formal Antecedent Book I
  267. In corpus Topology and Geometry Article

    Ricci flow with surgery on three-manifolds

    Perelman, Grigori (2003)
    Domain Context
  268. In corpus Topology and Geometry Article

    Finite extinction time for the solutions to the Ricci flow on certain three-manifolds

    Perelman, Grigori (2003)
    Domain Context
  269. In corpus Foundations and Logic Miscellaneous

    Ricci flow with surgery on three-manifolds

    Perelman, Grigori (2003)
    Formal Antecedent
  270. In corpus Physics Book

    Modern Cosmology

    Scott Dodelson (2003)
    Domain Context
  271. In corpus Computation and Complexity Book

    Permutation group algorithms

    Seress, Ákos (2003)
    Domain Context
  272. Cited 2× Physics Article

    First-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations

    Spergel, David N. and others (2003)
    Domain Context Book V
  273. Cited 1× Foundations and Logic Book

    Complex analysis

    Stein, Elias M. and Shakarchi, Rami (2003)
    Formal Antecedent Book II
  274. In corpus Foundations and Logic Book

    Set Theory

    Thomas Jech (2003)
    Formal Antecedent
  275. Cited 1× Foundations and Logic Book

    Being No One: The Self-Model Theory of Subjectivity

    Thomas Metzinger (2003)
    Formal Antecedent Book VII
  276. In corpus Topology and Geometry Book

    Hodge Theory and Complex Algebraic Geometry~II

    Voisin, Claire (2003)
    Domain Context
  277. In corpus Foundations and Logic Book

    Trigonometric Series

    A. Zygmund (2002)
    Formal Antecedent
  278. In corpus Topology and Geometry Book

    Algebraic Topology

    Allen Hatcher (2002)
    Domain Context
  279. In corpus Foundations and Logic Article

    The Octonions

    Baez, John C. (2002)
    Formal Antecedent
  280. In corpus Foundations and Logic Article

    Quasisymmetric parametrizations of two-dimensional metric spheres

    Bonk, Mario and Kleiner, Bruce (2002)
    Formal Antecedent
  281. In corpus Life and Biology Book

    Plasticity and Reprogramming of Differentiated Cells in Amphibian Regeneration

    Brockes, Jeremy P. and Kumar, Anoop (2002)
    Domain Context
  282. In corpus Number Theory and Analysis Article

    On the modularity of elliptic curves over Q: wild 3-adic exercises and other topics

    Christophe Breuil and Brian Conrad and Fred Diamond and Richard Taylor (2002)
    Domain Context
  283. In corpus Topology and Geometry Book

    Hodge Theory and Complex Algebraic Geometry I

    Claire Voisin (2002)
    Domain Context
  284. In corpus Foundations and Logic Book

    The Illusion of Conscious Will

    Daniel M. Wegner (2002)
    Formal Antecedent
  285. In corpus Foundations and Logic Book

    Model Theory: An Introduction

    David Marker (2002)
    Domain Context
  286. In corpus Number Theory and Analysis Article

    Elliptic curves over function fields

    Douglas Ulmer (2002)
    Domain Context
  287. Cited 1× Life and Biology Book

    Facial Attractiveness: Evolutionary, Cognitive, and Social Perspectives

    Gillian Rhodes and Leslie A. Zebrowitz (2002)
    Domain Context Book VII
  288. In corpus Foundations and Logic Book

    Classical Mechanics

    Goldstein, Herbert and Poole, Charles P. and Safko, John L. (2002)
    Formal Antecedent
  289. In corpus Life and Biology Book

    The Structure of Evolutionary Theory

    Gould, Stephen Jay (2002)
    Domain Context
  290. In corpus Number Theory and Analysis Book

    Spectral Methods of Automorphic Forms

    Henryk Iwaniec (2002)
    Domain Context
  291. In corpus Life and Biology Article

    Computing Riemann–Roch spaces in algebraic function fields and related topics

    Hess, Florian (2002)
    Domain Context
  292. Cited 3× Category Theory Article

    Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST

    Ieke Moerdijk and Erik Palmgren (2002)
    Formal Antecedent Book I
  293. In corpus Category Theory Book

    Sketches of an elephant: a topos theory compendium

    Johnstone, Peter T. (2002)
    Foundational Source
  294. In corpus Category Theory Book

    Sketches of an Elephant: A Topos Theory Compendium

    Johnstone, Peter T. (2002)
    Foundational Source
  295. In corpus Life and Biology Article

    The Antiquity of RNA-Based Evolution

    Joyce, Gerald F. (2002)
    Domain Context
  296. In corpus Life and Biology Article

    Systems Biology: A Brief Overview

    Kitano, Hiroaki (2002)
    Domain Context
  297. In corpus Topology and Geometry Article

    The entropy formula for the Ricci flow and its geometric applications

    Perelman, Grigori (2002)
    Domain Context
  298. In corpus Foundations and Logic Book

    Finite Volume Methods for Hyperbolic Problems

    Randall J. LeVeque (2002)
    Formal Antecedent
  299. In corpus Foundations and Logic Article

    Coordination of Circadian Timing in Mammals

    Reppert, Steven M. and Weaver, David R. (2002)
    Formal Antecedent
  300. Cited 1× Physics Article

    Direct Evidence for Neutrino Flavor Transformation from Neutral-Current Interactions in SNO

    SNO Collaboration (2002)
    Domain Context Book IV
  301. In corpus Category Theory Book

    Lectures on Tensor Categories and Modular Functors

    Bakalov, Bojko and Kirillov Jr., Alexander (2001)
    Foundational Source
  302. In corpus Number Theory and Analysis Article

    On the modularity of elliptic curves over Q

    C. Breuil and B. Conrad and F. Diamond and R. Taylor (2001)
    Domain Context
  303. In corpus Foundations and Logic Article

    The Cosmological Constant

    Carroll, Sean M. (2001)
    Formal Antecedent
  304. In corpus Number Theory and Analysis Article

    On the modularity of elliptic curves over Q: wild 3-adic exercises

    Christophe Breuil and Brian Conrad and Fred Diamond and Richard Taylor (2001)
    Domain Context
  305. In corpus Number Theory and Analysis Article

    On the modularity of elliptic curves over Q: wild 3-adic exercises

    Christophe Breuil and Brian Conrad and Fred Diamond and Richard Taylor (2001)
    Domain Context
  306. Cited 4× Foundations and Logic Article

    Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles

    Dan E. Willard (2001)
    Formal Antecedent Book I
  307. In corpus Topology and Geometry Book

    Complex analysis

    Gamelin, Theodore W. (2001)
    Domain Context
  308. In corpus Topology and Geometry Book

    Lectures on analysis on metric spaces

    Heinonen, Juha (2001)
    Domain Context
  309. In corpus Topology and Geometry Book

    Geometric function theory and non-linear analysis

    Iwaniec, Tadeusz and Martin, Gaven (2001)
    Domain Context
  310. In corpus Topology and Geometry Article

    Pictures of Ultrametric Spaces, the p-adic Numbers, and Valued Fields

    Jan E. Holly (2001)
    Domain Context
  311. In corpus Life and Biology Book

    Immunobiology: The Immune System in Health and Disease

    Janeway, Charles A. and Travers, Paul and Walport, Mark and Shlomchik, Mark J. (2001)
    Domain Context
  312. Cited 1× Foundations and Logic Article

    Locus Solum: From the Rules of Logic to the Logic of Rules

    Jean-Yves Girard (2001)
    Formal Antecedent Book I
  313. In corpus Life and Biology Article

    Some Optimal Inapproximability Results

    Johan Hästad (2001)
    Domain Context
  314. In corpus Topology and Geometry Article

    Geometric Complexity Theory I: An Approach to the P vs. NP and Related Problems

    Ketan D. Mulmuley and Milind Sohoni (2001)
    Domain Context
  315. In corpus Foundations and Logic Book Chapter

    Periods

    Kontsevich, Maxim and Zagier, Don (2001)
    Formal Antecedent
  316. In corpus Foundations and Logic Book

    Function theory of several complex variables

    Krantz, Steven G. (2001)
    Formal Antecedent
  317. In corpus Life and Biology Book

    What Evolution Is

    Mayr, Ernst (2001)
    Domain Context
  318. In corpus Foundations and Logic Book

    Navier–Stokes Equations: Theory and Numerical Analysis

    Roger Temam (2001)
    Formal Antecedent
  319. Cited 1× Life and Biology Article

    Towards a Cognitive Neuroscience of Consciousness: Basic Evidence and a Workspace Framework

    Stanislas Dehaene and Lionel Naccache (2001)
    Domain Context Book VII
  320. In corpus Foundations and Logic Book

    Function Theory of Several Complex Variables

    Steven G. Krantz (2001)
    Formal Antecedent
  321. In corpus Life and Biology Article

    Synthesizing Life

    Szostak, Jack W. and Bartel, David P. and Luisi, P. Luigi (2001)
    Domain Context
  322. In corpus Foundations and Logic Book

    A Course in p-adic Analysis

    Alain M. Robert (2000)
    Domain Context
  323. In corpus Topology and Geometry Article

    Algorithmic unsolvability of the triviality problem for certain classes of geometric structures

    Alexander Nabutovsky and Shmuel Weinberger (2000)
    Domain Context
  324. In corpus Physics Miscellaneous

    Quantum Yang–Mills Theory and the Mass Gap

    Arthur Jaffe and Edward Witten (2000)
    Domain Context
  325. In corpus Physics Miscellaneous

    Quantum Yang–Mills Existence and Mass Gap

    Arthur Jaffe and Edward Witten (2000)
    Domain Context
  326. In corpus Metaphysics and Philosophy Book

    A Universe of Consciousness: How Matter Becomes Imagination

    Edelman, Gerald M. and Tononi, Giulio (2000)
    Conceptual Bridge
  327. In corpus Number Theory and Analysis Book

    Multiplicative Number Theory

    H. Davenport (2000)
    Domain Context
  328. In corpus Foundations and Logic Book

    Theory of Bergman spaces

    Hedenmalm, Håkan and Korenblum, Boris and Zhu, Kehe (2000)
    Formal Antecedent
  329. In corpus Number Theory and Analysis Article

    Random matrix theory and ζ(1/2+it)

    J. P. Keating and N. C. Snaith (2000)
    Domain Context
  330. In corpus Foundations and Logic Book

    Investigations

    Kauffman, Stuart A. (2000)
    Formal Antecedent
  331. In corpus Foundations and Logic Book

    Computable Analysis: An Introduction

    Klaus Weihrauch (2000)
    Domain Context
  332. In corpus Life and Biology Book

    One-Parameter Semigroups for Linear Evolution Equations

    Klaus-Jochen Engel and Rainer Nagel (2000)
    Domain Context
  333. In corpus Foundations and Logic Book

    Spectral Methods in MATLAB

    L. N. Trefethen (2000)
    Formal Antecedent
  334. Cited 1× Foundations and Logic Book

    Profinite Groups

    Luis Ribes and Pavel Zalesskii (2000)
    Formal Antecedent Book III
  335. In corpus Topology and Geometry Book

    Topology

    Munkres, James R. (2000)
    Domain Context
  336. In corpus Topology and Geometry Book

    Topics in Geometric Group Theory

    Pierre de la Harpe (2000)
    Domain Context
  337. In corpus Topology and Geometry Book

    Geometry: Euclid and Beyond

    Robin Hartshorne (2000)
    Domain Context
  338. In corpus Physics Article

    Ultimate physical limits to computation

    Seth Lloyd (2000)
    Domain Context
  339. In corpus Foundations and Logic Book

    Knowledge and Its Limits

    Timothy Williamson (2000)
    Formal Antecedent
  340. In corpus Foundations and Logic Book

    Positive Transfer Operators and Decay of Correlations

    Viviane Baladi (2000)
    Formal Antecedent
  341. In corpus Topology and Geometry Article

    Trace formula in noncommutative geometry and the zeros of the Riemann zeta function

    Alain Connes (1999)
    Domain Context
  342. In corpus Foundations and Logic Article

    Tarski's System of Geometry

    Alfred Tarski and Steven Givant (1999)
    Formal Antecedent
  343. In corpus Foundations and Logic Book

    Fourier Analysis on Finite Groups and Applications

    Audrey Terras (1999)
    Formal Antecedent
  344. In corpus Topology and Geometry Book

    Real submanifolds in complex space and their mappings

    Baouendi, M. Salah and Ebenfelt, Peter and Rothschild, Linda P. (1999)
    Domain Context
  345. In corpus Foundations and Logic Book

    Dynamical Systems: Stability, Symbolic Dynamics, and Chaos

    Clark Robinson (1999)
    Formal Antecedent
  346. In corpus Metaphysics and Philosophy Book

    The Feeling of What Happens: Body and Emotion in the Making of Consciousness

    Damasio, Antonio (1999)
    Conceptual Bridge
  347. In corpus Topology and Geometry Book

    Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities

    E. Hebey (1999)
    Domain Context
  348. In corpus Physics Article

    The Large N Limit of Superconformal Field Theories and Supergravity

    Juan Maldacena (1999)
    Domain Context
  349. In corpus Physics Book

    The End of Time: The Next Revolution in Physics

    Julian Barbour (1999)
    Domain Context
  350. In corpus Foundations and Logic Book

    Random Matrices, Frobenius Eigenvalues, and Monodromy

    Katz, Nicholas M. and Sarnak, Peter (1999)
    Formal Antecedent
  351. In corpus Life and Biology Article

    The Riemann zeros and eigenvalue asymptotics

    M. V. Berry and J. P. Keating (1999)
    Domain Context
  352. In corpus Topology and Geometry Book

    Metric Spaces of Non-Positive Curvature

    Martin R. Bridson and André Haefliger (1999)
    Domain Context
  353. In corpus Foundations and Logic Book

    Solar System Dynamics

    Murray, Carl D. and Dermott, Stanley F. (1999)
    Formal Antecedent
  354. In corpus Number Theory and Analysis Book

    Algebraic number theory

    Neukirch, Jürgen (1999)
    Domain Context
  355. In corpus Foundations and Logic Book

    Random Matrices, Frobenius Eigenvalues, and Monodromy

    Nicholas M. Katz and Peter Sarnak (1999)
    Formal Antecedent
  356. In corpus Foundations and Logic Book

    Classical invariant theory and applications

    Olver, Peter J. (1999)
    Formal Antecedent
  357. Cited 7× Physics Article

    Measurements of Ω and Λ from 42 High-Redshift Supernovae

    Perlmutter, Saul and others (1999)
    Domain Context Book V
  358. Cited 1× Foundations and Logic Book

    Sphären II: Globen

    Peter Sloterdijk (1999)
    Formal Antecedent Book VII
  359. In corpus Number Theory and Analysis Article

    INTLAB – INTerval LABoratory

    Rump, Siegfried M. (1999)
    Domain Context
  360. In corpus Foundations and Logic Book

    Galois cohomology

    Serre, Jean-Pierre (1999)
    Formal Antecedent
  361. In corpus Foundations and Logic Book

    The Origins of Insect Metamorphosis

    Truman, James W. and Riddiford, Lynn M. (1999)
    Formal Antecedent
  362. In corpus Physics Article

    Periodic Orbit Theory and Spectral Statistics for Quantum Graphs

    Tsampikos Kottos and Uzy Smilansky (1999)
    Domain Context
  363. In corpus Category Theory Article

    Kirchhoff's rule for quantum wires

    Vadim Kostrykin and Robert Schrader (1999)
    Formal Antecedent
  364. In corpus Computation and Complexity Book

    Computational Electromagnetism: Variational Formulations, Complementarity, Edge Elements

    Alain Bossavit (1998)
    Domain Context
  365. In corpus Computation and Complexity Book

    Complexity and Real Computation

    Blum, Lenore and Cucker, Felipe and Shub, Mike and Smale, Steve (1998)
    Domain Context
  366. In corpus Topology and Geometry Book

    Real algebraic geometry

    Bochnak, Jacek and Coste, Michel and Roy, Marie-Françoise (1998)
    Domain Context
  367. In corpus Number Theory and Analysis Article

    Some analogies between number theory and dynamical systems on foliated spaces

    C. Deninger (1998)
    Domain Context
  368. In corpus Foundations and Logic Article

    Latent Variable Models

    Christopher M. Bishop (1998)
    Formal Antecedent
  369. In corpus Topology and Geometry Book

    Partial Differential Equations

    Evans, Lawrence C. (1998)
    Domain Context
  370. In corpus Foundations and Logic Book

    Intersection Theory

    Fulton, William (1998)
    Formal Antecedent
  371. In corpus Topology and Geometry Book

    Real Algebraic Geometry

    Jacek Bochnak and Michel Coste and Marie-Françoise Roy (1998)
    Domain Context
  372. In corpus Category Theory Book

    Categories for the Working Mathematician

    Mac Lane, Saunders (1998)
    Foundational Source
  373. In corpus Physics Article

    The large N limit of superconformal field theories and supergravity

    Maldacena, Juan M. (1998)
    Domain Context
  374. In corpus Life and Biology Book

    Symbiotic Planet: A New Look at Evolution

    Margulis, Lynn (1998)
    Domain Context
  375. Cited 1× Foundations and Logic Article

    Episodic-like Memory During Cache Recovery by Scrub Jays

    Nicola S. Clayton and Anthony Dickinson (1998)
    Formal Antecedent Book VII
  376. Cited 1× Foundations and Logic Book

    Sphären I: Blasen

    Peter Sloterdijk (1998)
    Formal Antecedent Book VII
  377. Cited 10× Foundations and Logic Article

    Observational Evidence from Supernovae for an Accelerating Universe and a Cosmological Constant

    Riess, Adam G. and others (1998)
    Formal Antecedent Book V
  378. In corpus Life and Biology Article

    Morse theory for cell complexes

    Robin Forman (1998)
    Domain Context
  379. In corpus Foundations and Logic Article

    Probabilistic Checking of Proofs: A New Characterization of NP

    Sanjeev Arora and Shmuel Safra (1998)
    Formal Antecedent
  380. Cited 6× Category Theory Book

    Categories for the Working Mathematician

    Saunders Mac Lane (1998)
    Foundational Source Book II Book III Book IV
  381. In corpus Physics Article

    Evidence for Oscillation of Atmospheric Neutrinos

    Super-Kamiokande Collaboration (1998)
    Domain Context
  382. Cited 1× Physics Article

    Evidence for Oscillation of Atmospheric Neutrinos

    Super-Kamiokande Collaboration (1998)
    Domain Context Book IV
  383. In corpus Foundations and Logic Book

    Profinite groups

    Wilson, John S. (1998)
    Formal Antecedent
  384. In corpus Foundations and Logic Article

    Natural proofs

    Alexander A. Razborov and Steven Rudich (1997)
    Formal Antecedent
  385. Cited 2× Number Theory and Analysis Book

    Automorphic Forms and Representations

    Daniel Bump (1997)
    Domain Context Book II
  386. In corpus Number Theory and Analysis Book

    Automorphic Forms and Representations

    Daniel Bump (1997)
    Domain Context
  387. In corpus Physics Book

    Conformal field theory

    Di Francesco, Philippe and Mathieu, Pierre and Sénéchal, David (1997)
    Domain Context
  388. In corpus Computation and Complexity Book

    The Art of Computer Programming, Volume 2: Seminumerical Algorithms

    Donald E. Knuth (1997)
    Domain Context
  389. In corpus Foundations and Logic Book

    Spectral Graph Theory

    Fan R. K. Chung (1997)
    Formal Antecedent
  390. In corpus Physics Article

    Kaluza–Klein gravity

    James M. Overduin and Paul S. Wesson (1997)
    Domain Context
  391. In corpus Number Theory and Analysis Book

    Algorithms for Modular Elliptic Curves

    John E. Cremona (1997)
    Domain Context
  392. In corpus Number Theory and Analysis Book

    Algorithms for Modular Elliptic Curves

    John E. Cremona (1997)
    Domain Context
  393. In corpus Foundations and Logic Book

    Numerical Linear Algebra

    Lloyd N. Trefethen and David Bau, III (1997)
    Formal Antecedent
  394. In corpus Foundations and Logic Book

    Naturalism in Mathematics

    Maddy, Penelope (1997)
    Formal Antecedent
  395. In corpus Metaphysics and Philosophy Book

    The Nature of Consciousness: Philosophical Debates

    Ned Block and Owen Flanagan and Güven Güzeldere (1997)
    Conceptual Bridge
  396. In corpus Foundations and Logic Book

    Visual complex analysis

    Needham, Tristan (1997)
    Formal Antecedent
  397. In corpus Topology and Geometry Book

    Galois cohomology

    Serre, Jean-Pierre (1997)
    Domain Context
  398. In corpus Topology and Geometry Book

    The Laplacian on a Riemannian Manifold: An Introduction to Analysis on Manifolds

    Steven Rosenberg (1997)
    Domain Context
  399. In corpus Foundations and Logic Book

    Introduction to Cyclotomic Fields

    Washington, Lawrence C. (1997)
    Domain Context
  400. In corpus Metaphysics and Philosophy Book

    Empiricism and the Philosophy of Mind

    Wilfrid Sellars (1997)
    Conceptual Bridge
  401. Cited 1× Foundations and Logic Book

    The Conscious Mind: In Search of a Fundamental Theory

    Chalmers, David J. (1996)
    Formal Antecedent Book VI
  402. In corpus Foundations and Logic Book

    The Sources of Normativity

    Christine Korsgaard (1996)
    Formal Antecedent
  403. In corpus Foundations and Logic Book

    A Course of Modern Analysis

    E. T. Whittaker and G. N. Watson (1996)
    Domain Context
  404. Cited 1× Foundations and Logic Book

    The Myth of Repressed Memory: False Memories and Allegations of Sexual Abuse

    Elizabeth Loftus and Katherine Ketcham (1996)
    Formal Antecedent Book VII
  405. In corpus Physics Book

    Time's Arrow and Archimedes' Point: New Directions for the Physics of Time

    Huw Price (1996)
    Domain Context
  406. In corpus Foundations and Logic Article

    Bornes pour la torsion des courbes elliptiques sur les corps de nombres

    Loïc Merel (1996)
    Formal Antecedent
  407. In corpus Topology and Geometry Book

    Partial Differential Equations III: Nonlinear Equations

    M. E. Taylor (1996)
    Domain Context
  408. In corpus Foundations and Logic Book

    The Significance of Free Will

    Robert Kane (1996)
    Formal Antecedent
  409. In corpus Number Theory and Analysis Article

    Zeros of principal L-functions and random matrix theory

    Rudnick, Z. and Sarnak, P. (1996)
    Domain Context
  410. In corpus Foundations and Logic Book

    Foundations of Differential Geometry. Vol. I

    Shoshichi Kobayashi and Katsumi Nomizu (1996)
    Formal Antecedent
  411. In corpus Foundations and Logic Book

    Une introduction aux motifs (motifs purs, motifs mixtes, périodes)

    Yves André (1996)
    Domain Context
  412. In corpus Number Theory and Analysis Article

    Modular elliptic curves and Fermat's Last Theorem

    A. Wiles (1995)
    Domain Context
  413. In corpus Number Theory and Analysis Article

    Modular elliptic curves and Fermat's Last Theorem

    Andrew Wiles (1995)
    Domain Context
  414. Cited 2× Life and Biology Article

    Facing Up to the Problem of Consciousness

    Chalmers, David J. (1995)
    Domain Context Book VI
  415. In corpus Foundations and Logic Book

    Applied Analysis of the Navier–Stokes Equations

    Charles R. Doering and James D. Gibbon (1995)
    Formal Antecedent
  416. In corpus Topology and Geometry Article

    The local index formula in noncommutative geometry

    Connes, Alain and Moscovici, Henri (1995)
    Domain Context
  417. In corpus Topology and Geometry Book

    Spectral Theory and Differential Operators

    Davies, Edward B. (1995)
    Domain Context
  418. Cited 1× Foundations and Logic Book

    A Course in Abstract Harmonic Analysis

    Gerald B. Folland (1995)
    Domain Context Book II
  419. In corpus Number Theory and Analysis Book

    Introduction to Analytic and Probabilistic Number Theory

    Gérald Tenenbaum (1995)
    Domain Context
  420. In corpus Foundations and Logic Book

    Algebraic Set Theory

    Joyal, André and Moerdijk, Ieke (1995)
    Formal Antecedent
  421. In corpus Physics Book

    Quantum Groups

    Kassel, Christian (1995)
    Domain Context
  422. In corpus Physics Book

    Introduction to Space Physics

    Kivelson, Margaret G. and Russell, Christopher T. (1995)
    Domain Context
  423. Cited 2× Physics Article

    The World as a Hologram

    Leonard Susskind (1995)
    Domain Context Book II
  424. In corpus Topology and Geometry Article

    Determinants of Elliptic Pseudodifferential Operators

    Maxim Kontsevich and Sergey Vishik (1995)
    Domain Context
  425. In corpus Foundations and Logic Article

    A Jupiter-Mass Companion to a Solar-Type Star

    Mayor, Michel and Queloz, Didier (1995)
    Formal Antecedent
  426. In corpus Physics Book

    An Introduction to Quantum Field Theory

    Michael E. Peskin and Daniel V. Schroeder (1995)
    Domain Context
  427. In corpus Category Theory Unpublished

    First Order Logic with Dependent Sorts, with Applications to Category Theory

    Michael Makkai (1995)
    Formal Antecedent
  428. In corpus Life and Biology Article

    On a Confusion About a Function of Consciousness

    Ned Block (1995)
    Domain Context
  429. In corpus Physics Book

    An Introduction to Quantum Field Theory

    Peskin, Michael E. and Schroeder, Daniel V. (1995)
    Domain Context
  430. In corpus Foundations and Logic Book

    Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem

    Peter B. Gilkey (1995)
    Formal Antecedent
  431. In corpus Computation and Complexity Conference Paper

    A personal view of average-case complexity

    Russell Impagliazzo (1995)
    Domain Context
  432. In corpus Life and Biology Article

    The Major Transitions in Evolution

    Smith, John Maynard and Szathmáry, Eörs (1995)
    Domain Context
  433. In corpus Foundations and Logic Book

    The Quantum Theory of Fields, Vol. 1: Foundations

    Steven Weinberg (1995)
    Formal Antecedent
  434. In corpus Physics Book

    The Quantum Theory of Fields

    Steven Weinberg (1995)
    Domain Context
  435. In corpus Foundations and Logic Book

    Perturbation Theory for Linear Operators

    T. Kato (1995)
    Formal Antecedent
  436. In corpus Foundations and Logic Book

    Perturbation Theory for Linear Operators

    T. Kato (1995)
    Formal Antecedent
  437. In corpus Life and Biology Article

    Thin position and the recognition problem for S^3

    Abigail Thompson (1994)
    Domain Context
  438. In corpus Life and Biology Book

    Descartes' Error: Emotion, Reason, and the Human Brain

    Antonio Damasio (1994)
    Domain Context
  439. In corpus Physics Book

    Gauge Fields, Knots and Gravity

    Baez, John C. and Muniain, Javier P. (1994)
    Domain Context
  440. In corpus Physics Book

    Gauge Fields, Knots and Gravity

    Baez, John C. and Muniain, Javier P. (1994)
    Domain Context
  441. In corpus Category Theory Book

    Gauge Fields, Knots and Gravity

    Baez, John C. and Muniain, Javier P. (1994)
    Foundational Source
  442. In corpus Category Theory Book

    Handbook of categorical algebra 3: Categories of sheaves

    Borceux, Francis (1994)
    Domain Context
  443. In corpus Foundations and Logic Book

    An Introduction to Homological Algebra

    Charles A. Weibel (1994)
    Domain Context
  444. In corpus Topology and Geometry Book

    Noncommutative Geometry

    Connes, Alain (1994)
    Domain Context
  445. In corpus Category Theory Book

    Fibre Bundles

    Dale Husemoller (1994)
    Foundational Source
  446. In corpus Topology and Geometry Article

    Mayer-Vietoris type formula for determinants of elliptic differential operators

    Dan Burghelea and Leonid Friedlander and Thomas Kappeler (1994)
    Domain Context
  447. In corpus Foundations and Logic Book Chapter

    Approach to equilibrium of Glauber dynamics in the one phase region: I. The attractive case

    F. Martinelli and E. Olivieri (1994)
    Formal Antecedent
  448. In corpus Topology and Geometry Book

    Principles of Algebraic Geometry

    Griffiths, Phillip and Harris, Joseph (1994)
    Domain Context
  449. In corpus Life and Biology Book Chapter

    An algorithm to recognize the 3-sphere

    J. Hyam Rubinstein (1994)
    Domain Context
  450. In corpus Number Theory and Analysis Book

    Advanced Topics in the Arithmetic of Elliptic Curves

    Joseph H. Silverman (1994)
    Domain Context
  451. In corpus Number Theory and Analysis Book

    Advanced Topics in the Arithmetic of Elliptic Curves

    Joseph H. Silverman (1994)
    Domain Context
  452. In corpus Number Theory and Analysis Book

    Advanced Topics in the Arithmetic of Elliptic Curves

    Joseph H. Silverman (1994)
    Domain Context
  453. In corpus Number Theory and Analysis Book

    Algebraic number theory

    Lang, Serge (1994)
    Domain Context
  454. In corpus Foundations and Logic Conference Paper

    Homological algebra of mirror symmetry

    Maxim Kontsevich (1994)
    Formal Antecedent
  455. In corpus Life and Biology Article

    Hardness vs Randomness

    Noam Nisan and Avi Wigderson (1994)
    Domain Context
  456. In corpus Foundations and Logic Book

    The Language Instinct

    Pinker, Steven (1994)
    Formal Antecedent
  457. In corpus Metaphysics and Philosophy Book

    Shadows of the Mind: A Search for the Missing Science of Consciousness

    Roger Penrose (1994)
    Conceptual Bridge
  458. In corpus Physics Article

    Life as a Manifestation of the Second Law of Thermodynamics

    Schneider, Eric D. and Kay, James J. (1994)
    Domain Context
  459. In corpus Physics Book

    Black Holes and Time Warps: Einstein's Outrageous Legacy

    Thorne, Kip S. (1994)
    Domain Context
  460. In corpus Topology and Geometry Book

    Quantum Invariants of Knots and 3-Manifolds

    Turaev, Vladimir (1994)
    Domain Context
  461. In corpus Foundations and Logic Book

    The Statistical Mechanics of Lattice Gases, Volume I

    Barry Simon (1993)
    Formal Antecedent
  462. In corpus Foundations and Logic Book

    Complex Dynamics

    Carleson, Lennart and Gamelin, Theodore W. (1993)
    Formal Antecedent
  463. In corpus Number Theory and Analysis Book

    A course in computational algebraic number theory

    Cohen, Henri (1993)
    Domain Context
  464. In corpus Topology and Geometry Book

    Several complex variables and the geometry of real hypersurfaces

    D'Angelo, John P. (1993)
    Domain Context
  465. In corpus Foundations and Logic Book

    Introduction to Toric Varieties

    Fulton, William (1993)
    Domain Context
  466. In corpus Physics Article

    Dimensional Reduction in Quantum Gravity

    Gerard 't Hooft (1993)
    Domain Context
  467. Cited 2× Physics Miscellaneous

    Dimensional Reduction in Quantum Gravity

    Gerard t'Hooft (1993)
    Domain Context Book II
  468. In corpus Life and Biology Book

    The Origins of Order: Self-Organization and Selection in Evolution

    Kauffman, Stuart A. (1993)
    Domain Context
  469. Cited 2× Number Theory and Analysis Book

    Introduction to Elliptic Curves and Modular Forms

    Neal Koblitz (1993)
    Domain Context Book II
  470. In corpus Foundations and Logic Book

    Hilbert's Tenth Problem

    Yuri Matiyasevich (1993)
    Formal Antecedent
  471. In corpus Number Theory and Analysis Article

    The 10²⁰-th zero of the Riemann zeta function and 70 million of its neighbours

    Andrew M. Odlyzko (1992)
    Domain Context
  472. In corpus Life and Biology Article

    Log-Sobolev inequalities for infinite spin systems

    B. Zegarlinski (1992)
    Domain Context
  473. In corpus Foundations and Logic Book

    The Cauchy transform, potential theory, and conformal mapping

    Bell, Steven R. (1992)
    Formal Antecedent
  474. In corpus Foundations and Logic Book

    Heat Kernels and Dirac Operators

    Berline, Nicole and Getzler, Ezra and Vergne, Michèle (1992)
    Formal Antecedent
  475. In corpus Foundations and Logic Article

    One cannot hear the shape of a drum

    Carolyn Gordon and David Webb and Scott Wolpert (1992)
    Formal Antecedent
  476. In corpus Foundations and Logic Article

    One Cannot Hear the Shape of a Drum

    Carolyn S. Gordon and David L. Webb and Scott Wolpert (1992)
    Formal Antecedent
  477. In corpus Number Theory and Analysis Article

    Some analogies between number theory and dynamical systems on foliated spaces

    Christopher Deninger (1992)
    Domain Context
  478. In corpus Foundations and Logic Book

    The Rediscovery of the Mind

    John Searle (1992)
    Formal Antecedent
  479. Cited 1× Foundations and Logic Book

    Function theory of several complex variables

    Krantz, Steven G. (1992)
    Formal Antecedent Book II
  480. In corpus Category Theory Book

    Sheaves in geometry and logic

    Mac Lane, Saunders and Moerdijk, Ieke (1992)
    Foundational Source
  481. Cited 1× Category Theory Book

    Sheaves in Geometry and Logic: A First Introduction to Topos Theory

    Mac Lane, Saunders and Moerdijk, Ieke (1992)
    Domain Context Book I
  482. In corpus Topology and Geometry Book

    Riemannian Geometry

    Manfredo P. do Carmo (1992)
    Domain Context
  483. In corpus Topology and Geometry Book

    Riemannian Geometry

    Manfredo P. do Carmo (1992)
    Domain Context
  484. In corpus Topology and Geometry Book

    Geometric Quantization

    Nicholas M. J. Woodhouse (1992)
    Domain Context
  485. In corpus Foundations and Logic Book

    Boundary behaviour of conformal maps

    Pommerenke, Christian (1992)
    Formal Antecedent
  486. In corpus Life and Biology Article

    Neocortex Size as a Constraint on Group Size in Primates

    Robin I. M. Dunbar (1992)
    Domain Context
  487. Cited 1× Topology and Geometry Article

    Structure in the COBE Differential Microwave Radiometer First-Year Maps

    Smoot, George F. and others (1992)
    Domain Context Book V
  488. In corpus Foundations and Logic Article

    Motives, numerical equivalence, and semi-simplicity

    Uwe Jannsen (1992)
    Formal Antecedent
  489. In corpus Topology and Geometry Book

    CR Manifolds and the Tangential Cauchy-Riemann Complex

    Albert Boggess (1991)
    Domain Context
  490. In corpus Number Theory and Analysis Article

    Some analogies between number theory and dynamical systems

    Christopher Deninger (1991)
    Domain Context
  491. In corpus Metaphysics and Philosophy Book

    Consciousness Explained

    Daniel C. Dennett (1991)
    Conceptual Bridge
  492. In corpus Foundations and Logic Book

    Lectures on Riemann surfaces

    Forster, Otto (1991)
    Formal Antecedent
  493. In corpus Life and Biology Book

    The Embodied Mind: Cognitive Science and Human Experience

    Francisco J. Varela and Evan Thompson and Eleanor Rosch (1991)
    Domain Context
  494. In corpus Number Theory and Analysis Book

    Lectures on Elliptic Curves

    J. W. S. Cassels (1991)
    Domain Context
  495. In corpus Number Theory and Analysis Book

    Lectures on Elliptic Curves

    J. W. S. Cassels (1991)
    Domain Context
  496. In corpus Foundations and Logic Book

    Pluripotential theory

    Klimek, Maciej (1991)
    Formal Antecedent
  497. In corpus Foundations and Logic Book

    Theory of Complex Functions

    Remmert, Reinhold (1991)
    Formal Antecedent
  498. In corpus Topology and Geometry Article

    Invariants of 3-manifolds via link polynomials and quantum groups

    Reshetikhin, N. and Turaev, V. G. (1991)
    Domain Context
  499. Cited 1× Foundations and Logic Article

    Reflecting on Incompleteness

    Solomon Feferman (1991)
    Formal Antecedent Book I
  500. In corpus Foundations and Logic Book

    Representation Theory: A First Course

    William Fulton and Joe Harris (1991)
    Domain Context
  501. In corpus Category Theory Book

    Abstract and Concrete Categories: The Joy of Cats

    Adámek, Jiř\'ı and Herrlich, Horst and Strecker, George E. (1990)
    Foundational Source
  502. In corpus Topology and Geometry Book

    Spectral Theory and Analytic Geometry over Non-Archimedean Fields

    Berkovich, Vladimir G. (1990)
    Domain Context
  503. In corpus Foundations and Logic Book

    A Course in Functional Analysis

    Conway, John B. (1990)
    Domain Context
  504. In corpus Foundations and Logic Article

    Topological Gauge Theories and Group Cohomology

    Dijkgraaf, R. and Witten, E. (1990)
    Formal Antecedent
  505. In corpus Physics Article

    Digital Mechanics: An Informational Process Based on Reversible Universal Cellular Automata

    Edward Fredkin (1990)
    Domain Context
  506. In corpus Foundations and Logic Book

    Longevity, Senescence, and the Genome

    Finch, Caleb E. (1990)
    Formal Antecedent
  507. Cited 3× Foundations and Logic Book

    An introduction to complex analysis in several variables

    Hörmander, Lars (1990)
    Domain Context Book II
  508. In corpus Number Theory and Analysis Book

    A classical introduction to modern number theory

    Ireland, Kenneth and Rosen, Michael (1990)
    Domain Context
  509. In corpus Computation and Complexity Article

    On the computational complexity of the Jones and Tutte polynomials

    Jaeger, F. and Vertigan, D. L. and Welsh, D. J. A. (1990)
    Domain Context
  510. In corpus Physics Book Chapter

    Information, Physics, Quantum: The Search for Links

    John Archibald Wheeler (1990)
    Domain Context
  511. In corpus Category Theory Book

    Sheaves on manifolds

    Kashiwara, Masaki and Schapira, Pierre (1990)
    Foundational Source
  512. Cited 2× Foundations and Logic Book

    The Early Universe

    Kolb, Edward W. and Turner, Michael S. (1990)
    Formal Antecedent Book V
  513. In corpus Category Theory Book

    Sheaves on Manifolds

    Masaki Kashiwara and Pierre Schapira (1990)
    Foundational Source
  514. In corpus Foundations and Logic Book

    Néron Models

    S. Bosch and W. Lütkebohmert and M. Raynaud (1990)
    Formal Antecedent
  515. In corpus Foundations and Logic Book

    Néron Models

    Siegfried Bosch and Werner Lütkebohmert and Michel Raynaud (1990)
    Formal Antecedent
  516. In corpus Category Theory Book Chapter

    L-functions and Tamagawa numbers of motives

    Spencer Bloch and Kazuya Kato (1990)
    Formal Antecedent
  517. In corpus Physics Book

    Superfluidity and Superconductivity

    Tilley, David R. and Tilley, John (1990)
    Domain Context
  518. In corpus Number Theory and Analysis Article

    Finiteness of Ш and the Birch and Swinnerton-Dyer conjecture for modular elliptic curves

    Victor A. Kolyvagin (1990)
    Domain Context
  519. In corpus Topology and Geometry Book

    Twistor geometry and field theory

    Ward, R. S. and Wells, Raymond O. (1990)
    Domain Context
  520. In corpus Foundations and Logic Book

    The Penrose transform: its interaction with representation theory

    Baston, Ronald J. and Eastwood, Michael G. (1989)
    Formal Antecedent
  521. In corpus Foundations and Logic Book

    Elliptic Functions and Applications

    D. F. Lawden (1989)
    Formal Antecedent
  522. In corpus Topology and Geometry Book

    Heat Kernels and Spectral Theory

    Davies, Edward B. (1989)
    Domain Context
  523. In corpus Physics Book

    The Physical Basis of The Direction of Time

    H. Dieter Zeh (1989)
    Domain Context
  524. In corpus Foundations and Logic Book

    Studies in the Way of Words

    H. P. Grice (1989)
    Formal Antecedent
  525. In corpus Foundations and Logic Book

    Commutative Ring Theory

    Hideyuki Matsumura (1989)
    Formal Antecedent
  526. In corpus Foundations and Logic Book

    Basic algebra II

    Jacobson, Nathan (1989)
    Formal Antecedent
  527. Cited 1× Foundations and Logic Book Chapter

    Geometry of Interaction I: Interpretation of System~F

    Jean-Yves Girard (1989)
    Formal Antecedent Book I
  528. In corpus Computation and Complexity Article

    On a Theory of Computation and Complexity over the Real Numbers: NP-Completeness, Recursive Functions and Universal Machines

    L. Blum and M. Shub and S. Smale (1989)
    Domain Context
  529. In corpus Foundations and Logic Book

    Computability in Analysis and Physics

    Pour-El, Marian B. and Richards, J. Ian (1989)
    Formal Antecedent
  530. In corpus Physics Book

    The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics

    Roger Penrose (1989)
    Domain Context
  531. In corpus Physics Article

    Quantum Physics and the Identity of Indiscernibles

    Steven French and Michael Redhead (1989)
    Domain Context
  532. In corpus Foundations and Logic Article

    The Cosmological Constant Problem

    Weinberg, Steven (1989)
    Formal Antecedent
  533. In corpus Physics Article

    Quantum field theory and the Jones polynomial

    Witten, Edward (1989)
    Domain Context
  534. In corpus Category Theory Book

    Toposes and local set theories: an introduction

    Bell, John L. (1988)
    Domain Context
  535. Cited 2× Life and Biology Book

    A Cognitive Theory of Consciousness

    Bernard J. Baars (1988)
    Domain Context Book VII
  536. In corpus Foundations and Logic Book Chapter

    Group representations in probability and statistics

    Diaconis, Persi (1988)
    Formal Antecedent
  537. In corpus Physics Book

    Introductory Nuclear Physics

    Kenneth S. Krane (1988)
    Domain Context
  538. In corpus Foundations and Logic Book

    Kleinian groups

    Maskit, Bernard (1988)
    Formal Antecedent
  539. In corpus Foundations and Logic Book

    A course in constructive algebra

    Mines, Raymond and Richman, Fred and Ruitenburg, Wim (1988)
    Domain Context
  540. In corpus Number Theory and Analysis Article

    Fast algorithms for multiple evaluations of the Riemann zeta function

    Odlyzko, Andrew M. and Schönhage, Arnold (1988)
    Domain Context
  541. In corpus Foundations and Logic Book

    Navier–Stokes Equations

    Peter Constantin and Ciprian Foias (1988)
    Formal Antecedent
  542. In corpus Foundations and Logic Article

    The Calculus of Constructions

    Thierry Coquand and Gérard Huet (1988)
    Formal Antecedent
  543. In corpus Foundations and Logic Book

    Constructivism in Mathematics: An Introduction

    Troelstra, Anne Sjerp and van Dalen, Dirk (1988)
    Domain Context
  544. In corpus Topology and Geometry Book

    Einstein Manifolds

    A. L. Besse (1987)
    Domain Context
  545. In corpus Number Theory and Analysis Article

    On the distribution of spacings between zeros of the zeta function

    Andrew M. Odlyzko (1987)
    Domain Context
  546. In corpus Physics Article

    Space-time as a causal set

    Bombelli, Luca and Lee, Joohan and Meyer, David and Sorkin, Rafael D. (1987)
    Domain Context
  547. In corpus Foundations and Logic Book

    Varieties of constructive mathematics

    Bridges, Douglas S. and Richman, Fred (1987)
    Formal Antecedent
  548. In corpus Foundations and Logic Book

    Introduction to Modern Statistical Mechanics

    Chandler, David (1987)
    Domain Context
  549. In corpus Foundations and Logic Book

    Varieties of Constructive Mathematics

    Douglas S. Bridges and Fred Richman (1987)
    Formal Antecedent
  550. In corpus Physics Article

    Quantum groups

    Drinfeld, V. G. (1987)
    Domain Context
  551. In corpus Physics Book

    Quantum Physics: A Functional Integral Point of View

    James Glimm and Arthur Jaffe (1987)
    Domain Context
  552. In corpus Foundations and Logic Article

    Linear Logic

    Jean-Yves Girard (1987)
    Formal Antecedent
  553. In corpus Physics Book

    Speakable and Unspeakable in Quantum Mechanics

    John S. Bell (1987)
    Domain Context
  554. In corpus Number Theory and Analysis Book

    Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity

    Jonathan M. Borwein and Peter B. Borwein (1987)
    Domain Context
  555. In corpus Physics Book

    Fluid Mechanics

    L. D. Landau and E. M. Lifshitz (1987)
    Domain Context
  556. In corpus Physics Article

    Logarithmic Sobolev inequalities and stochastic Ising models

    R. Holley and D. Stroock (1987)
    Domain Context
  557. Cited 5× Foundations and Logic Book

    Real and complex analysis

    Rudin, Walter (1987)
    Formal Antecedent Book II
  558. In corpus Number Theory and Analysis Book

    Elliptic Curves: Diophantine Analysis

    Serge Lang (1987)
    Domain Context
  559. In corpus Foundations and Logic Book

    Recursively Enumerable Sets and Degrees

    Soare, Robert I. (1987)
    Formal Antecedent
  560. In corpus Number Theory and Analysis Article

    Spectral functions, special functions and the Selberg zeta function

    Voros, A. (1987)
    Domain Context
  561. In corpus Foundations and Logic Article

    Construction de multiplicités d’autovalues de l’opérateur de Laplace sur une surface

    Yves Colin de Verdière (1987)
    Formal Antecedent
  562. In corpus Life and Biology Book

    Epistemology and Cognition

    Alvin Goldman (1986)
    Domain Context
  563. In corpus Foundations and Logic Article

    Heegner points and derivatives of L-series

    B. H. Gross and D. B. Zagier (1986)
    Formal Antecedent
  564. In corpus Foundations and Logic Article

    Possible High Tc Superconductivity in the Ba–La–Cu–O System

    Bednorz, Johannes Georg and Müller, Karl Alexander (1986)
    Formal Antecedent
  565. In corpus Category Theory Book

    Cohomology of Sheaves

    Birger Iversen (1986)
    Foundational Source
  566. In corpus Topology and Geometry Article

    Spectral geometry: direct and inverse problems

    Bérard, Pierre (1986)
    Domain Context
  567. Cited 1× Foundations and Logic Book

    On the Plurality of Worlds

    David Lewis (1986)
    Formal Antecedent Book VII
  568. Cited 1× Number Theory and Analysis Book

    The Theory of the Riemann Zeta-Function

    E. C. Titchmarsh (1986)
    Domain Context Book II
  569. In corpus Number Theory and Analysis Book

    Arithmetic Duality Theorems

    James S. Milne (1986)
    Domain Context
  570. In corpus Category Theory Book

    Introduction to Higher-Order Categorical Logic

    Joachim Lambek and Philip J. Scott (1986)
    Domain Context
  571. Cited 3× Number Theory and Analysis Book

    The Arithmetic of Elliptic Curves

    Joseph H. Silverman (1986)
    Domain Context Book II
  572. In corpus Number Theory and Analysis Book

    The Arithmetic of Elliptic Curves

    Joseph H. Silverman (1986)
    Domain Context
  573. In corpus Physics Article

    Cluster expansion for abstract polymer models

    R. Kotecký and D. Preiss (1986)
    Domain Context
  574. Cited 2× Foundations and Logic Book

    Holomorphic functions and integral representations in several complex variables

    Range, R. Michael (1986)
    Formal Antecedent Book II
  575. In corpus Topology and Geometry Book

    Spinors and Space-Time: Volume 2, Spinor and Twistor Methods in Space-Time Geometry

    Roger Penrose and Wolfgang Rindler (1986)
    Domain Context
  576. In corpus Foundations and Logic Book

    Rotations, Quaternions, and Double Groups

    Simon L. Altmann (1986)
    Formal Antecedent
  577. In corpus Category Theory Book

    Toposes, triples and theories

    Barr, Michael and Wells, Charles (1985)
    Foundational Source
  578. In corpus Foundations and Logic Book

    Foundations of Constructive Mathematics: Metamathematical Studies

    Beeson, Michael J. (1985)
    Formal Antecedent
  579. In corpus Foundations and Logic Book Chapter

    Diffusions hypercontractives

    D. Bakry and M. Émery (1985)
    Formal Antecedent
  580. In corpus Foundations and Logic Article

    Determinants of Cauchy-Riemann operators over a Riemann surface

    Daniel Quillen (1985)
    Formal Antecedent
  581. In corpus Foundations and Logic Book

    Constructive Analysis

    Errett Bishop and Douglas Bridges (1985)
    Formal Antecedent
  582. In corpus Physics Book

    Thermodynamics and an Introduction to Thermostatistics

    Herbert B. Callen (1985)
    Domain Context
  583. In corpus Life and Biology Article

    The Trolley Problem

    Judith Jarvis Thomson (1985)
    Domain Context
  584. In corpus Topology and Geometry Book

    The Analysis of Linear Partial Differential Operators IV

    L. Hörmander (1985)
    Domain Context
  585. In corpus Foundations and Logic Book

    SL(2, C)

    Lang, Serge (1985)
    Formal Antecedent
  586. In corpus Topology and Geometry Article

    Riemannian coverings and isospectral manifolds

    Toshikazu Sunada (1985)
    Domain Context
  587. In corpus Foundations and Logic Book

    Non-Archimedean analysis

    Bosch, Siegfried and Güntzer, Ulrich and Remmert, Reinhold (1984)
    Formal Antecedent
  588. In corpus Topology and Geometry Book

    Eigenvalues in Riemannian Geometry

    Chavel, Isaac (1984)
    Domain Context
  589. In corpus Foundations and Logic Book

    Reasons and Persons

    Derek Parfit (1984)
    Formal Antecedent
  590. In corpus Topology and Geometry Book

    Differentiable Manifolds: Forms, Currents, Harmonic Forms

    Georges de Rham (1984)
    Domain Context
  591. In corpus Foundations and Logic Book

    Theory of Stein spaces

    Grauert, Hans and Remmert, Reinhold (1984)
    Formal Antecedent
  592. In corpus Physics Article

    Remarks on the breakdown of smooth solutions for the 3-D Euler equations

    J. T. Beale and T. Kato and A. Majda (1984)
    Domain Context
  593. In corpus Foundations and Logic Book

    Soziale Systeme: Grundriß einer allgemeinen Theorie

    Niklas Luhmann (1984)
    Formal Antecedent
  594. In corpus Foundations and Logic Book

    Intuitionistic Type Theory

    Per Martin-Löf (1984)
    Formal Antecedent
  595. In corpus Foundations and Logic Book

    Order Out of Chaos: Man's New Dialogue with Nature

    Prigogine, Ilya and Stengers, Isabelle (1984)
    Formal Antecedent
  596. In corpus Physics Book

    General Relativity

    Robert M. Wald (1984)
    Domain Context
  597. In corpus Foundations and Logic Book

    Ultrametric calculus: an introduction to p-adic analysis

    Schikhof, W. H. (1984)
    Domain Context
  598. In corpus Physics Book

    General Relativity

    Wald, Robert M. (1984)
    Domain Context
  599. In corpus Foundations and Logic Article

    The symplectic nature of fundamental groups of surfaces

    William M. Goldman (1984)
    Formal Antecedent
  600. In corpus Topology and Geometry Book

    Semigroups of Linear Operators and Applications to Partial Differential Equations

    A. Pazy (1983)
    Domain Context
  601. In corpus Topology and Geometry Article

    The Yang-Mills equations over Riemann surfaces

    Atiyah, M. F. and Bott, R. (1983)
    Domain Context
  602. In corpus Topology and Geometry Book

    The geometry of discrete groups

    Beardon, Alan F. (1983)
    Domain Context
  603. In corpus Life and Biology Article

    Time of Conscious Intention to Act in Relation to Onset of Cerebral Activity (Readiness-Potential)

    Benjamin Libet and Curtis A. Gleason and Elwood W. Wright and Dennis K. Pearl (1983)
    Domain Context
  604. In corpus Foundations and Logic Article

    Necessary conditions for subellipticity of the ∂‾-Neumann problem

    Catlin, David W. (1983)
    Formal Antecedent
  605. In corpus Foundations and Logic Book

    The Selberg Trace Formula for PSL(2,R), Volume 1

    D. A. Hejhal (1983)
    Formal Antecedent
  606. In corpus Foundations and Logic Article

    Endlichkeitssätze für abelsche Varietäten

    G. Faltings (1983)
    Formal Antecedent
  607. In corpus Physics Article

    A Modification of the Newtonian Dynamics as a Possible Alternative to the Hidden Mass Hypothesis

    Milgrom, Mordehai (1983)
    Domain Context
  608. In corpus Physics Book

    Black Holes, White Dwarfs, and Neutron Stars: The Physics of Compact Objects

    Shapiro, Stuart L. and Teukolsky, Saul A. (1983)
    Domain Context
  609. In corpus Foundations and Logic Book

    Black Holes, White Dwarfs, and Neutron Stars

    Stuart L. Shapiro and Saul A. Teukolsky (1983)
    Formal Antecedent
  610. In corpus Life and Biology Book

    The Case for Animal Rights

    Tom Regan (1983)
    Domain Context
  611. Cited 2× Physics Article

    Experimental Observation of Lepton Pairs of Invariant Mass Around 95 GeV/c2

    UA1 Collaboration (1983)
    Domain Context Book IV
  612. Cited 2× Physics Article

    Experimental Observation of Isolated Large Transverse Energy Electrons with Associated Missing Energy at sqrts = 540 GeV

    UA1 Collaboration and G. Arnison and others (1983)
    Domain Context Book IV
  613. In corpus Metaphysics and Philosophy Book Chapter

    Philosophy of Mathematics: Selected Readings

    Unknown (1983)
    Conceptual Bridge
  614. In corpus Topology and Geometry Book

    Metamathematische Methoden in der Geometrie

    Wolfram Schwabhäuser and Wanda Szmielew and Alfred Tarski (1983)
    Domain Context
  615. In corpus Topology and Geometry Article

    A note on the isoperimetric constant and the first eigenvalue of a compact Riemannian manifold

    Buser, Peter (1982)
    Domain Context
  616. Cited 1× Category Theory Book

    Basic Concepts of Enriched Category Theory

    G. Max Kelly (1982)
    Foundational Source Book II
  617. In corpus Foundations and Logic Book

    Stone spaces

    Johnstone, Peter T. (1982)
    Formal Antecedent
  618. In corpus Foundations and Logic Book

    Stone Spaces

    Johnstone, Peter T. (1982)
    Formal Antecedent
  619. Cited 3× Physics Article

    A New Inflationary Universe Scenario: A Possible Solution of the Horizon, Flatness, Homogeneity, Isotropy and Primordial Monopole Problems

    Linde, Andrei D. (1982)
    Domain Context Book V
  620. In corpus Life and Biology Book

    Subtle Is the Lord: The Science and the Life of Albert Einstein

    Pais, Abraham (1982)
    Domain Context
  621. Cited 1× Foundations and Logic Book

    Stone Spaces

    Peter T. Johnstone (1982)
    Formal Antecedent Book II
  622. In corpus Foundations and Logic Book

    Stone Spaces

    Peter T. Johnstone (1982)
    Formal Antecedent
  623. In corpus Foundations and Logic Book

    An Introduction to Ergodic Theory

    Peter Walters (1982)
    Domain Context
  624. In corpus Topology and Geometry Article

    Three-manifolds with positive Ricci curvature

    R. S. Hamilton (1982)
    Domain Context
  625. In corpus Topology and Geometry Book

    Differential Forms in Algebraic Topology

    Raoul Bott and Loring W. Tu (1982)
    Domain Context
  626. In corpus Physics Article

    Two-Dimensional Magnetotransport in the Extreme Quantum Limit

    Tsui, Daniel C. and Stormer, Horst L. and Gossard, Arthur C. (1982)
    Domain Context
  627. Cited 1× Physics Article

    Inflationary Universe: A Possible Solution to the Horizon and Flatness Problems

    Alan H. Guth (1981)
    Domain Context Book V
  628. Cited 1× Foundations and Logic Book

    After Virtue: A Study in Moral Theory

    Alasdair MacIntyre (1981)
    Formal Antecedent Book VII
  629. In corpus Foundations and Logic Book

    The Transfiguration of the Commonplace

    Arthur Danto (1981)
    Formal Antecedent
  630. In corpus Life and Biology Article

    The Evolution of Cooperation

    Axelrod, Robert and Hamilton, William D. (1981)
    Domain Context
  631. In corpus Foundations and Logic Book

    Methods of representation theory, Vol. I

    Curtis, Charles W. and Reiner, Irving (1981)
    Formal Antecedent
  632. In corpus Foundations and Logic Book

    Lectures on Riemann Surfaces

    Forster, Otto (1981)
    Formal Antecedent
  633. Cited 2× Physics Article

    Inflationary Universe: A Possible Solution to the Horizon and Flatness Problems

    Guth, Alan H. (1981)
    Domain Context Book V
  634. In corpus Foundations and Logic Book

    Reason, Truth, and History

    Hilary Putnam (1981)
    Formal Antecedent
  635. In corpus Physics Article

    Universal upper bound on the entropy-to-energy ratio for bounded systems

    Jacob D. Bekenstein (1981)
    Domain Context
  636. In corpus Foundations and Logic Book

    Theorie des kommunikativen Handelns

    Jürgen Habermas (1981)
    Formal Antecedent
  637. In corpus Topology and Geometry Book

    Synthetic differential geometry

    Kock, Anders (1981)
    Domain Context
  638. In corpus Foundations and Logic Article

    La métrique de Kobayashi et la représentation des domaines sur Cn

    Lempert, L. (1981)
    Formal Antecedent
  639. In corpus Physics Book

    Quantum Field Theory

    Claude Itzykson and Jean-Bernard Zuber (1980)
    Domain Context
  640. In corpus Number Theory and Analysis Book

    Multiplicative Number Theory

    Harold Davenport (1980)
    Domain Context
  641. In corpus Topology and Geometry Book

    Étale Cohomology

    J. S. Milne (1980)
    Domain Context
  642. In corpus Life and Biology Article

    Minds, Brains, and Programs

    John Searle (1980)
    Domain Context
  643. In corpus Foundations and Logic Book

    Set Theory: An Introduction to Independence Proofs

    Kenneth Kunen (1980)
    Domain Context
  644. In corpus Physics Book

    Statistical Physics, Part 1

    Landau, Lev D. and Lifshitz, Evgeny M. (1980)
    Domain Context
  645. In corpus Life and Biology Book

    Autopoiesis and Cognition: The Realization of the Living

    Maturana, Humberto R. and Varela, Francisco J. (1980)
    Domain Context
  646. Cited 3× Physics Book

    Methods of Modern Mathematical Physics I: Functional Analysis

    Michael Reed and Barry Simon (1980)
    Domain Context Book III
  647. In corpus Topology and Geometry Book

    Étale cohomology

    Milne, James S. (1980)
    Domain Context
  648. In corpus Foundations and Logic Book

    The Large-Scale Structure of the Universe

    P. J. E. Peebles (1980)
    Formal Antecedent
  649. In corpus Foundations and Logic Book

    A groupoid approach to C*-algebras

    Renault, Jean (1980)
    Formal Antecedent
  650. In corpus Physics Article

    Rotational Properties of 21 SC Galaxies with a Large Range of Luminosities and Radii, from NGC 4605 (R = 4 kpc) to UGC 2885 (R = 122 kpc)

    Rubin, Vera C. and Ford, W. Kent Jr. and Thonnard, Norbert (1980)
    Domain Context
  651. In corpus Foundations and Logic Book

    Cosmos

    Sagan, Carl (1980)
    Formal Antecedent
  652. In corpus Foundations and Logic Book

    Naming and Necessity

    Saul Kripke (1980)
    Formal Antecedent
  653. In corpus Physics Article

    New Method for High-Accuracy Determination of the Fine-Structure Constant Based on Quantized Hall Resistance

    von Klitzing, Klaus and Dorda, Gerhard and Pepper, Michael (1980)
    Domain Context
  654. In corpus Number Theory and Analysis Article

    Über die Berechnung der Zetafunktion

    A. Schönhage (1979)
    Domain Context
  655. Cited 6× Foundations and Logic Book

    Complex analysis

    Ahlfors, Lars V. (1979)
    Formal Antecedent Book II
  656. In corpus Foundations and Logic Article

    Quaternionic Analysis

    Anthony Sudbery (1979)
    Formal Antecedent
  657. In corpus Foundations and Logic Book

    Trace Ideals and Their Applications

    Barry Simon (1979)
    Formal Antecedent
  658. In corpus Foundations and Logic Book

    Trace Ideals and Their Applications

    Barry Simon (1979)
    Formal Antecedent
  659. In corpus Foundations and Logic Book

    An Introduction to the Theory of Numbers

    Godfrey H. Hardy and Edward M. Wright (1979)
    Domain Context
  660. In corpus Category Theory Book

    Coherent analytic sheaves

    Grauert, Hans and Remmert, Reinhold (1979)
    Foundational Source
  661. In corpus Foundations and Logic Book

    Das Prinzip Verantwortung

    Hans Jonas (1979)
    Formal Antecedent
  662. In corpus Foundations and Logic Book

    Abstract Harmonic Analysis. Vol. I: Structure of Topological Groups, Integration Theory, Group Representations

    Hewitt, Edwin and Ross, Kenneth A. (1979)
    Formal Antecedent
  663. In corpus Foundations and Logic Book

    Local Fields

    Jean-Pierre Serre (1979)
    Formal Antecedent
  664. Cited 1× Life and Biology Book

    Gaia: A New Look at Life on Earth

    Lovelock, James (1979)
    Domain Context Book VI
  665. Cited 1× Category Theory Book

    *-Autonomous Categories

    Michael Barr (1979)
    Foundational Source Book I
  666. In corpus Computation and Complexity Book

    Computers and Intractability: A Guide to the Theory of NP-Completeness

    Michael R. Garey and David S. Johnson (1979)
    Domain Context
  667. In corpus Foundations and Logic Book Chapter

    Complex Spinors and Unified Theories

    Murray Gell-Mann and Pierre Ramond and Richard Slansky (1979)
    Formal Antecedent
  668. In corpus Metaphysics and Philosophy Book

    Philosophy and the Mirror of Nature

    Richard Rorty (1979)
    Conceptual Bridge
  669. In corpus Topology and Geometry Miscellaneous

    The geometry and topology of three-manifolds

    William P. Thurston (1979)
    Domain Context
  670. In corpus Physics Book

    Thermodynamic Formalism

    David Ruelle (1978)
    Domain Context
  671. Cited 2× Topology and Geometry Book

    Principles of algebraic geometry

    Griffiths, Phillip and Harris, Joseph (1978)
    Domain Context Book II Book III
  672. In corpus Topology and Geometry Book

    Differential geometry, Lie groups, and symmetric spaces

    Helgason, Sigurdur (1978)
    Domain Context
  673. Cited 1× Foundations and Logic Book

    Functions of One Complex Variable I

    John B. Conway (1978)
    Formal Antecedent Book II
  674. In corpus Category Theory Book

    Methods of Modern Mathematical Physics. IV: Analysis of Operators

    Reed, Michael and Simon, Barry (1978)
    Foundational Source
  675. In corpus Life and Biology Article

    Algebraic cycles and the Weil conjectures

    S. L. Kleiman (1978)
    Domain Context
  676. In corpus Foundations and Logic Article

    Modular curves and the Eisenstein ideal

    Barry Mazur (1977)
    Formal Antecedent
  677. In corpus Foundations and Logic Article

    Notes on infinite determinants of Hilbert space operators

    Barry Simon (1977)
    Formal Antecedent
  678. In corpus Foundations and Logic Article

    Electromagnetic Extraction of Energy from Kerr Black Holes

    Blandford, Roger D. and Znajek, Roman L. (1977)
    Formal Antecedent
  679. In corpus Foundations and Logic Article

    Iterated Integrals and Exponential Homomorphisms

    Chen, Kuo-Tsai (1977)
    Formal Antecedent
  680. In corpus Number Theory and Analysis Article

    Proper holomorphic mappings between real-analytic pseudoconvex domains

    Diederich, Klaus and Fornæss, John Erik (1977)
    Domain Context
  681. In corpus Foundations and Logic Book

    Theory of Stein spaces

    Grauert, Hans and Remmert, Reinhold (1977)
    Formal Antecedent
  682. In corpus Foundations and Logic Book

    Linear Representations of Finite Groups

    Jean-Pierre Serre (1977)
    Formal Antecedent
  683. In corpus Number Theory and Analysis Article

    On the conjecture of Birch and Swinnerton-Dyer

    John Coates and Andrew Wiles (1977)
    Domain Context
  684. In corpus Category Theory Book

    Topos theory

    Johnstone, Peter T. (1977)
    Foundational Source
  685. In corpus Life and Biology Article

    Evolution of Ageing

    Kirkwood, Thomas B. L. (1977)
    Domain Context
  686. In corpus Category Theory Book

    First-Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

    Michael Makkai and Gonzalo E. Reyes (1977)
    Foundational Source
  687. In corpus Number Theory and Analysis Book

    p-adic Numbers, p-adic Analysis, and Zeta-Functions

    Neal Koblitz (1977)
    Domain Context
  688. Cited 1× Foundations and Logic Article

    A Useful Four-Valued Logic

    Nuel D. Belnap (1977)
    Formal Antecedent Book I
  689. In corpus Foundations and Logic Book

    The algebraic structure of group rings

    Passman, D. S. (1977)
    Formal Antecedent
  690. In corpus Physics Article

    μ → eγ at a Rate of One Out of 10⁹ Muon Decays?

    Peter Minkowski (1977)
    Domain Context
  691. Cited 1× Topology and Geometry Book

    Algebraic Geometry

    Robin Hartshorne (1977)
    Domain Context Book II
  692. In corpus Foundations and Logic Book

    Navier–Stokes Equations

    Roger Temam (1977)
    Formal Antecedent
  693. Cited 1× Foundations and Logic Book

    Pontryagin Duality and the Structure of Locally Compact Abelian Groups

    Sidney A. Morris (1977)
    Formal Antecedent Book II
  694. In corpus Life and Biology Article

    Phylogenetic Structure of the Prokaryotic Domain: The Primary Kingdoms

    Woese, Carl R. and Fox, George E. (1977)
    Domain Context
  695. In corpus Number Theory and Analysis Book

    Introduction to Analytic Number Theory

    Apostol, Tom M. (1976)
    Domain Context
  696. In corpus Physics Book

    Solid State Physics

    Ashcroft, Neil W. and Mermin, N. David (1976)
    Domain Context
  697. In corpus Foundations and Logic Article

    Sur la singularité des noyaux de Bergman et de {Szegő

    Boutet de Monvel, Louis and Sjöstrand, Johannes (1976)
    Formal Antecedent
  698. In corpus Foundations and Logic Book

    The Selfish Gene

    Dawkins, Richard (1976)
    Formal Antecedent
  699. In corpus Foundations and Logic Book

    The Selberg Trace Formula for PSL(2,ℝ)

    Dennis A. Hejhal (1976)
    Formal Antecedent
  700. In corpus Foundations and Logic Article

    Mathematics and Computer Science: Coping with Finiteness

    Donald E. Knuth (1976)
    Formal Antecedent
  701. In corpus Topology and Geometry Book

    3-Manifolds

    Hempel, John (1976)
    Domain Context
  702. In corpus Life and Biology Article

    Finite-difference approach to the Hodge theory of harmonic forms

    Jozef Dodziuk (1976)
    Domain Context
  703. In corpus Foundations and Logic Book

    Languages of Art: An Approach to a Theory of Symbols

    Nelson Goodman (1976)
    Formal Antecedent
  704. In corpus Foundations and Logic Book

    Knots and Links

    Rolfsen, Dale (1976)
    Formal Antecedent
  705. In corpus Topology and Geometry Book

    Differential geometry of curves and surfaces

    do Carmo, Manfredo P. (1976)
    Domain Context
  706. In corpus Number Theory and Analysis Book

    Transcendental number theory

    Baker, Alan (1975)
    Domain Context
  707. In corpus Physics Article

    Particle Creation by Black Holes

    Hawking, Stephen W. (1975)
    Domain Context
  708. In corpus Topology and Geometry Book Chapter

    The Regulator and the refined definition of heights

    John Tate (1975)
    Domain Context
  709. In corpus Foundations and Logic Article

    Axioms for Euclidean Green's functions. II

    K. Osterwalder and R. Schrader (1975)
    Formal Antecedent
  710. In corpus Topology and Geometry Article

    Spectral Asymmetry and Riemannian Geometry I

    M. F. Atiyah and V. K. Patodi and I. M. Singer (1975)
    Domain Context
  711. In corpus Physics Book

    Methods of Modern Mathematical Physics. I: Functional Analysis

    M. Reed and B. Simon (1975)
    Domain Context
  712. In corpus Foundations and Logic Book

    Surveiller et punir: Naissance de la prison

    Michel Foucault (1975)
    Formal Antecedent
  713. In corpus Life and Biology Book

    Animal Liberation

    Peter Singer (1975)
    Domain Context
  714. In corpus Foundations and Logic Book

    Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms

    Rufus Bowen (1975)
    Formal Antecedent
  715. In corpus Physics Article

    Particle creation by black holes

    Stephen W. Hawking (1975)
    Domain Context
  716. In corpus Life and Biology Article

    Relativizations of the P =? NP Question

    Theodore Baker and John Gill and Robert Solovay (1975)
    Domain Context
  717. In corpus Topology and Geometry Article

    Real hypersurfaces in complex manifolds

    Chern, S.-S. and Moser, J. K. (1974)
    Domain Context
  718. In corpus Topology and Geometry Book

    Projective geometry

    Coxeter, H. S. M. (1974)
    Domain Context
  719. In corpus Foundations and Logic Article

    The Bergman kernel and biholomorphic mappings of pseudoconvex domains

    Fefferman, Charles (1974)
    Formal Antecedent
  720. Cited 1× Number Theory and Analysis Book

    Riemann's Zeta Function

    H. M. Edwards (1974)
    Domain Context Book II
  721. In corpus Foundations and Logic Article

    Black Hole Explosions?

    Hawking, Stephen W. (1974)
    Formal Antecedent
  722. In corpus Foundations and Logic Book

    Uniform Distribution of Sequences

    L. Kuipers and H. Niederreiter (1974)
    Formal Antecedent
  723. In corpus Foundations and Logic Book

    Characteristic Classes

    Milnor, John and Stasheff, James (1974)
    Formal Antecedent
  724. In corpus Foundations and Logic Article

    La conjecture de Weil. I

    P. Deligne (1974)
    Formal Antecedent
  725. In corpus Foundations and Logic Article

    What Is It Like to Be a Bat?

    Thomas Nagel (1974)
    Formal Antecedent
  726. Cited 1× Foundations and Logic Article

    Confinement of quarks

    Wilson, Kenneth G. (1974)
    Formal Antecedent Book IV
  727. In corpus Topology and Geometry Book

    Conformal invariants: topics in geometric function theory

    Ahlfors, Lars V. (1973)
    Domain Context
  728. In corpus Life and Biology Article

    Principles That Govern the Folding of Protein Chains

    Anfinsen, Christian B. (1973)
    Domain Context
  729. In corpus Physics Article

    The Four Laws of Black Hole Mechanics

    Bardeen, James M. and Carter, Brandon and Hawking, Stephen W. (1973)
    Domain Context
  730. In corpus Physics Article

    Black Holes and Entropy

    Bekenstein, Jacob D. (1973)
    Domain Context
  731. In corpus Physics Article

    Black Holes and Entropy

    Bekenstein, Jacob D. (1973)
    Domain Context
  732. In corpus Physics Book

    Gravitation

    Charles W. Misner and Kip S. Thorne and John Archibald Wheeler (1973)
    Domain Context
  733. In corpus Category Theory Article

    Essential self‑adjointness of powers of generators of hyperbolic equations

    Chernoff, Paul R. (1973)
    Formal Antecedent
  734. Cited 2× Physics Article

    Ultraviolet Behavior of Non-Abelian Gauge Theories

    David J. Gross and Frank Wilczek (1973)
    Domain Context Book III Book IV
  735. In corpus Category Theory Article

    Metric spaces, generalized logic, and closed categories

    F. William Lawvere (1973)
    Formal Antecedent
  736. Cited 1× Physics Article

    Reliable Perturbative Results for Strong Interactions?

    H. David Politzer (1973)
    Domain Context Book IV
  737. In corpus Number Theory and Analysis Book Chapter

    The pair correlation of zeros of the zeta function

    H. L. Montgomery (1973)
    Domain Context
  738. In corpus Foundations and Logic Book

    The Large Scale Structure of Space-Time

    Hawking, Stephen W. and Ellis, George F. R. (1973)
    Formal Antecedent
  739. In corpus Foundations and Logic Article

    Axioms for Euclidean Green's functions

    K. Osterwalder and R. Schrader (1973)
    Formal Antecedent
  740. In corpus Foundations and Logic Article

    Universal Sequential Search Problems

    Leonid A. Levin (1973)
    Formal Antecedent
  741. Cited 2× Physics Article

    CP-Violation in the Renormalizable Theory of Weak Interaction

    Makoto Kobayashi and Toshihide Maskawa (1973)
    Domain Context Book IV
  742. In corpus Physics Book

    Gravitation

    Misner, Charles W. and Thorne, Kip S. and Wheeler, John Archibald (1973)
    Domain Context
  743. In corpus Foundations and Logic Book

    The Large Scale Structure of Space-Time

    S. W. Hawking and G. F. R. Ellis (1973)
    Formal Antecedent
  744. In corpus Foundations and Logic Article

    The Intermediate Jacobian of the Cubic Threefold

    Clemens, Herbert and Griffiths, Phillip (1972)
    Formal Antecedent
  745. In corpus Physics Article

    Regularization and Renormalization of Gauge Fields

    G. 't Hooft and M. Veltman (1972)
    Domain Context
  746. In corpus Foundations and Logic Article

    Atomless Parts of Spaces

    John R. Isbell (1972)
    Formal Antecedent
  747. In corpus Physics Book

    Methods of Modern Mathematical Physics. I. Functional Analysis

    Michael Reed and Barry Simon (1972)
    Domain Context
  748. In corpus Foundations and Logic Book Chapter

    Toroidal embeddings I

    Mumford, David and others (1972)
    Formal Antecedent
  749. In corpus Foundations and Logic Book

    Aspects of Topoi

    Peter Freyd (1972)
    Formal Antecedent
  750. In corpus Computation and Complexity Conference Paper

    Reducibility Among Combinatorial Problems

    Richard M. Karp (1972)
    Domain Context
  751. In corpus Foundations and Logic Book Chapter

    Revêtements étales et groupe fondamental (SGA 1)

    Alexander Grothendieck (1971)
    Formal Antecedent
  752. In corpus Topology and Geometry Article

    R-torsion and the Laplacian on Riemannian Manifolds

    Daniel B. Ray and Isadore M. Singer (1971)
    Domain Context
  753. In corpus Foundations and Logic Article

    Théorie de Hodge. II

    Deligne, Pierre (1971)
    Formal Antecedent
  754. In corpus Physics Article

    Renormalizable Lagrangians for Massive Yang-Mills Fields

    Gerard 't Hooft (1971)
    Domain Context
  755. In corpus Topology and Geometry Book Chapter

    Revêtements étales et groupe fondamental (SGA 1)

    Grothendieck et al. (1971)
    Domain Context
  756. Cited 1× Foundations and Logic Book

    A Theory of Justice

    John Rawls (1971)
    Formal Antecedent Book VII
  757. Cited 2× Category Theory Book

    Categories for the working mathematician

    Mac Lane, Saunders (1971)
    Foundational Source Book VII
  758. In corpus Life and Biology Book

    Chance and Necessity: An Essay on the Natural Philosophy of Modern Biology

    Monod, Jacques (1971)
    Domain Context
  759. In corpus Life and Biology Book

    Fundamentals of Ecology

    Odum, Eugene P. (1971)
    Domain Context
  760. In corpus Physics Book

    Handbook of Elliptic Integrals for Engineers and Physicists

    P. F. Byrd and M. D. Friedman (1971)
    Domain Context
  761. Cited 1× Computation and Complexity Article

    The complexity of theorem-proving procedures

    Stephen A. Cook (1971)
    Domain Context Book III
  762. In corpus Foundations and Logic Article

    A lower bound for the smallest eigenvalue of the Laplacian

    Cheeger, Jeff (1970)
    Formal Antecedent
  763. In corpus Foundations and Logic Book

    Equations Différentielles à Points Singuliers Réguliers

    Deligne, Pierre (1970)
    Formal Antecedent
  764. In corpus Foundations and Logic Book

    Theory of Hp spaces

    Duren, Peter (1970)
    Formal Antecedent
  765. In corpus Life and Biology Article

    Central Dogma of Molecular Biology

    Francis Crick (1970)
    Domain Context
  766. In corpus Physics Article

    The Singularities of Gravitational Collapse and Cosmology

    Hawking, Stephen W. and Penrose, Roger (1970)
    Domain Context
  767. In corpus Foundations and Logic Book

    Abstract Harmonic Analysis. Volume I

    Hewitt, Edwin and Ross, Kenneth A. (1970)
    Formal Antecedent
  768. In corpus Category Theory Article

    Elementary Toposes

    Lawvere, F. William and Tierney, Myles (1970)
    Formal Antecedent
  769. In corpus Foundations and Logic Book

    Abelian Varieties

    Mumford, David (1970)
    Formal Antecedent
  770. In corpus Topology and Geometry Book

    Hyperbolic Manifolds and Holomorphic Mappings

    Shoshichi Kobayashi (1970)
    Domain Context
  771. Cited 1× Physics Article

    The Singularities of Gravitational Collapse and Cosmology

    Stephen W. Hawking and Roger Penrose (1970)
    Domain Context Book V
  772. In corpus Topology and Geometry Book Chapter

    Standard conjectures on algebraic cycles

    A. Grothendieck (1969)
    Domain Context
  773. In corpus Topology and Geometry Book

    Introduction to geometry

    Coxeter, H. S. M. (1969)
    Domain Context
  774. In corpus Foundations and Logic Article

    The irreducibility of the space of curves of given genus

    Deligne, Pierre and Mumford, David (1969)
    Formal Antecedent
  775. Cited 2× Category Theory Article

    Adjointness in Foundations

    F. William Lawvere (1969)
    Formal Antecedent Book VII
  776. Cited 2× Category Theory Book Chapter

    Diagonal Arguments and Cartesian Closed Categories

    F. William Lawvere (1969)
    Formal Antecedent Book I
  777. In corpus Foundations and Logic Article

    On the Periods of Certain Rational Integrals: I

    Griffiths, Phillip A. (1969)
    Formal Antecedent
  778. In corpus Category Theory Book

    Introduction to the Theory of Linear Nonselfadjoint Operators

    I. C. Gohberg and M. G. Kreın (1969)
    Domain Context
  779. In corpus Category Theory Book

    Introduction to the Theory of Linear Nonselfadjoint Operators

    Israel Gohberg and Mark G. Kreın (1969)
    Domain Context
  780. In corpus Foundations and Logic Article

    A PCAC puzzle: π⁰ → γγ in the σ-model

    John S. Bell and Roman Jackiw (1969)
    Formal Antecedent
  781. In corpus Metaphysics and Philosophy Book

    Speech Acts: An Essay in the Philosophy of Language

    John Searle (1969)
    Conceptual Bridge
  782. In corpus Foundations and Logic Book

    Introduction to Commutative Algebra

    M. F. Atiyah and I. G. Macdonald (1969)
    Domain Context
  783. In corpus Foundations and Logic Book

    The Mathematical Theory of Viscous Incompressible Flow

    Olga A. Ladyzhenskaya (1969)
    Formal Antecedent
  784. In corpus Life and Biology Article

    Complex powers of an elliptic operator

    Seeley, R. (1969)
    Domain Context
  785. Cited 1× Foundations and Logic Book

    Laws of Form

    Spencer-Brown, George (1969)
    Formal Antecedent Book VI
  786. In corpus Physics Article

    Axial-Vector Vertex in Spinor Electrodynamics

    Stephen L. Adler (1969)
    Domain Context
  787. In corpus Physics Article

    Axial-Vector Vertex in Spinor Electrodynamics

    Stephen L. Adler (1969)
    Domain Context
  788. In corpus Foundations and Logic Article

    Convergence of convex sets and of solutions of variational inequalities

    U. Mosco (1969)
    Formal Antecedent
  789. Cited 3× Number Theory and Analysis Conference Paper

    Weak and Electromagnetic Interactions

    Abdus Salam (1968)
    Domain Context Book IV
  790. In corpus Foundations and Logic Article

    The index of elliptic operators. I

    Atiyah, Michael F. and Singer, Isadore M. (1968)
    Formal Antecedent
  791. In corpus Physics Article

    Neutrino Experiments and the Problem of Conservation of Leptonic Charge

    Bruno Pontecorvo (1968)
    Domain Context
  792. Cited 1× Life and Biology Article

    The Origin of the Genetic Code

    Crick, Francis H. C. (1968)
    Domain Context Book VI
  793. In corpus Foundations and Logic Article

    The spectral function of an elliptic operator

    Hörmander, Lars (1968)
    Formal Antecedent
  794. In corpus Life and Biology Article

    The ergodic theory of subadditive stochastic processes

    J. F. C. Kingman (1968)
    Domain Context
  795. In corpus Number Theory and Analysis Book

    Abelian l-adic representations and elliptic curves

    Jean-Pierre Serre (1968)
    Domain Context
  796. In corpus Life and Biology Book

    Energy Flow in Biology

    Morowitz, Harold J. (1968)
    Domain Context
  797. In corpus Foundations and Logic Article

    Some undecidable problems involving elementary functions of a real variable

    Richardson, Daniel (1968)
    Formal Antecedent
  798. In corpus Foundations and Logic Article

    A multiplicative ergodic theorem. Lyapunov characteristic numbers for dynamical systems

    V. I. Oseledets (1968)
    Formal Antecedent
  799. In corpus Foundations and Logic Book

    Ergodic Problems of Classical Mechanics

    Vladimir I. Arnold and André Avez (1968)
    Formal Antecedent
  800. In corpus Foundations and Logic Article

    Violation of CP Invariance, C Asymmetry, and Baryon Asymmetry of the Universe

    Andrei D. Sakharov (1967)
    Formal Antecedent
  801. In corpus Topology and Geometry Book

    Geometry revisited

    Coxeter, H. S. M. and Greitzer, S. L. (1967)
    Domain Context
  802. In corpus Foundations and Logic Article

    Truth and Meaning

    Donald Davidson (1967)
    Formal Antecedent
  803. In corpus Foundations and Logic Book

    Foundations of Constructive Analysis

    Errett Bishop (1967)
    Formal Antecedent
  804. In corpus Physics Book

    Introduction to Thermodynamics of Irreversible Processes

    Ilya Prigogine (1967)
    Domain Context
  805. Cited 1× Foundations and Logic Book

    De la grammatologie

    Jacques Derrida (1967)
    Formal Antecedent Book VII
  806. Cited 1× Foundations and Logic Book

    The Dance Language and Orientation of Bees

    Karl von Frisch (1967)
    Formal Antecedent Book VII
  807. In corpus Life and Biology Article

    Abelian varieties attached to polarized K3 surfaces

    Michio Kuga and Ikuo Satake (1967)
    Domain Context
  808. In corpus Physics Article

    Twistor algebra

    Penrose, Roger (1967)
    Domain Context
  809. In corpus Foundations and Logic Article

    The Problem of Abortion and the Doctrine of Double Effect

    Philippa Foot (1967)
    Formal Antecedent
  810. In corpus Foundations and Logic Book Chapter

    Complex Powers of an Elliptic Operator

    R. T. Seeley (1967)
    Formal Antecedent
  811. Cited 1× Physics Article

    Twistor Algebra

    Roger Penrose (1967)
    Domain Context Book IV
  812. In corpus Foundations and Logic Book

    Theory of Recursive Functions and Effective Computability

    Rogers, Hartley (1967)
    Formal Antecedent
  813. In corpus Number Theory and Analysis Article

    On Epstein's Zeta Function

    Sarvadaman Chowla and Atle Selberg (1967)
    Domain Context
  814. In corpus Foundations and Logic Article

    Differentiable dynamical systems

    Stephen Smale (1967)
    Formal Antecedent
  815. Cited 3× Physics Article

    A Model of Leptons

    Steven Weinberg (1967)
    Domain Context Book IV
  816. In corpus Number Theory and Analysis Book Chapter

    Fourier analysis in number fields and Hecke's zeta-functions

    Tate, John (1967)
    Domain Context
  817. In corpus Physics Article

    A Model of Leptons

    Weinberg, Steven (1967)
    Domain Context
  818. In corpus Foundations and Logic Book

    Complex Analysis

    Ahlfors, Lars V. (1966)
    Formal Antecedent
  819. In corpus Category Theory Book

    Fibre Bundles

    Dale Husemoller (1966)
    Foundational Source
  820. In corpus Topology and Geometry Book

    Residues and duality

    Hartshorne, Robin (1966)
    Domain Context
  821. In corpus Foundations and Logic Article

    Endomorphisms of abelian varieties over finite fields

    J. Tate (1966)
    Formal Antecedent
  822. In corpus Life and Biology Book

    The Phenomenon of Life: Toward a Philosophical Biology

    Jonas, Hans (1966)
    Domain Context
  823. In corpus Foundations and Logic Book

    Perturbation Theory for Linear Operators

    Kato, Tosio (1966)
    Formal Antecedent
  824. In corpus Foundations and Logic Article

    Can one hear the shape of a drum?

    Mark Kac (1966)
    Formal Antecedent
  825. In corpus Foundations and Logic Article

    Set Theory and the Continuum Hypothesis

    Paul J. Cohen (1966)
    Formal Antecedent
  826. In corpus Foundations and Logic Book

    The Theory of Spinors

    Élie Cartan (1966)
    Formal Antecedent
  827. In corpus Number Theory and Analysis Article

    Notes on elliptic curves. I

    B. J. Birch and H. P. F. Swinnerton-Dyer (1965)
    Domain Context
  828. In corpus Foundations and Logic Article

    What Numbers Could Not Be

    Benacerraf, Paul (1965)
    Formal Antecedent
  829. In corpus Number Theory and Analysis Article

    Notes on elliptic curves. I

    Bryan J. Birch and Peter Swinnerton-Dyer (1965)
    Domain Context
  830. In corpus Metaphysics and Philosophy Article

    L2 estimates and existence theorems for the ∂‾-operator

    Hörmander, Lars (1965)
    Conceptual Bridge
  831. In corpus Foundations and Logic Article

    An algorithm for the machine calculation of complex Fourier series

    James W. Cooley and John W. Tukey (1965)
    Formal Antecedent
  832. In corpus Physics Article

    Gravitational Collapse and Space-Time Singularities

    Penrose, Roger (1965)
    Domain Context
  833. Cited 1× Physics Article

    A Measurement of Excess Antenna Temperature at 4080 Mc/s

    Penzias, Arno A. and Wilson, Robert W. (1965)
    Domain Context Book V
  834. Cited 2× Category Theory Book

    Analytic Functions of Several Complex Variables

    Robert C. Gunning and Hugo Rossi (1965)
    Foundational Source Book II
  835. Cited 1× Physics Article

    Gravitational Collapse and Space-Time Singularities

    Roger Penrose (1965)
    Domain Context Book V
  836. Cited 2× Category Theory Conference Paper

    An Elementary Theory of the Category of Sets (ETCS)

    F. William Lawvere (1964)
    Formal Antecedent Book VII
  837. In corpus Category Theory Article

    An Elementary Theory of the Category of Sets

    F. William Lawvere (1964)
    Formal Antecedent
  838. Cited 1× Physics Article

    Broken Symmetry and the Mass of Gauge Vector Mesons

    François Englert and Robert Brout (1964)
    Domain Context Book IV
  839. Cited 1× Foundations and Logic Article

    An SU(3) Model for Strong Interaction Symmetry and its Breaking

    George Zweig (1964)
    Formal Antecedent Book IV
  840. In corpus Life and Biology Article

    The Genetical Evolution of Social Behaviour. I and II

    Hamilton, William D. (1964)
    Domain Context
  841. In corpus Physics Article

    Broken Symmetries and the Masses of Gauge Bosons

    Higgs, Peter W. (1964)
    Domain Context
  842. Cited 1× Physics Article

    Evidence for the 2π Decay of the K20 Meson

    J. H. Christenson and J. W. Cronin and V. L. Fitch and R. Turlay (1964)
    Domain Context Book IV
  843. In corpus Topology and Geometry Article

    Eigenvalues of the Laplace operator on certain manifolds

    John Milnor (1964)
    Domain Context
  844. In corpus Physics Article

    On the Einstein Podolsky Rosen Paradox

    John S. Bell (1964)
    Domain Context
  845. Cited 1× Physics Article

    A Schematic Model of Baryons and Mesons

    Murray Gell-Mann (1964)
    Domain Context Book IV
  846. Cited 1× Physics Article

    Broken Symmetries and the Masses of Gauge Bosons

    Peter W. Higgs (1964)
    Domain Context Book IV
  847. Cited 1× Foundations and Logic Article

    Is Justified True Belief Knowledge?

    Edmund L. Gettier (1963)
    Formal Antecedent Book VII
  848. Cited 1× Foundations and Logic Book

    Abstract harmonic analysis

    Hewitt, E. and Ross, K. A. (1963)
    Formal Antecedent Book II
  849. In corpus Foundations and Logic Book

    Abstract harmonic analysis. Vol. I: Structure of topological groups, integration theory, group representations

    Hewitt, Edwin and Ross, Kenneth A. (1963)
    Formal Antecedent
  850. Cited 3× Physics Article

    Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics

    Kerr, Roy P. (1963)
    Domain Context Book V
  851. In corpus Topology and Geometry Article

    Harmonic integrals on strongly pseudo‑convex manifolds. I

    Kohn, Joseph J. (1963)
    Domain Context
  852. In corpus Category Theory Article

    Functorial Semantics of Algebraic Theories

    Lawvere, F. William (1963)
    Formal Antecedent
  853. In corpus Topology and Geometry Article

    The Index of Elliptic Operators on Compact Manifolds

    Michael F. Atiyah and Isadore M. Singer (1963)
    Domain Context
  854. In corpus Foundations and Logic Book

    Linear Operators. Part II: Spectral Theory

    Nelson Dunford and Jacob T. Schwartz (1963)
    Formal Antecedent
  855. Cited 1× Physics Article

    Unitary Symmetry and Leptonic Decays

    Nicola Cabibbo (1963)
    Domain Context Book IV
  856. In corpus Physics Article

    Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics

    Roy P. Kerr (1963)
    Domain Context
  857. Cited 2× Foundations and Logic Book

    Foundations of Differential Geometry, Volume I

    Shoshichi Kobayashi and Katsumi Nomizu (1963)
    Formal Antecedent Book II
  858. In corpus Foundations and Logic Book

    Representation theory of finite groups and associative algebras

    Curtis, Charles W. and Reiner, Irving (1962)
    Formal Antecedent
  859. In corpus Foundations and Logic Book

    How to Do Things with Words

    J. L. Austin (1962)
    Formal Antecedent
  860. In corpus Foundations and Logic Article

    On the interior regularity of weak solutions of the Navier–Stokes equations

    James Serrin (1962)
    Formal Antecedent
  861. In corpus Physics Article

    Possible New Effects in Superconductive Tunnelling

    Josephson, Brian D. (1962)
    Domain Context
  862. In corpus Topology and Geometry Article

    Certain conditions for a Riemannian manifold to be isometric with a sphere

    M. Obata (1962)
    Domain Context
  863. In corpus Topology and Geometry Article

    On the pseudo-conformal geometry of hypersurfaces of the space of n complex variables

    Noboru Tanaka (1962)
    Domain Context
  864. In corpus Physics Book

    Non-Equilibrium Thermodynamics

    S. R. de Groot and P. Mazur (1962)
    Domain Context
  865. In corpus Number Theory and Analysis Article

    Rigid analytic spaces

    Tate, John (1962)
    Domain Context
  866. In corpus Foundations and Logic Book

    Fourier Analysis on Groups

    Walter Rudin (1962)
    Formal Antecedent
  867. In corpus Physics Article

    Remarks on the Unified Model of Elementary Particles

    Ziro Maki and Masami Nakagawa and Shoichi Sakata (1962)
    Domain Context
  868. In corpus Physics Article

    Project Ozma

    Drake, Frank (1961)
    Domain Context
  869. In corpus Foundations and Logic Article

    Theorie der Normalflächen

    Haken, Wolfgang (1961)
    Formal Antecedent
  870. In corpus Life and Biology Article

    The Serial Cultivation of Human Diploid Cell Strains

    Hayflick, Leonard and Moorhead, Paul S. (1961)
    Domain Context
  871. In corpus Life and Biology Book

    The Death and Life of Great American Cities

    Jane Jacobs (1961)
    Domain Context
  872. In corpus Foundations and Logic Book

    The City in History: Its Origins, Its Transformations, and Its Prospects

    Lewis Mumford (1961)
    Formal Antecedent
  873. In corpus Foundations and Logic Article

    Coupling of Phosphorylation to Electron and Hydrogen Transfer by a Chemi-Osmotic Type of Mechanism

    Mitchell, Peter (1961)
    Formal Antecedent
  874. In corpus Life and Biology Article

    The Dependence of Cell-Free Protein Synthesis in E. coli upon Naturally Occurring or Synthetic Polyribonucleotides

    Nirenberg, Marshall W. and Matthaei, J. Heinrich (1961)
    Domain Context
  875. In corpus Life and Biology Article

    Irreversibility and Heat Generation in the Computing Process

    Rolf Landauer (1961)
    Domain Context
  876. Cited 3× Physics Article

    Partial-Symmetries of Weak Interactions

    Sheldon L. Glashow (1961)
    Domain Context Book IV
  877. In corpus Foundations and Logic Book

    The Nature of the Chemical Bond

    Linus Pauling (1960)
    Formal Antecedent
  878. In corpus Life and Biology Article

    On Ext and Exact Sequences

    Nobuo Yoneda (1960)
    Domain Context
  879. Cited 2× Foundations and Logic Article

    The Unreasonable Effectiveness of Mathematics in the Natural Sciences

    Wigner, Eugene P. (1960)
    Formal Antecedent Book IV
  880. In corpus Foundations and Logic Book

    Word and Object

    Willard Van Orman Quine (1960)
    Formal Antecedent
  881. In corpus Topology and Geometry Book

    What is Elementary Geometry?

    Alfred Tarski (1959)
    Domain Context
  882. In corpus Foundations and Logic Book Chapter

    What is Elementary Geometry?

    Alfred Tarski (1959)
    Formal Antecedent
  883. In corpus Foundations and Logic Article

    The Clonal Selection Theory of Acquired Immunity

    Burnet, Frank Macfarlane (1959)
    Formal Antecedent
  884. In corpus Foundations and Logic Article

    Un teorema di unicitaà per le equazioni di Navier–Stokes

    Giovanni Prodi (1959)
    Formal Antecedent
  885. In corpus Number Theory and Analysis Article

    A summation formula in the theory of the zeta function

    Guinand, A. P. (1959)
    Domain Context
  886. In corpus Foundations and Logic Book

    The Logic of Scientific Discovery

    Karl R. Popper (1959)
    Formal Antecedent
  887. In corpus Foundations and Logic Article

    Géométrie des groupes de transformations

    A. Lichnerowicz (1958)
    Formal Antecedent
  888. In corpus Foundations and Logic Book

    Computability and unsolvability

    Davis, Martin (1958)
    Formal Antecedent
  889. Cited 1× Topology and Geometry Article

    On Levi's problem and the embedding of real-analytic manifolds

    Grauert, Hans (1958)
    Domain Context Book II
  890. In corpus Number Theory and Analysis Article

    A summation formula in the theory of the zeta-function

    Guinand, A. P. (1958)
    Domain Context
  891. In corpus Foundations and Logic Article

    Prediction theory and Fourier series in several variables

    Helson, Henry and Lowdenslager, David (1958)
    Formal Antecedent
  892. In corpus Physics Book

    The Principles of Quantum Mechanics

    P. A. M. Dirac (1958)
    Domain Context
  893. In corpus Topology and Geometry Book

    Topologie Algébrique et Théorie des Faisceaux

    Roger Godement (1958)
    Domain Context
  894. In corpus Foundations and Logic Article

    The word problem

    William W. Boone (1958)
    Formal Antecedent
  895. In corpus Foundations and Logic Book

    Mathematical Foundations of Information Theory

    A. I. Khinchin (1957)
    Formal Antecedent
  896. In corpus Physics Article

    On the Magnetic Properties of Superconductors of the Second Group

    Abrikosov, Alexei A. (1957)
    Domain Context
  897. In corpus Topology and Geometry Article

    Sur quelques points d'algèbre homologique

    Alexander Grothendieck (1957)
    Domain Context
  898. Cited 1× Physics Article

    Theory of Superconductivity

    Bardeen, John and Cooper, Leon N. and Schrieffer, J. Robert (1957)
    Domain Context Book IV
  899. Cited 2× Physics Article

    Mesonium and Anti-mesonium

    Bruno Pontecorvo (1957)
    Domain Context Book IV
  900. In corpus Physics Article

    Experimental Test of Parity Conservation in Beta Decay

    Chien-Shiung Wu and others (1957)
    Domain Context
  901. Cited 1× Foundations and Logic Book

    Syntactic Structures

    Chomsky, Noam (1957)
    Formal Antecedent Book VII
  902. In corpus Physics Article

    Synthesis of the Elements in Stars

    E. Margaret Burbidge and Geoffrey R. Burbidge and William A. Fowler and Fred Hoyle (1957)
    Domain Context
  903. In corpus Physics Article

    Information Theory and Statistical Mechanics

    E. T. Jaynes (1957)
    Domain Context
  904. In corpus Topology and Geometry Book

    Geometric Integration Theory

    Hassler Whitney (1957)
    Domain Context
  905. In corpus Topology and Geometry Article

    Complex analytic coordinates in almost complex manifolds

    Newlander, A. and Nirenberg, L. (1957)
    Domain Context
  906. Cited 1× Foundations and Logic Article

    Inorganic Stereochemistry

    Ronald J. Gillespie and Ronald S. Nyholm (1957)
    Formal Antecedent Book IV
  907. In corpus Life and Biology Article

    Local contractions and a theorem of Poincaré

    Shlomo Sternberg (1957)
    Domain Context
  908. In corpus Foundations and Logic Article

    Detection of the Free Neutrino: A Confirmation

    Clyde L. Cowan and Frederick Reines and others (1956)
    Formal Antecedent
  909. Cited 1× Foundations and Logic Article

    Detection of the Free Neutrino: A Confirmation

    Clyde L. Cowan and Frederick Reines and others (1956)
    Formal Antecedent Book IV
  910. In corpus Foundations and Logic Book

    The Direction of Time

    Hans Reichenbach (1956)
    Formal Antecedent
  911. In corpus Number Theory and Analysis Article

    Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series

    Selberg, Atle (1956)
    Domain Context
  912. In corpus Foundations and Logic Article

    Géométrie algébrique et géométrie analytique

    Serre, Jean-Pierre (1956)
    Formal Antecedent
  913. In corpus Physics Article

    Question of Parity Conservation in Weak Interactions

    Tsung-Dao Lee and Chen-Ning Yang (1956)
    Domain Context
  914. In corpus Foundations and Logic Book

    Mathematical Foundations of Quantum Mechanics

    John von Neumann (1955)
    Formal Antecedent
  915. In corpus Foundations and Logic Article

    Elementary Theory of Nuclear Shell Structure

    Maria Goeppert Mayer and J. Hans D. Jensen (1955)
    Formal Antecedent
  916. Cited 2× Foundations and Logic Article

    Solution of a Problem of Leon Henkin

    Martin Hugo Löb (1955)
    Formal Antecedent Book I
  917. In corpus Computation and Complexity Article

    On the algorithmic unsolvability of the word problem in group theory

    P. S. Novikov (1955)
    Domain Context
  918. In corpus Foundations and Logic Article

    Faisceaux algébriques cohérents

    Serre, Jean-Pierre (1955)
    Formal Antecedent
  919. In corpus Physics Book Chapter

    Exclusion Principle, Lorentz Group and Reflection of Space-Time and Charge

    Wolfgang Pauli (1955)
    Domain Context
  920. Cited 2× Physics Article

    Conservation of Isotopic Spin and Isotopic Gauge Invariance

    Chen Ning Yang and Robert L. Mills (1954)
    Domain Context Book IV
  921. Cited 1× Physics Article

    On Nuclear Reactions Occurring in Very Hot Stars. I. The Synthesis of Elements from Carbon to Nickel

    Fred Hoyle (1954)
    Domain Context Book IV
  922. In corpus Physics Article

    On the Equivalence of Invariance under Time Reversal and under Particle-Antiparticle Conjugation for Relativistic Field Theories

    Gerhart Lüders (1954)
    Domain Context
  923. Cited 2× Topology and Geometry Article

    On the Homology Theory of Modules

    Nobuo Yoneda (1954)
    Domain Context Book VII
  924. In corpus Foundations and Logic Book

    Art and Visual Perception: A Psychology of the Creative Eye

    Rudolf Arnheim (1954)
    Formal Antecedent
  925. In corpus Number Theory and Analysis Article

    Some calculations of the Riemann zeta-function

    A. M. Turing (1953)
    Domain Context
  926. In corpus Foundations and Logic Article

    A theorem on holonomy

    Ambrose, W. and Singer, I. M. (1953)
    Formal Antecedent
  927. Cited 2× Foundations and Logic Article

    Molecular Structure of Nucleic Acids: A Structure for Deoxyribose Nucleic Acid

    James D. Watson and Francis H. C. Crick (1953)
    Formal Antecedent Book IV Book VI
  928. Cited 1× Foundations and Logic Book

    Philosophische Untersuchungen

    Ludwig Wittgenstein (1953)
    Formal Antecedent Book VII
  929. In corpus Foundations and Logic Article

    A Production of Amino Acids under Possible Primitive Earth Conditions

    Miller, Stanley L. (1953)
    Formal Antecedent
  930. In corpus Foundations and Logic Book Chapter

    Sur les fonctions analytiques de plusieurs variables. Deuxième partie: Sur les fonctions analytiques de plusieurs variables

    Oka, Kiyoshi (1953)
    Formal Antecedent
  931. Cited 1× Foundations and Logic Article

    Molecular Structure of Nucleic Acids: A Structure for Deoxyribose Nucleic Acid

    Watson, James D. and Crick, Francis H. C. (1953)
    Formal Antecedent Book VI
  932. In corpus Life and Biology Article

    A Quantitative Description of Membrane Current and Its Application to Conduction and Excitation in Nerve

    Hodgkin, Alan L. and Huxley, Andrew F. (1952)
    Domain Context
  933. In corpus Physics Article

    A Molecular Orbital Theory of Reactivity in Aromatic Hydrocarbons

    Kenichi Fukui and Teijiro Yonezawa and Haruo Shingu (1952)
    Domain Context
  934. In corpus Foundations and Logic Book

    Foundations of Algebraic Topology

    Samuel Eilenberg and Norman Steenrod (1952)
    Formal Antecedent
  935. In corpus Foundations and Logic Book

    The Chemical Basis of Morphogenesis

    Turing, Alan M. (1952)
    Formal Antecedent
  936. In corpus Foundations and Logic Book

    The Theory and Applications of Harmonic Integrals

    W. V. D. Hodge (1952)
    Formal Antecedent
  937. In corpus Foundations and Logic Article

    Sur les "formules explicites" de la théorie des nombres premiers

    Weil, André (1952)
    Formal Antecedent
  938. In corpus Category Theory Book

    The Topology of Fibre Bundles

    Norman Steenrod (1951)
    Foundational Source
  939. In corpus Foundations and Logic Book

    A decision method for elementary algebra and geometry

    Tarski, Alfred (1951)
    Formal Antecedent
  940. In corpus Foundations and Logic Article

    Computing Machinery and Intelligence

    Alan Turing (1950)
    Formal Antecedent
  941. In corpus Foundations and Logic Article

    Theory of reproducing kernels

    Aronszajn, N. (1950)
    Formal Antecedent
  942. Cited 1× Life and Biology Article

    On the Theory of Superconductivity

    Ginzburg, Vitaly L. and Landau, Lev D. (1950)
    Domain Context Book IV
  943. In corpus Foundations and Logic Book

    Algebraic curves

    Walker, R. J. T. (1950)
    Formal Antecedent
  944. In corpus Foundations and Logic Article

    The Organization of Behavior

    Hebb, Donald O. (1949)
    Formal Antecedent
  945. Cited 1× Physics Article

    On Closed Shells in Nuclei. II

    Maria Goeppert Mayer (1949)
    Domain Context Book IV
  946. In corpus Physics Article

    Space-Time Approach to Quantum Electrodynamics

    Richard P. Feynman (1949)
    Domain Context
  947. Cited 2× Physics Article

    Space-Time Approach to Quantum Electrodynamics

    Richard P. Feynman (1949)
    Domain Context Book IV
  948. In corpus Life and Biology Article

    A Mathematical Theory of Communication

    Claude E. Shannon (1948)
    Domain Context
  949. Cited 1× Physics Article

    On Quantum-Electrodynamics and the Magnetic Moment of the Electron

    Julian Schwinger (1948)
    Domain Context Book IV
  950. In corpus Foundations and Logic Article

    Linear operators leaving invariant a cone in a Banach space

    M. G. Kre\'ın and M. A. Rutman (1948)
    Formal Antecedent
  951. In corpus Foundations and Logic Article

    The generalized Weierstrass approximation theorem

    M. H. Stone (1948)
    Formal Antecedent
  952. In corpus Physics Article

    The Origin of Chemical Elements

    Ralph A. Alpher and Hans Bethe and George Gamow (1948)
    Domain Context
  953. In corpus Physics Article

    Space-Time Approach to Non-Relativistic Quantum Mechanics

    Richard P. Feynman (1948)
    Domain Context
  954. In corpus Foundations and Logic Article

    On the Theory of Characteristic Classes

    Shiing-Shen Chern and André Weil (1948)
    Formal Antecedent
  955. In corpus Physics Article

    On What There Is

    Willard Van Orman Quine (1948)
    Domain Context
  956. In corpus Foundations and Logic Article

    Transfinite Ordinals in Recursive Number Theory

    Reuben Louis Goodstein (1947)
    Formal Antecedent
  957. In corpus Physics Article

    Fine Structure of the Hydrogen Atom by a Microwave Method

    Willis E. Lamb and Robert C. Retherford (1947)
    Domain Context
  958. In corpus Physics Article

    Fine Structure of the Hydrogen Atom by a Microwave Method

    Willis E. Lamb and Robert C. Retherford (1947)
    Domain Context
  959. In corpus Foundations and Logic Book

    Topological Groups

    L. S. Pontryagin (1946)
    Formal Antecedent
  960. In corpus Physics Article

    Probability, Frequency and Reasonable Expectation

    Richard T. Cox (1946)
    Domain Context
  961. In corpus Number Theory and Analysis Article

    Contributions to the theory of the Riemann zeta-function

    Selberg, A. (1946)
    Domain Context
  962. In corpus Physics Article

    Interaction with the Absorber as the Mechanism of Radiation

    John A. Wheeler and Richard P. Feynman (1945)
    Domain Context
  963. Cited 2× Metaphysics and Philosophy Book

    Phénoménologie de la perception

    Maurice Merleau-Ponty (1945)
    Conceptual Bridge Book VII
  964. In corpus Foundations and Logic Article

    Harmonic cochains and combinatorial Hodge theory

    Beno Eckmann (1944)
    Formal Antecedent
  965. Cited 4× Foundations and Logic Book

    What is Life? The Physical Aspect of the Living Cell

    Schrödinger, Erwin (1944)
    Formal Antecedent Book VI
  966. In corpus Foundations and Logic Article

    The Local Structure of Turbulence in Incompressible Viscous Fluid for Very Large Reynolds Numbers

    A. N. Kolmogorov (1941)
    Formal Antecedent
  967. In corpus Foundations and Logic Book

    The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory

    Gödel, Kurt (1940)
    Formal Antecedent
  968. Cited 1× Foundations and Logic Book

    Topological Groups

    Lev S. Pontryagin (1939)
    Formal Antecedent Book II
  969. In corpus Physics Article

    On Continued Gravitational Contraction

    Oppenheimer, J. Robert and Snyder, Hartland (1939)
    Domain Context
  970. In corpus Physics Article

    On Massive Neutron Cores

    Oppenheimer, J. Robert and Volkoff, George M. (1939)
    Domain Context
  971. In corpus Physics Article

    Static Solutions of Einstein's Field Equations for Spheres of Fluid

    Tolman, Richard C. (1939)
    Domain Context
  972. In corpus Foundations and Logic Article

    Viscosity of Liquid Helium Below the λ-Point

    Kapitza, Pyotr L. (1938)
    Formal Antecedent
  973. In corpus Life and Biology Book

    The Origin of Life

    Oparin, Aleksandr Ivanovich (1938)
    Domain Context
  974. In corpus Foundations and Logic Article

    Viscosity of Liquid Helium below the λ-Point

    Pyotr Kapitsa (1938)
    Formal Antecedent
  975. In corpus Foundations and Logic Article

    La prévision: ses lois logiques, ses sources subjectives

    Bruno de Finetti (1937)
    Formal Antecedent
  976. In corpus Life and Biology Article

    The Role of Citric Acid in Intermediate Metabolism in Animal Tissues

    Krebs, Hans Adolf and Johnson, William Arthur (1937)
    Domain Context
  977. Cited 1× Topology and Geometry Article

    Applications of the Theory of Boolean Rings to General Topology

    M. H. Stone (1937)
    Domain Context Book II
  978. In corpus Foundations and Logic Article

    On Computable Numbers, with an Application to the Entscheidungsproblem

    Alan M. Turing (1936)
    Formal Antecedent
  979. In corpus Foundations and Logic Article

    Der Wahrheitsbegriff in den formalisierten Sprachen

    Alfred Tarski (1936)
    Formal Antecedent
  980. In corpus Number Theory and Analysis Article

    An Unsolvable Problem of Elementary Number Theory

    Alonzo Church (1936)
    Domain Context
  981. Cited 1× Foundations and Logic Article

    The Theory of Representations for Boolean Algebras

    M. H. Stone (1936)
    Formal Antecedent Book II
  982. In corpus Physics Article

    Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?

    Albert Einstein and Boris Podolsky and Nathan Rosen (1935)
    Domain Context
  983. In corpus Foundations and Logic Article

    Zur Theorie der Kernmassen

    Carl Friedrich von Weizsäcker (1935)
    Formal Antecedent
  984. Cited 1× Foundations and Logic Article

    Zur Theorie der Kernmassen

    Carl Friedrich von Weizsäcker (1935)
    Formal Antecedent Book IV
  985. In corpus Physics Article

    The Activated Complex in Chemical Reactions

    Henry Eyring (1935)
    Domain Context
  986. Cited 1× Physics Article

    On the Interaction of Elementary Particles

    Hideki Yukawa (1935)
    Domain Context Book IV
  987. In corpus Foundations and Logic Article

    The Electromagnetic Equations of the Supraconductor

    London, Fritz and London, Heinz (1935)
    Formal Antecedent
  988. In corpus Topology and Geometry Article

    Die Funktionentheorie der Differentialgleichungen Δ u = 0 und ΔΔ u = 0

    Rudolf Fueter (1935)
    Domain Context
  989. In corpus Foundations and Logic Article

    Sur le théorème d'approximation de Runge

    Weil, André (1935)
    Formal Antecedent
  990. Cited 2× Foundations and Logic Article

    Versuch einer Theorie der β-Strahlen. I

    Enrico Fermi (1934)
    Formal Antecedent Book IV
  991. In corpus Foundations and Logic Article

    Sur le mouvement d'un liquide visqueux emplissant l'espace

    Jean Leray (1934)
    Formal Antecedent
  992. In corpus Foundations and Logic Book

    Grundbegriffe der Wahrscheinlichkeitsrechnung

    Andrey Kolmogorov (1933)
    Formal Antecedent
  993. In corpus Metaphysics and Philosophy Article

    Aesthetic Measure

    George D. Birkhoff (1933)
    Conceptual Bridge
  994. In corpus Physics Article

    Die Rotverschiebung von extragalaktischen Nebeln

    Zwicky, Fritz (1933)
    Domain Context
  995. Cited 1× Metaphysics and Philosophy Article

    Possible Existence of a Neutron

    James Chadwick (1932)
    Conceptual Bridge Book IV
  996. Cited 2× Foundations and Logic Book

    Mathematische Grundlagen der Quantenmechanik

    John von Neumann (1932)
    Formal Antecedent Book IV
  997. In corpus Physics Article

    Electronic Structures of Polyatomic Molecules and Valence. II. General Considerations

    Robert S. Mulliken (1932)
    Domain Context
  998. In corpus Physics Article

    The Maximum Mass of Ideal White Dwarfs

    Chandrasekhar, Subrahmanyan (1931)
    Domain Context
  999. Cited 1× Foundations and Logic Article

    Quantentheoretische Beiträge zum Benzolproblem

    Erich Hückel (1931)
    Formal Antecedent Book IV
  1000. Cited 2× Foundations and Logic Article

    Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

    Kurt Gödel (1931)
    Formal Antecedent Book I
  1001. In corpus Foundations and Logic Book

    Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

    Kurt Gödel (1931)
    Formal Antecedent
  1002. In corpus Physics Article

    Reciprocal Relations in Irreversible Processes. I.

    Lars Onsager (1931)
    Domain Context
  1003. In corpus Physics Article

    Reciprocal Relations in Irreversible Processes. II.

    Lars Onsager (1931)
    Domain Context
  1004. In corpus Life and Biology Book

    The Genetical Theory of Natural Selection

    Fisher, Ronald Aylmer (1930)
    Domain Context
  1005. Cited 1× Physics Book

    The Principles of Quantum Mechanics

    Paul A. M. Dirac (1930)
    Domain Context Book IV
  1006. Cited 2× Foundations and Logic Article

    Dear radioactive ladies and gentlemen

    Wolfgang Pauli (1930)
    Formal Antecedent Book IV
  1007. In corpus Physics Book

    Process and Reality: An Essay in Cosmology

    Alfred North Whitehead (1929)
    Domain Context
  1008. Cited 3× Physics Article

    A Relation Between Distance and Radial Velocity Among Extra-Galactic Nebulae

    Hubble, Edwin (1929)
    Domain Context Book V
  1009. Cited 1× Foundations and Logic Article

    Zur Quantentheorie des Atomkernes

    George Gamow (1928)
    Formal Antecedent Book IV
  1010. In corpus Physics Article

    The Quantum Theory of the Electron

    Paul A. M. Dirac (1928)
    Domain Context
  1011. In corpus Foundations and Logic Article

    Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe

    F. Peter and H. Weyl (1927)
    Formal Antecedent
  1012. Cited 1× Foundations and Logic Book

    Sein und Zeit

    Martin Heidegger (1927)
    Formal Antecedent Book VII
  1013. In corpus Foundations and Logic Book

    Leçons sur les familles normales de fonctions analytiques et leurs applications

    Paul Montel (1927)
    Formal Antecedent
  1014. In corpus Foundations and Logic Article

    Wechselwirkung neutraler Atome und homöopolare Bindung nach der Quantenmechanik

    Walter Heitler and Fritz London (1927)
    Formal Antecedent
  1015. Cited 1× Foundations and Logic Article

    Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik

    Werner Heisenberg (1927)
    Formal Antecedent Book IV
  1016. In corpus Foundations and Logic Book

    A Course of Modern Analysis

    Whittaker, E. T. and Watson, G. N. (1927)
    Domain Context
  1017. In corpus Physics Article

    An Undulatory Theory of the Mechanics of Atoms and Molecules

    Erwin Schrödinger (1926)
    Domain Context
  1018. In corpus Foundations and Logic Article

    Zum Clifford-Kleinschen Raumproblem

    H. Hopf (1926)
    Formal Antecedent
  1019. Cited 1× Foundations and Logic Article

    Zur Quantenmechanik der Stoßvorgänge

    Max Born (1926)
    Formal Antecedent Book IV
  1020. In corpus Physics Article

    A Quantum Theory of the Scattering of X-rays by Light Elements

    Arthur H. Compton (1923)
    Domain Context
  1021. In corpus Foundations and Logic Article

    Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre

    Fraenkel, Abraham (1922)
    Formal Antecedent
  1022. In corpus Foundations and Logic Book

    Wirtschaft und Gesellschaft

    Max Weber (1922)
    Formal Antecedent
  1023. In corpus Foundations and Logic Book

    Tractatus Logico-Philosophicus

    Ludwig Wittgenstein (1921)
    Formal Antecedent
  1024. Cited 1× Foundations and Logic Article

    Invariante Variationsprobleme

    Emmy Noether (1918)
    Formal Antecedent Book IV
  1025. Cited 1× Foundations and Logic Article

    Zur Quantentheorie der Spektrallinien

    Arnold Sommerfeld (1916)
    Formal Antecedent Book IV
  1026. Cited 4× Foundations and Logic Article

    Die Grundlage der allgemeinen Relativitätstheorie

    Einstein, Albert (1916)
    Formal Antecedent Book V
  1027. In corpus Foundations and Logic Book

    Cours de linguistique générale

    Ferdinand de Saussure (1916)
    Formal Antecedent
  1028. In corpus Life and Biology Article

    The Atom and the Molecule

    Gilbert N. Lewis (1916)
    Domain Context
  1029. In corpus Foundations and Logic Article

    Über die Gleichverteilung von Zahlen mod. Eins

    Hermann Weyl (1916)
    Formal Antecedent
  1030. In corpus Physics Article

    Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie

    Karl Schwarzschild (1916)
    Domain Context
  1031. Cited 5× Topology and Geometry Article

    Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie

    Schwarzschild, Karl (1916)
    Domain Context Book V
  1032. In corpus Physics Article

    Die Feldgleichungen der Gravitation

    Albert Einstein (1915)
    Domain Context
  1033. Cited 10× Physics Article

    Die Feldgleichungen der Gravitation

    Einstein, Albert (1915)
    Domain Context Book V
  1034. Cited 1× Foundations and Logic Book

    Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie

    Edmund Husserl (1913)
    Formal Antecedent Book VII
  1035. Cited 3× Foundations and Logic Article

    On the Constitution of Atoms and Molecules

    Niels Bohr (1913)
    Formal Antecedent Book IV
  1036. In corpus Physics Article

    On the Elementary Electrical Charge and the Avogadro Constant

    Robert A. Millikan (1913)
    Domain Context
  1037. In corpus Life and Biology Article

    Über Integralgleichungen mit positivem Kern

    R. Jentzsch (1912)
    Domain Context
  1038. Cited 1× Life and Biology Book

    Creative Evolution (L'Évolution créatrice)

    Bergson, Henri (1911)
    Domain Context Book VI
  1039. Cited 2× Physics Article

    The Scattering of α and β Particles by Matter and the Structure of the Atom

    Ernest Rutherford (1911)
    Domain Context Book IV
  1040. In corpus Physics Article

    Raum und Zeit

    Hermann Minkowski (1909)
    Domain Context
  1041. In corpus Foundations and Logic Article

    Untersuchungen über die Grundlagen der Mengenlehre I

    Ernst Zermelo (1908)
    Formal Antecedent
  1042. In corpus Foundations and Logic Article

    The Unreality of Time

    John M. E. McTaggart (1908)
    Formal Antecedent
  1043. In corpus Foundations and Logic Article

    Zur Theorie der analytischen Funktionen mehrerer unabhängiger Veränderlichen

    Friedrich Hartogs (1906)
    Formal Antecedent
  1044. In corpus Foundations and Logic Article

    Ist die Trägheit eines Körpers von seinem Energieinhalt abhängig?

    Albert Einstein (1905)
    Formal Antecedent
  1045. Cited 1× Foundations and Logic Article

    Über einen die Erzeugung und Verwandlung des Lichtes betreffenden heuristischen Gesichtspunkt

    Albert Einstein (1905)
    Formal Antecedent Book IV
  1046. In corpus Foundations and Logic Book

    On Denoting

    Bertrand Russell (1905)
    Formal Antecedent
  1047. In corpus Foundations and Logic Book

    Elementary Principles in Statistical Mechanics

    J. Willard Gibbs (1902)
    Formal Antecedent
  1048. Cited 2× Foundations and Logic Article

    Über das Gesetz der Energieverteilung im Normalspectrum

    Max Planck (1901)
    Formal Antecedent Book IV
  1049. Cited 1× Foundations and Logic Book

    Logische Untersuchungen

    Edmund Husserl (1900)
    Formal Antecedent Book VII
  1050. In corpus Foundations and Logic Book

    Grundlagen der Geometrie

    David Hilbert (1899)
    Formal Antecedent
  1051. In corpus Foundations and Logic Article

    Uber die Komposition der quadratischen Formen von beliebig vielen Variablen

    Adolf Hurwitz (1898)
    Formal Antecedent
  1052. In corpus Foundations and Logic Article

    Sur une substance nouvelle radio-active, contenue dans la pechblende

    Pierre Curie and Marie Curie (1898)
    Formal Antecedent
  1053. Cited 1× Foundations and Logic Article

    Cathode Rays

    J. J. Thomson (1897)
    Formal Antecedent Book IV
  1054. In corpus Foundations and Logic Article

    Sur les radiations émises par phosphorescence

    Henri Becquerel (1896)
    Formal Antecedent
  1055. In corpus Number Theory and Analysis Article

    Zur Riemannschen Zetafunktion (On the Riemann zeta function)

    von Mangoldt, Hans (1895)
    Domain Context
  1056. In corpus Foundations and Logic Book

    De la division du travail social

    Émile Durkheim (1893)
    Formal Antecedent
  1057. Cited 2× Foundations and Logic Book

    Über Sinn und Bedeutung

    Gottlob Frege (1892)
    Formal Antecedent Book VII
  1058. In corpus Foundations and Logic Article

    Über eine elementare Frage der Mannigfaltigkeitslehre

    Cantor, Georg (1891)
    Formal Antecedent
  1059. Cited 2× Foundations and Logic Article

    On the Structure of the Line-Spectra of the Chemical Elements

    Johannes Rydberg (1890)
    Formal Antecedent Book IV
  1060. In corpus Foundations and Logic Book

    The Principles of Psychology

    William James (1890)
    Formal Antecedent
  1061. In corpus Foundations and Logic Article

    Arithmetices principia, nova methodo exposita

    Peano, Giuseppe (1889)
    Formal Antecedent
  1062. Cited 1× Foundations and Logic Article

    Über die Reaktionsgeschwindigkeit bei der Inversion von Rohrzucker durch Säuren

    Svante Arrhenius (1889)
    Formal Antecedent Book IV
  1063. In corpus Foundations and Logic Article

    Was sind und was sollen die Zahlen?

    Dedekind, Richard (1888)
    Formal Antecedent
  1064. In corpus Foundations and Logic Article

    Ueber den arithmetischen Charakter der Darstellung der endlichen Gruppen

    Maschke, Heinrich (1887)
    Formal Antecedent
  1065. In corpus Foundations and Logic Article

    Notiz über die Spectrallinien des Wasserstoffs

    Johann Jakob Balmer (1885)
    Formal Antecedent
  1066. In corpus Foundations and Logic Article

    Recherches sur les intégrales de certaines équations fonctionnelles

    Gabriel Koenigs (1884)
    Formal Antecedent
  1067. In corpus Foundations and Logic Book

    Also sprach Zarathustra

    Friedrich Nietzsche (1883)
    Formal Antecedent
  1068. In corpus Foundations and Logic Book

    Begriffsschrift

    Gottlob Frege (1879)
    Formal Antecedent
  1069. In corpus Life and Biology Article

    Desiderata and Suggestions: No. 2. The Theory of Groups: Graphical Representation

    Arthur Cayley (1878)
    Domain Context
  1070. In corpus Foundations and Logic Article

    Über lineare Substitutionen und bilineare Formen

    Frobenius, Ferdinand Georg (1878)
    Formal Antecedent
  1071. In corpus Life and Biology Article

    Ueber lineare Substitutionen und bilineare Formen

    Ferdinand Frobenius (1877)
    Domain Context
  1072. In corpus Foundations and Logic Article

    Über die Beziehung zwischen dem zweiten Hauptsatze der mechanischen Wärmetheorie und der Wahrscheinlichkeitsrechnung respektive den Sätzen über das Wärmegleichgewicht

    Ludwig Boltzmann (1877)
    Formal Antecedent
  1073. Cited 1× Foundations and Logic Book

    Vorschule der Ästhetik

    Gustav Theodor Fechner (1876)
    Formal Antecedent Book VII
  1074. In corpus Life and Biology Article

    Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen

    Cantor, Georg (1874)
    Domain Context
  1075. In corpus Foundations and Logic Book

    A Treatise on Electricity and Magnetism

    James Clerk Maxwell (1873)
    Formal Antecedent
  1076. Cited 1× Foundations and Logic Article

    Über die Beziehungen der Eigenschaften zu den Atomgewichten der Elemente

    Dmitri Mendeleev (1869)
    Formal Antecedent Book IV
  1077. In corpus Foundations and Logic Book

    Das Kapital: Kritik der politischen Ökonomie

    Karl Marx (1867)
    Formal Antecedent
  1078. In corpus Foundations and Logic Book

    Experiments on Plant Hybridization (Versuche über Pflanzen-Hybriden)

    Mendel, Gregor (1866)
    Formal Antecedent
  1079. Cited 1× Foundations and Logic Article

    Sur la constitution des substances aromatiques

    August Kekulé (1865)
    Formal Antecedent Book IV
  1080. Cited 2× Foundations and Logic Article

    Über verschiedene für die Anwendung bequeme Formen der Hauptgleichungen der mechanischen Wärmetheorie

    Rudolf Clausius (1865)
    Formal Antecedent Book IV
  1081. Cited 1× Foundations and Logic Book

    Utilitarianism

    John Stuart Mill (1863)
    Formal Antecedent Book VII
  1082. Cited 2× Foundations and Logic Article

    Mémoire sur les corpuscules organisés qui existent dans l'atmosphère

    Pasteur, Louis (1861)
    Formal Antecedent Book VI
  1083. In corpus Life and Biology Book

    On the Origin of Species by Means of Natural Selection

    Darwin, Charles (1859)
    Domain Context
  1084. In corpus Foundations and Logic Book Chapter

    Über die Anzahl der Primzahlen unter einer gegebenen Grösse

    Riemann, Bernhard (1859)
    Formal Antecedent
  1085. In corpus Life and Biology Article

    Memoire sur les nombres premiers

    P. L. Chebyshev (1852)
    Domain Context
  1086. In corpus Life and Biology Article

    Sur l'équation aux dérivées partielles ...

    Liouville, Joseph (1850)
    Domain Context
  1087. In corpus Life and Biology Article

    On Certain Functions Resembling Quaternions, and on a New Imaginary in Algebra

    James Cockle (1849)
    Domain Context
  1088. In corpus Foundations and Logic Article

    On Quaternions; or on a New System of Imaginaries in Algebra

    William Rowan Hamilton (1844)
    Formal Antecedent
  1089. Cited 1× Metaphysics and Philosophy Book

    Vorlesungen über die Ästhetik

    G. W. F. Hegel (1835)
    Conceptual Bridge Book VII
  1090. In corpus Foundations and Logic Article

    Über künstliche Bildung des Harnstoffs

    Wöhler, Friedrich (1828)
    Formal Antecedent
  1091. In corpus Foundations and Logic Book

    Die Welt als Wille und Vorstellung

    Arthur Schopenhauer (1818)
    Formal Antecedent
  1092. Cited 3× Foundations and Logic Book

    Kritik der Urteilskraft

    Immanuel Kant (1790)
    Formal Antecedent Book VII
  1093. Cited 1× Foundations and Logic Book

    Kritik der praktischen Vernunft

    Immanuel Kant (1788)
    Formal Antecedent Book VII
  1094. In corpus Foundations and Logic Article

    Premier mémoire sur l'électricité et le magnétisme

    Charles-Augustin de Coulomb (1785)
    Formal Antecedent
  1095. Cited 2× Physics Book

    Grundlegung zur Metaphysik der Sitten

    Immanuel Kant (1785)
    Domain Context Book VII
  1096. Cited 1× Foundations and Logic Book

    Kritik der reinen Vernunft

    Immanuel Kant (1781)
    Formal Antecedent Book VII
  1097. In corpus Foundations and Logic Book

    A Philosophical Enquiry into the Origin of Our Ideas of the Sublime and Beautiful

    Edmund Burke (1757)
    Formal Antecedent
  1098. In corpus Metaphysics and Philosophy Book

    Aesthetica

    Alexander Gottlieb Baumgarten (1750)
    Conceptual Bridge
  1099. Cited 3× Foundations and Logic Book

    A Treatise of Human Nature

    David Hume (1739)
    Formal Antecedent Book VII
  1100. In corpus Category Theory Book

    Monadology

    Gottfried Wilhelm Leibniz (1714)
    Foundational Source
  1101. In corpus Topology and Geometry Article

    Curvatura Laminae Elasticae

    Jakob Bernoulli (1694)
    Domain Context
  1102. In corpus Foundations and Logic Book

    An Essay Concerning Human Understanding

    John Locke (1689)
    Formal Antecedent
  1103. In corpus Foundations and Logic Book

    Philosophiæ Naturalis Principia Mathematica

    Isaac Newton (1687)
    Formal Antecedent
  1104. In corpus Topology and Geometry Book

    Ethica Ordine Geometrico Demonstrata

    Baruch Spinoza (1677)
    Domain Context
  1105. Cited 1× Metaphysics and Philosophy Book

    Meditationes de Prima Philosophia

    René Descartes (1641)
    Conceptual Bridge Book VII
  1106. Cited 1× Life and Biology Book

    Treatise on Man (L'Homme)

    Descartes, René (1633)
    Domain Context Book VI
  1107. In corpus Topology and Geometry Book Chapter

    Éléments de Géométrie Algébrique

    A. Grothendieck and J. Dieudonné (1960--1967)
    Domain Context
  1108. Cited 3× Life and Biology Book

    De Anima (On the Soul)

    Aristotle (350 BCE)
    Domain Context Book VI
  1109. Cited 1× Physics Book

    Metaphysics

    Aristotle (-350)
    Domain Context Book VII
  1110. Cited 1× Category Theory Book

    Categories

    Aristotle (-350)
    Foundational Source Book VII
  1111. In corpus Number Theory and Analysis Book

    Prior Analytics

    Aristotle (-350)
    Domain Context
  1112. Cited 2× Metaphysics and Philosophy Book

    Nicomachean Ethics

    Aristotle (-340)
    Conceptual Bridge Book VII
  1113. In corpus Foundations and Logic Article

    Constructive Möbius transformations on discrete circles

    Author, Unknown (20XX)
    Formal Antecedent
  1114. In corpus Topology and Geometry Article

    Analytic functions on profinite bundles

    Author, Unknown (n.d.)
    Domain Context
  1115. In corpus Number Theory and Analysis Miscellaneous

    The Birch and Swinnerton-Dyer Conjecture

    Barry Mazur and John Tate (n.d.)
    Domain Context
  1116. In corpus Foundations and Logic Book

    Collected Papers of Charles Sanders Peirce

    Charles Sanders Peirce (1931--1958)
    Formal Antecedent
  1117. Cited 1× Topology and Geometry Book

    Hodge Theory and Complex Algebraic Geometry

    Claire Voisin (n.d.)
    Domain Context Book III
  1118. In corpus Foundations and Logic Miscellaneous

    Some remarks on Yang–Mills theory

    Edward Witten (various)
    Formal Antecedent
  1119. In corpus Foundations and Logic Book

    Elements

    Euclid (c. 300 BCE)
    Formal Antecedent
  1120. In corpus Computation and Complexity Article

    Group-theoretic algorithms for the Fourier transform

    Maslen, D. and Rockmore, D. (UNVERIFIED)
    Domain Context
  1121. In corpus Number Theory and Analysis Miscellaneous

    mpmath: a Python library for arbitrary-precision floating-point arithmetic

    Mpmath Development Team and Fredrik Johansson (2006--)
    Domain Context
  1122. Cited 1× Foundations and Logic Miscellaneous

    Hodge Theory

    Pierre Deligne (n.d.)
    Formal Antecedent Book III
  1123. Cited 1× Foundations and Logic Book

    Theaetetus

    Plato (-369)
    Formal Antecedent Book VII
  1124. In corpus Foundations and Logic Miscellaneous

    The Stacks Project

    The Stacks Project Authors (ongoing)
    Formal Antecedent
  1125. In corpus Physics Book

    The Quantum Theory of Fields

    Weinberg, Steven (1995--2000)
    Domain Context