Hartnoll, Sean A. and Yang, Mao (2025)
arXiv preprint
Article
Formal Antecedent
Daniel Gratzer and Jonathan Sterling (2024)
Article
Formal Antecedent
Andreas Abel and Nils Anders Danielsson and Andrea Vezzosi (2023)
Proceedings of the ACM on Programming Languages (ICFP)
Conference Paper
Formal Antecedent
Author, A. (2023)
Preprint
Article
Formal Antecedent
Boris Eng (2023)
PhD Thesis
Formal Antecedent
Danil Annenkov and Paolo Capriotti and Nicolai Kraus and Christian Sattler (2023)
Mathematical Structures in Computer Science
Article
Formal Antecedent
The Coq Development Team (2021)
Book
Formal Antecedent
Léo Morel and others (2020)
Nature
Article
Formal Antecedent
M. Zworski (2020)
Bulletin of the American Mathematical Society
Article
Formal Antecedent
Planck Collaboration (2020)
Astronomy & Astrophysics
Article
Formal Antecedent
Planck Collaboration (2020)
Astronomy & Astrophysics
Article
Formal Antecedent
Planck Collaboration and Aghanim, N. and others (2020)
Astronomy & Astrophysics
Article
Formal Antecedent
Carroll, Sean M. (2019)
Dutton
Book
Formal Antecedent
Jeremy Avigad and Leonardo de Moura and others (2018)
Miscellaneous
Formal Antecedent
Lairez, Pierre (2018)
Foundations of Computational Mathematics
Article
Formal Antecedent
Ø ystein Linnebo (2018)
Oxford University Press
Book
Formal Antecedent
Nelson, David L. and Cox, Michael M. (2017)
W. H. Freeman
Book
Formal Antecedent
Walker, Matthew P. (2017)
Scribner
Book
Formal Antecedent
Folland, Gerald B. (2016)
CRC Press
Book
Domain Context
Huybrechts, Daniel (2016)
Cambridge University Press
Book
Formal Antecedent
Jean-Yves Girard (2016)
Unpublished
Formal Antecedent
Paulsen, Vern I. and Raghupathi, Mrinal (2016)
Cambridge University Press
Book
Domain Context
Pierre Lairez (2016)
arXiv:1606.06212
Article
Formal Antecedent
Terence Tao (2016)
Miscellaneous
Formal Antecedent
Thorsten Altenkirch and Ambrus Kaposi (2016)
Proceedings of POPL 2016
Conference Paper
Formal Antecedent
Mancuso, Stefano and Viola, Alessandra (2015)
Island Press
Book
Formal Antecedent
Wolpert, Lewis and Tickle, Cheryll and Martinez Arias, Alfonso (2015)
Oxford University Press
Book
Formal Antecedent
de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and van Doorn, Floris and von Raumer, Jakob (2015)
Automated Deduction – CADE-25
Conference Paper
Formal Antecedent
Dan E. Willard (2014)
Logic, Language, Information, and Computation (WoLLIC 2014)
Conference Paper
Formal Antecedent
Priest, Eric R. (2014)
Cambridge University Press
Book
Formal Antecedent
Dinko Horak and Jürgen Jost (2013)
Advances in Mathematics
Article
Formal Antecedent
Joachim von zur Gathen and Jürgen Gerhard (2013)
Cambridge University Press
Book
Formal Antecedent
Univalent Foundations Program (2013)
Institute for Advanced Study
Book
Formal Antecedent
Unknown (2013)
Springer
Book
Formal Antecedent
von zur Gathen, Jürgen and Gerhard, Jürgen (2013)
Cambridge University Press
Book
Formal Antecedent
Chelkak, Dmitry and Smirnov, Stanislav (2012)
Advances in Mathematics
Article
Formal Antecedent
Chelkak, Dmitry and Smirnov, Stanislav (2012)
Advances in Mathematics
Article
Formal Antecedent
Joel David Hamkins (2012)
Review of Symbolic Logic
Article
Formal Antecedent
Joel David Hamkins (2012)
Annals of the Japan Association for Philosophy of Science
Article
Formal Antecedent
Chelkak, Dmitry and Smirnov, Stanislav (2011)
Advances in Mathematics
Article
Formal Antecedent
Crawford, Dorothy H. (2011)
Oxford University Press
Book
Domain Context
Jennifer Hay (2011)
Linguistics
Article
Formal Antecedent
John C. Baez and Mike Stay (2011)
New Structures for Physics
Book
Formal Antecedent
Jonathan A. Barmak (2011)
Birkhäuser
Book
Formal Antecedent
Blackmond, Donna G. (2010)
Cold Spring Harbor Perspectives in Biology
Article
Formal Antecedent
Forrester, P. J. (2010)
Princeton University Press
Book
Formal Antecedent
Hasan, M. Zahid and Kane, Charles L. (2010)
Reviews of Modern Physics
Article
Formal Antecedent
John C. Baez and Mike Stay (2010)
New Structures for Physics
Article
Formal Antecedent
Randolf Pohl and others (2010)
Nature
Article
Formal Antecedent
Ribes, Luis and Zalesskii, Pavel (2010)
Springer
Book
Formal Antecedent
Ribes, Luis and Zalesskii, Pavel (2010)
Springer
Book
Formal Antecedent
Solomon Feferman and Thomas Strahm (2010)
Foundational Theories of Classical and Constructive Mathematics
Book Chapter
Formal Antecedent
Judea Pearl (2009)
Cambridge University Press
Book
Formal Antecedent
Thomas Metzinger (2009)
Basic Books
Book
Formal Antecedent
Binney, James and Tremaine, Scott (2008)
Princeton University Press
Book
Formal Antecedent
Bjorn Poonen (2008)
Notices of the American Mathematical Society
Article
Formal Antecedent
Brattka, Vasco and Hertling, Peter and Weihrauch, Klaus (2008)
New computational paradigms: The Turing centennial
Book Chapter
Formal Antecedent
Chris A. M. Peters and Joseph H. M. Steenbrink (2008)
Springer
Book
Formal Antecedent
Doeleman, Sheperd S. and others (2008)
Nature
Article
Formal Antecedent
Hardy, G. H. and Wright, E. M. (2008)
Oxford University Press
Book
Domain Context
Katz, Nicholas M. (2008)
Princeton University Press
Book
Formal Antecedent
Kleiner, Bruce and Lott, John (2008)
Miscellaneous
Formal Antecedent
L. Katzarkov and M. Kontsevich and T. Pantev (2008)
Proceedings / Symposium (VERIFY)
Article
Formal Antecedent
Wells, Raymond O. (2008)
Springer
Book
Formal Antecedent
Elizabeth S. Spelke and Katherine D. Kinzler (2007)
Developmental Science
Book
Formal Antecedent
Ferreirós, José (2007)
Birkhäuser
Book
Formal Antecedent
J. Morgan and G. Tian (2007)
American Mathematical Society
Book
Formal Antecedent
Anders Kock (2006)
Cambridge University Press
Book
Formal Antecedent
Chow, Bennett and Lu, Peng and Ni, Lei and others (2006)
American Mathematical Society
Book
Formal Antecedent
Clowe, Douglas and others (2006)
Astrophysical Journal Letters
Article
Formal Antecedent
Douglas N. Arnold and Richard S. Falk and Ragnar Winther (2006)
Acta Numerica
Article
Formal Antecedent
Hofmann, Karl H. and Morris, Sidney A. (2006)
de Gruyter
Book
Formal Antecedent
Huai-Dong Cao and Xi-Ping Zhu (2006)
Asian Journal of Mathematics
Article
Formal Antecedent
Milnor, John (2006)
Princeton University Press
Book
Formal Antecedent
Rindler, Wolfgang (2006)
Oxford University Press
Book
Formal Antecedent
Tononi, Giulio and Cirelli, Chiara (2006)
Sleep Medicine Reviews
Article
Formal Antecedent
Topping, Peter (2006)
Cambridge University Press
Book
Formal Antecedent
Frigo, Matteo and Johnson, Steven G. (2005)
Proceedings of the IEEE
Article
Formal Antecedent
Frigo, Matteo and Johnson, Steven G. (2005)
Proceedings of the IEEE
Article
Formal Antecedent
Garnett, John B. and Marshall, Donald E. (2005)
Cambridge University Press
Book
Formal Antecedent
Mathieu Desbrun and Anil N. Hirani and Michael Leok and Jerrold E. Marsden (2005)
arXiv preprint
Article
Formal Antecedent
Mukhanov, Viatcheslav (2005)
Cambridge University Press
Book
Formal Antecedent
Stephenson, Kenneth (2005)
Cambridge University Press
Book
Domain Context
Viatcheslav Mukhanov (2005)
Cambridge University Press
Book
Formal Antecedent
Alexander Kirillov Jr. (2004)
American Mathematical Society
Book
Formal Antecedent
David S. Dummit and Richard M. Foote (2004)
Wiley
Book
Formal Antecedent
Hans Grauert and Reinhold Remmert (2004)
Springer
Book
Formal Antecedent
Katherine Nelson and Robyn Fivush (2004)
Psychological Review
Article
Formal Antecedent
Katznelson, Yitzhak (2004)
Cambridge University Press
Book
Domain Context
Madan Lal Mehta (2004)
Elsevier
Book
Formal Antecedent
Penrose, Roger (2004)
Vintage Books
Book
Formal Antecedent
Peter Sloterdijk (2004)
Suhrkamp
Book
Formal Antecedent
Roger Penrose (2004)
Jonathan Cape
Book
Formal Antecedent
Sigurd Angenent and Dan Knopf (2004)
Mathematical Research Letters
Article
Formal Antecedent
Tinkham, Michael (2004)
Dover Publications
Book
Domain Context
Yves André (2004)
SMF/Noûs
Book
Domain Context
Ananya N. Hirani (2003)
PhD Thesis
Formal Antecedent
Conway, John H. and Smith, Derek A. (2003)
A K Peters
Book
Formal Antecedent
E. T. Jaynes (2003)
Cambridge University Press
Book
Formal Antecedent
Ieke Moerdijk and Janez Mrčun (2003)
Cambridge University Press
Book
Domain Context
Mario Livio (2003)
Broadway Books
Book
Formal Antecedent
Moerdijk, Ieke and Mrčun, Janez (2003)
Cambridge University Press
Book
Domain Context
Perelman, Grigori (2003)
Miscellaneous
Formal Antecedent
Stein, Elias M. and Shakarchi, Rami (2003)
Princeton University Press
Book
Formal Antecedent
Thomas Jech (2003)
Springer
Book
Formal Antecedent
Thomas Metzinger (2003)
MIT Press
Book
Formal Antecedent
A. Zygmund (2002)
Cambridge University Press
Book
Formal Antecedent
Baez, John C. (2002)
Bulletin of the American Mathematical Society
Article
Formal Antecedent
Bonk, Mario and Kleiner, Bruce (2002)
Inventiones Mathematicae
Article
Formal Antecedent
Daniel M. Wegner (2002)
MIT Press
Book
Formal Antecedent
David Marker (2002)
Springer
Book
Domain Context
Goldstein, Herbert and Poole, Charles P. and Safko, John L. (2002)
Addison Wesley
Book
Formal Antecedent
Randall J. LeVeque (2002)
Cambridge University Press
Book
Formal Antecedent
Reppert, Steven M. and Weaver, David R. (2002)
Nature
Article
Formal Antecedent
Carroll, Sean M. (2001)
Living Reviews in Relativity
Article
Formal Antecedent
Dan E. Willard (2001)
Journal of Symbolic Logic
Article
Formal Antecedent
Jean-Yves Girard (2001)
Mathematical Structures in Computer Science
Article
Formal Antecedent
Kontsevich, Maxim and Zagier, Don (2001)
Mathematics Unlimited—2001 and Beyond
Book Chapter
Formal Antecedent
Krantz, Steven G. (2001)
Wadsworth & Brooks/Cole
Book
Formal Antecedent
Roger Temam (2001)
American Mathematical Society
Book
Formal Antecedent
Steven G. Krantz (2001)
American Mathematical Society
Book
Formal Antecedent
Alain M. Robert (2000)
Springer
Book
Domain Context
Hedenmalm, Håkan and Korenblum, Boris and Zhu, Kehe (2000)
Springer
Book
Formal Antecedent
Kauffman, Stuart A. (2000)
Oxford University Press
Book
Formal Antecedent
Klaus Weihrauch (2000)
Springer
Book
Domain Context
L. N. Trefethen (2000)
Society for Industrial and Applied Mathematics
Book
Formal Antecedent
Luis Ribes and Pavel Zalesskii (2000)
Springer-Verlag
Book
Formal Antecedent
Timothy Williamson (2000)
Oxford University Press
Book
Formal Antecedent
Viviane Baladi (2000)
World Scientific
Book
Formal Antecedent
Alfred Tarski and Steven Givant (1999)
Bulletin of Symbolic Logic
Article
Formal Antecedent
Audrey Terras (1999)
Cambridge University Press
Book
Formal Antecedent
Clark Robinson (1999)
CRC Press
Book
Formal Antecedent
Katz, Nicholas M. and Sarnak, Peter (1999)
American Mathematical Society
Book
Formal Antecedent
Murray, Carl D. and Dermott, Stanley F. (1999)
Cambridge University Press
Book
Formal Antecedent
Nicholas M. Katz and Peter Sarnak (1999)
American Mathematical Society
Book
Formal Antecedent
Olver, Peter J. (1999)
Cambridge University Press
Book
Formal Antecedent
Peter Sloterdijk (1999)
Suhrkamp
Book
Formal Antecedent
Serre, Jean-Pierre (1999)
Springer
Book
Formal Antecedent
Truman, James W. and Riddiford, Lynn M. (1999)
Nature
Book
Formal Antecedent
Christopher M. Bishop (1998)
NATO Science Series III: Computer and Systems Sciences
Article
Formal Antecedent
Fulton, William (1998)
Springer-Verlag
Book
Formal Antecedent
Nicola S. Clayton and Anthony Dickinson (1998)
Nature
Article
Formal Antecedent
Peter Sloterdijk (1998)
Suhrkamp
Book
Formal Antecedent
Riess, Adam G. and others (1998)
Astronomical Journal
Article
Formal Antecedent
Sanjeev Arora and Shmuel Safra (1998)
Journal of the ACM
Article
Formal Antecedent
Wilson, John S. (1998)
Oxford University Press
Book
Formal Antecedent
Alexander A. Razborov and Steven Rudich (1997)
Journal of Computer and System Sciences
Article
Formal Antecedent
Fan R. K. Chung (1997)
American Mathematical Society
Book
Formal Antecedent
Lloyd N. Trefethen and David Bau, III (1997)
SIAM
Book
Formal Antecedent
Maddy, Penelope (1997)
Oxford University Press
Book
Formal Antecedent
Needham, Tristan (1997)
Oxford University Press
Book
Formal Antecedent
Washington, Lawrence C. (1997)
Springer
Book
Domain Context
Chalmers, David J. (1996)
Oxford University Press
Book
Formal Antecedent
Christine Korsgaard (1996)
Cambridge University Press
Book
Formal Antecedent
E. T. Whittaker and G. N. Watson (1996)
Cambridge University Press
Book
Domain Context
Elizabeth Loftus and Katherine Ketcham (1996)
St. Martin's Press
Book
Formal Antecedent
Loïc Merel (1996)
Inventiones Mathematicae
Article
Formal Antecedent
Robert Kane (1996)
Oxford University Press
Book
Formal Antecedent
Shoshichi Kobayashi and Katsumi Nomizu (1996)
Wiley-Interscience
Book
Formal Antecedent
Yves André (1996)
Société Mathématique de France
Book
Domain Context
Charles R. Doering and James D. Gibbon (1995)
Cambridge University Press
Book
Formal Antecedent
Gerald B. Folland (1995)
CRC Press
Book
Domain Context
Joyal, André and Moerdijk, Ieke (1995)
Cambridge University Press
Book
Formal Antecedent
Mayor, Michel and Queloz, Didier (1995)
Nature
Article
Formal Antecedent
Peter B. Gilkey (1995)
CRC Press
Book
Formal Antecedent
Steven Weinberg (1995)
Cambridge University Press
Book
Formal Antecedent
T. Kato (1995)
Springer
Book
Formal Antecedent
T. Kato (1995)
Springer-Verlag
Book
Formal Antecedent
Charles A. Weibel (1994)
Cambridge University Press
Book
Domain Context
F. Martinelli and E. Olivieri (1994)
Stochastic Processes and Their Applications
Book Chapter
Formal Antecedent
Maxim Kontsevich (1994)
Proceedings of the International Congress of Mathematicians
Conference Paper
Formal Antecedent
Pinker, Steven (1994)
William Morrow and Company
Book
Formal Antecedent
Barry Simon (1993)
Princeton University Press
Book
Formal Antecedent
Carleson, Lennart and Gamelin, Theodore W. (1993)
Springer
Book
Formal Antecedent
Fulton, William (1993)
Princeton University Press
Book
Domain Context
Yuri Matiyasevich (1993)
MIT Press
Book
Formal Antecedent
Bell, Steven R. (1992)
CRC Press
Book
Formal Antecedent
Berline, Nicole and Getzler, Ezra and Vergne, Michèle (1992)
Springer
Book
Formal Antecedent
Carolyn Gordon and David Webb and Scott Wolpert (1992)
Bulletin of the American Mathematical Society
Article
Formal Antecedent
Carolyn S. Gordon and David L. Webb and Scott Wolpert (1992)
Bulletin of the American Mathematical Society
Article
Formal Antecedent
John Searle (1992)
MIT Press
Book
Formal Antecedent
Krantz, Steven G. (1992)
Wadsworth & Brooks/Cole
Book
Formal Antecedent
Pommerenke, Christian (1992)
Springer
Book
Formal Antecedent
Uwe Jannsen (1992)
Inventiones Mathematicae
Article
Formal Antecedent
Forster, Otto (1991)
Springer-Verlag
Book
Formal Antecedent
Klimek, Maciej (1991)
Clarendon Press, Oxford University Press
Book
Formal Antecedent
Remmert, Reinhold (1991)
Springer-Verlag
Book
Formal Antecedent
Solomon Feferman (1991)
Journal of Symbolic Logic
Article
Formal Antecedent
William Fulton and Joe Harris (1991)
Springer
Book
Domain Context
Conway, John B. (1990)
Springer
Book
Domain Context
Dijkgraaf, R. and Witten, E. (1990)
Commun. Math. Phys.
Article
Formal Antecedent
Finch, Caleb E. (1990)
University of Chicago Press
Book
Formal Antecedent
Hörmander, Lars (1990)
North-Holland
Book
Domain Context
Kolb, Edward W. and Turner, Michael S. (1990)
Addison-Wesley
Book
Formal Antecedent
S. Bosch and W. Lütkebohmert and M. Raynaud (1990)
Springer-Verlag
Book
Formal Antecedent
Siegfried Bosch and Werner Lütkebohmert and Michel Raynaud (1990)
Springer
Book
Formal Antecedent
Baston, Ronald J. and Eastwood, Michael G. (1989)
Oxford University Press
Book
Formal Antecedent
D. F. Lawden (1989)
Springer-Verlag
Book
Formal Antecedent
H. P. Grice (1989)
Harvard University Press
Book
Formal Antecedent
Hideyuki Matsumura (1989)
Cambridge University Press
Book
Formal Antecedent
Jacobson, Nathan (1989)
W. H. Freeman
Book
Formal Antecedent
Jean-Yves Girard (1989)
Logic Colloquium '88
Book Chapter
Formal Antecedent
Pour-El, Marian B. and Richards, J. Ian (1989)
Springer
Book
Formal Antecedent
Weinberg, Steven (1989)
Reviews of Modern Physics
Article
Formal Antecedent
Diaconis, Persi (1988)
Institute of Mathematical Statistics Lecture Notes–Monograph Series
Book Chapter
Formal Antecedent
Maskit, Bernard (1988)
Springer
Book
Formal Antecedent
Mines, Raymond and Richman, Fred and Ruitenburg, Wim (1988)
Springer-Verlag
Book
Domain Context
Peter Constantin and Ciprian Foias (1988)
University of Chicago Press
Book
Formal Antecedent
Thierry Coquand and Gérard Huet (1988)
Information and Computation
Article
Formal Antecedent
Troelstra, Anne Sjerp and van Dalen, Dirk (1988)
North-Holland
Book
Domain Context
Bridges, Douglas S. and Richman, Fred (1987)
Cambridge University Press
Book
Formal Antecedent
Chandler, David (1987)
Oxford University Press
Book
Domain Context
Douglas S. Bridges and Fred Richman (1987)
Cambridge University Press
Book
Formal Antecedent
Jean-Yves Girard (1987)
Theoretical Computer Science
Article
Formal Antecedent
Rudin, Walter (1987)
McGraw-Hill
Book
Formal Antecedent
Soare, Robert I. (1987)
Springer
Book
Formal Antecedent
Yves Colin de Verdière (1987)
Annales de l'Institut Fourier
Article
Formal Antecedent
B. H. Gross and D. B. Zagier (1986)
Inventiones Mathematicae
Article
Formal Antecedent
Bednorz, Johannes Georg and Müller, Karl Alexander (1986)
Zeitschrift für Physik B
Article
Formal Antecedent
David Lewis (1986)
Blackwell
Book
Formal Antecedent
Range, R. Michael (1986)
Springer
Book
Formal Antecedent
Simon L. Altmann (1986)
Oxford University Press
Book
Formal Antecedent
Beeson, Michael J. (1985)
Springer
Book
Formal Antecedent
D. Bakry and M. Émery (1985)
Séminaire de probabilités XIX 1983/84
Book Chapter
Formal Antecedent
Daniel Quillen (1985)
Functional Analysis and Its Applications
Article
Formal Antecedent
Errett Bishop and Douglas Bridges (1985)
Springer
Book
Formal Antecedent
Lang, Serge (1985)
Springer
Book
Formal Antecedent
Bosch, Siegfried and Güntzer, Ulrich and Remmert, Reinhold (1984)
Springer
Book
Formal Antecedent
Derek Parfit (1984)
Oxford University Press
Book
Formal Antecedent
Grauert, Hans and Remmert, Reinhold (1984)
Springer-Verlag
Book
Formal Antecedent
Niklas Luhmann (1984)
Suhrkamp
Book
Formal Antecedent
Per Martin-Löf (1984)
Bibliopolis
Book
Formal Antecedent
Prigogine, Ilya and Stengers, Isabelle (1984)
Bantam Books
Book
Formal Antecedent
Schikhof, W. H. (1984)
Cambridge University Press
Book
Domain Context
William M. Goldman (1984)
Advances in Mathematics
Article
Formal Antecedent
Catlin, David W. (1983)
Annals of Mathematics
Article
Formal Antecedent
D. A. Hejhal (1983)
Springer
Book
Formal Antecedent
G. Faltings (1983)
Invent. Math.
Article
Formal Antecedent
Stuart L. Shapiro and Saul A. Teukolsky (1983)
Wiley
Book
Formal Antecedent
Johnstone, Peter T. (1982)
Cambridge University Press
Book
Formal Antecedent
Johnstone, Peter T. (1982)
Cambridge University Press
Book
Formal Antecedent
Peter T. Johnstone (1982)
Cambridge University Press
Book
Formal Antecedent
Peter T. Johnstone (1982)
Cambridge University Press
Book
Formal Antecedent
Peter Walters (1982)
Springer
Book
Domain Context
Alasdair MacIntyre (1981)
University of Notre Dame Press
Book
Formal Antecedent
Arthur Danto (1981)
Harvard University Press
Book
Formal Antecedent
Curtis, Charles W. and Reiner, Irving (1981)
John Wiley & Sons
Book
Formal Antecedent
Forster, Otto (1981)
Springer-Verlag
Book
Formal Antecedent
Hilary Putnam (1981)
Cambridge University Press
Book
Formal Antecedent
Jürgen Habermas (1981)
Suhrkamp
Book
Formal Antecedent
Lempert, L. (1981)
Bulletin de la Société Mathématique de France
Article
Formal Antecedent
Kenneth Kunen (1980)
North-Holland
Book
Domain Context
P. J. E. Peebles (1980)
Princeton University Press
Book
Formal Antecedent
Renault, Jean (1980)
Springer
Book
Formal Antecedent
Sagan, Carl (1980)
Random House
Book
Formal Antecedent
Saul Kripke (1980)
Harvard University Press
Book
Formal Antecedent
Ahlfors, Lars V. (1979)
McGraw-Hill
Book
Formal Antecedent
Anthony Sudbery (1979)
Mathematical Proceedings of the Cambridge Philosophical Society
Article
Formal Antecedent
Barry Simon (1979)
Cambridge University Press
Book
Formal Antecedent
Barry Simon (1979)
Cambridge University Press
Book
Formal Antecedent
Godfrey H. Hardy and Edward M. Wright (1979)
Oxford University Press
Book
Domain Context
Hans Jonas (1979)
Insel Verlag
Book
Formal Antecedent
Hewitt, Edwin and Ross, Kenneth A. (1979)
Springer
Book
Formal Antecedent
Jean-Pierre Serre (1979)
Springer
Book
Formal Antecedent
Murray Gell-Mann and Pierre Ramond and Richard Slansky (1979)
Supergravity
Book Chapter
Formal Antecedent
John B. Conway (1978)
Springer-Verlag
Book
Formal Antecedent
Barry Mazur (1977)
Publications Mathématiques de l'IHÉS
Article
Formal Antecedent
Barry Simon (1977)
Advances in Mathematics
Article
Formal Antecedent
Blandford, Roger D. and Znajek, Roman L. (1977)
Monthly Notices of the Royal Astronomical Society
Article
Formal Antecedent
Chen, Kuo-Tsai (1977)
Proc. London Math. Soc. (3)
Article
Formal Antecedent
Grauert, Hans and Remmert, Reinhold (1977)
Springer
Book
Formal Antecedent
Jean-Pierre Serre (1977)
Springer-Verlag
Book
Formal Antecedent
Nuel D. Belnap (1977)
Modern Uses of Multiple-Valued Logic
Article
Formal Antecedent
Passman, D. S. (1977)
Wiley
Book
Formal Antecedent
Roger Temam (1977)
North-Holland
Book
Formal Antecedent
Sidney A. Morris (1977)
Cambridge University Press
Book
Formal Antecedent
Boutet de Monvel, Louis and Sjöstrand, Johannes (1976)
Astérisque
Article
Formal Antecedent
Dawkins, Richard (1976)
Oxford University Press
Book
Formal Antecedent
Dennis A. Hejhal (1976)
Springer
Book
Formal Antecedent
Donald E. Knuth (1976)
Science
Article
Formal Antecedent
Nelson Goodman (1976)
Hackett
Book
Formal Antecedent
Rolfsen, Dale (1976)
Publish or Perish
Book
Formal Antecedent
K. Osterwalder and R. Schrader (1975)
Communications in Mathematical Physics
Article
Formal Antecedent
Michel Foucault (1975)
Gallimard
Book
Formal Antecedent
Rufus Bowen (1975)
Springer
Book
Formal Antecedent
Fefferman, Charles (1974)
Inventiones Mathematicae
Article
Formal Antecedent
Hawking, Stephen W. (1974)
Nature
Article
Formal Antecedent
L. Kuipers and H. Niederreiter (1974)
Wiley
Book
Formal Antecedent
Milnor, John and Stasheff, James (1974)
Princeton University Press
Book
Formal Antecedent
P. Deligne (1974)
Publications Mathématiques de l'IHÉS
Article
Formal Antecedent
Thomas Nagel (1974)
Philosophical Review
Article
Formal Antecedent
Wilson, Kenneth G. (1974)
Phys. Rev. D
Article
Formal Antecedent
Hawking, Stephen W. and Ellis, George F. R. (1973)
Cambridge University Press
Book
Formal Antecedent
K. Osterwalder and R. Schrader (1973)
Communications in Mathematical Physics
Article
Formal Antecedent
Leonid A. Levin (1973)
Problems of Information Transmission
Article
Formal Antecedent
S. W. Hawking and G. F. R. Ellis (1973)
Cambridge University Press
Book
Formal Antecedent
Clemens, Herbert and Griffiths, Phillip (1972)
Annals of Mathematics
Article
Formal Antecedent
John R. Isbell (1972)
Mathematica Scandinavica
Article
Formal Antecedent
Mumford, David and others (1972)
Lecture Notes in Mathematics
Book Chapter
Formal Antecedent
Peter Freyd (1972)
Bulletin of the Australian Mathematical Society
Book
Formal Antecedent
Alexander Grothendieck (1971)
Séminaire de Géométrie Algébrique du Bois Marie 1960–61
Book Chapter
Formal Antecedent
Deligne, Pierre (1971)
Publications Mathématiques de l'IHÉS
Article
Formal Antecedent
John Rawls (1971)
Harvard University Press
Book
Formal Antecedent
Cheeger, Jeff (1970)
Problems in Analysis (Papers dedicated to Salomon Bochner, 1969)
Article
Formal Antecedent
Deligne, Pierre (1970)
Springer
Book
Formal Antecedent
Duren, Peter (1970)
Academic Press
Book
Formal Antecedent
Hewitt, Edwin and Ross, Kenneth A. (1970)
Springer
Book
Formal Antecedent
Mumford, David (1970)
Oxford University Press
Book
Formal Antecedent
Deligne, Pierre and Mumford, David (1969)
Publications Mathématiques de l'IHÉS
Article
Formal Antecedent
Griffiths, Phillip A. (1969)
Annals of Mathematics
Article
Formal Antecedent
John S. Bell and Roman Jackiw (1969)
Il Nuovo Cimento A
Article
Formal Antecedent
M. F. Atiyah and I. G. Macdonald (1969)
Addison-Wesley
Book
Domain Context
Olga A. Ladyzhenskaya (1969)
Gordon and Breach
Book
Formal Antecedent
Spencer-Brown, George (1969)
Allen & Unwin
Book
Formal Antecedent
U. Mosco (1969)
Advances in Mathematics
Article
Formal Antecedent
Atiyah, Michael F. and Singer, Isadore M. (1968)
Annals of Mathematics
Article
Formal Antecedent
Hörmander, Lars (1968)
Acta Mathematica
Article
Formal Antecedent
Richardson, Daniel (1968)
Journal of Symbolic Logic
Article
Formal Antecedent
V. I. Oseledets (1968)
Transactions of the Moscow Mathematical Society
Article
Formal Antecedent
Vladimir I. Arnold and André Avez (1968)
W. A. Benjamin
Book
Formal Antecedent
Andrei D. Sakharov (1967)
JETP Letters
Article
Formal Antecedent
Donald Davidson (1967)
Synthese
Article
Formal Antecedent
Errett Bishop (1967)
McGraw-Hill
Book
Formal Antecedent
Jacques Derrida (1967)
Minuit
Book
Formal Antecedent
Karl von Frisch (1967)
Harvard University Press
Book
Formal Antecedent
Philippa Foot (1967)
Oxford Review
Article
Formal Antecedent
R. T. Seeley (1967)
Singular Integrals (Proc. Sympos. Pure Math., Chicago, 1966)
Book Chapter
Formal Antecedent
Rogers, Hartley (1967)
McGraw-Hill
Book
Formal Antecedent
Stephen Smale (1967)
Bulletin of the American Mathematical Society
Article
Formal Antecedent
Ahlfors, Lars V. (1966)
McGraw-Hill
Book
Formal Antecedent
J. Tate (1966)
Inventiones Mathematicae
Article
Formal Antecedent
Kato, Tosio (1966)
Springer-Verlag
Book
Formal Antecedent
Mark Kac (1966)
American Mathematical Monthly
Article
Formal Antecedent
Paul J. Cohen (1966)
W. A. Benjamin
Article
Formal Antecedent
Élie Cartan (1966)
MIT Press
Book
Formal Antecedent
Benacerraf, Paul (1965)
The Philosophical Review
Article
Formal Antecedent
James W. Cooley and John W. Tukey (1965)
Mathematics of Computation
Article
Formal Antecedent
George Zweig (1964)
CERN Report
Article
Formal Antecedent
Edmund L. Gettier (1963)
Analysis
Article
Formal Antecedent
Hewitt, E. and Ross, K. A. (1963)
Springer
Book
Formal Antecedent
Hewitt, Edwin and Ross, Kenneth A. (1963)
Springer
Book
Formal Antecedent
Nelson Dunford and Jacob T. Schwartz (1963)
Wiley-Interscience
Book
Formal Antecedent
Shoshichi Kobayashi and Katsumi Nomizu (1963)
Interscience Publishers
Book
Formal Antecedent
Curtis, Charles W. and Reiner, Irving (1962)
John Wiley & Sons
Book
Formal Antecedent
J. L. Austin (1962)
Oxford University Press
Book
Formal Antecedent
James Serrin (1962)
Archive for Rational Mechanics and Analysis
Article
Formal Antecedent
Walter Rudin (1962)
Interscience Publishers
Book
Formal Antecedent
Haken, Wolfgang (1961)
Acta Math.
Article
Formal Antecedent
Lewis Mumford (1961)
Harcourt, Brace & World
Book
Formal Antecedent
Mitchell, Peter (1961)
Nature
Article
Formal Antecedent
Linus Pauling (1960)
Cornell University Press
Book
Formal Antecedent
Wigner, Eugene P. (1960)
Communications on Pure and Applied Mathematics
Article
Formal Antecedent
Willard Van Orman Quine (1960)
MIT Press
Book
Formal Antecedent
Alfred Tarski (1959)
The Axiomatic Method with Special Reference to Geometry and Physics
Book Chapter
Formal Antecedent
Burnet, Frank Macfarlane (1959)
Cambridge University Press
Article
Formal Antecedent
Giovanni Prodi (1959)
Annali della Scuola Normale Superiore di Pisa
Article
Formal Antecedent
Karl R. Popper (1959)
Hutchinson
Book
Formal Antecedent
A. Lichnerowicz (1958)
Travaux et Recherches Mathématiques
Article
Formal Antecedent
Davis, Martin (1958)
McGraw-Hill
Book
Formal Antecedent
Helson, Henry and Lowdenslager, David (1958)
Acta Mathematica
Article
Formal Antecedent
William W. Boone (1958)
Proceedings of the National Academy of Sciences
Article
Formal Antecedent
A. I. Khinchin (1957)
Dover
Book
Formal Antecedent
Chomsky, Noam (1957)
Mouton
Book
Formal Antecedent
Ronald J. Gillespie and Ronald S. Nyholm (1957)
Quarterly Reviews, Chemical Society
Article
Formal Antecedent
Clyde L. Cowan and Frederick Reines and others (1956)
Science
Article
Formal Antecedent
Clyde L. Cowan and Frederick Reines and others (1956)
Science
Article
Formal Antecedent
Hans Reichenbach (1956)
University of California Press
Book
Formal Antecedent
Serre, Jean-Pierre (1956)
Annales de l'Institut Fourier
Article
Formal Antecedent
John von Neumann (1955)
Princeton University Press
Book
Formal Antecedent
Maria Goeppert Mayer and J. Hans D. Jensen (1955)
Wiley
Article
Formal Antecedent
Martin Hugo Löb (1955)
Journal of Symbolic Logic
Article
Formal Antecedent
Serre, Jean-Pierre (1955)
Annales de l'Institut Fourier / Ann. Math. (2)
Article
Formal Antecedent
Rudolf Arnheim (1954)
University of California Press
Book
Formal Antecedent
Ambrose, W. and Singer, I. M. (1953)
Trans. Amer. Math. Soc.
Article
Formal Antecedent
James D. Watson and Francis H. C. Crick (1953)
Nature
Article
Formal Antecedent
Ludwig Wittgenstein (1953)
Blackwell
Book
Formal Antecedent
Miller, Stanley L. (1953)
Science
Article
Formal Antecedent
Oka, Kiyoshi (1953)
Collected Papers
Book Chapter
Formal Antecedent
Watson, James D. and Crick, Francis H. C. (1953)
Nature
Article
Formal Antecedent
Samuel Eilenberg and Norman Steenrod (1952)
Princeton University Press
Book
Formal Antecedent
Turing, Alan M. (1952)
Philosophical Transactions of the Royal Society of London B
Book
Formal Antecedent
W. V. D. Hodge (1952)
Cambridge University Press
Book
Formal Antecedent
Weil, André (1952)
Comptes Rendus
Article
Formal Antecedent
Tarski, Alfred (1951)
University of California Press
Book
Formal Antecedent
Alan Turing (1950)
Mind
Article
Formal Antecedent
Aronszajn, N. (1950)
Transactions of the American Mathematical Society
Article
Formal Antecedent
Walker, R. J. T. (1950)
Princeton University Press
Book
Formal Antecedent
Hebb, Donald O. (1949)
Wiley
Article
Formal Antecedent
M. G. Kre\'ın and M. A. Rutman (1948)
Uspekhi Mat. Nauk
Article
Formal Antecedent
M. H. Stone (1948)
Mathematics Magazine
Article
Formal Antecedent
Shiing-Shen Chern and André Weil (1948)
Proceedings of the National Academy of Sciences
Article
Formal Antecedent
Reuben Louis Goodstein (1947)
Journal of Symbolic Logic
Article
Formal Antecedent
L. S. Pontryagin (1946)
Princeton University Press
Book
Formal Antecedent
Beno Eckmann (1944)
Commentarii Mathematici Helvetici
Article
Formal Antecedent
Schrödinger, Erwin (1944)
Cambridge University Press
Book
Formal Antecedent
A. N. Kolmogorov (1941)
Proceedings of the USSR Academy of Sciences (Doklady)
Article
Formal Antecedent
Gödel, Kurt (1940)
Princeton University Press
Book
Formal Antecedent
Lev S. Pontryagin (1939)
Princeton University Press
Book
Formal Antecedent
Kapitza, Pyotr L. (1938)
Nature
Article
Formal Antecedent
Pyotr Kapitsa (1938)
Nature
Article
Formal Antecedent
Bruno de Finetti (1937)
Annales de l'Institut Henri Poincaré
Article
Formal Antecedent
Alan M. Turing (1936)
Proceedings of the London Mathematical Society
Article
Formal Antecedent
Alfred Tarski (1936)
Studia Philosophica
Article
Formal Antecedent
M. H. Stone (1936)
Transactions of the American Mathematical Society
Article
Formal Antecedent
Carl Friedrich von Weizsäcker (1935)
Zeitschrift für Physik
Article
Formal Antecedent
Carl Friedrich von Weizsäcker (1935)
Zeitschrift für Physik
Article
Formal Antecedent
London, Fritz and London, Heinz (1935)
Proceedings of the Royal Society A
Article
Formal Antecedent
Weil, André (1935)
Proceedings of the National Academy of Sciences
Article
Formal Antecedent
Enrico Fermi (1934)
Zeitschrift für Physik
Article
Formal Antecedent
Jean Leray (1934)
Acta Mathematica
Article
Formal Antecedent
Andrey Kolmogorov (1933)
Springer
Book
Formal Antecedent
John von Neumann (1932)
Springer
Book
Formal Antecedent
Erich Hückel (1931)
Zeitschrift für Physik
Article
Formal Antecedent
Kurt Gödel (1931)
Monatshefte für Mathematik und Physik
Article
Formal Antecedent
Kurt Gödel (1931)
Monatshefte für Mathematik und Physik
Book
Formal Antecedent
Wolfgang Pauli (1930)
Article
Formal Antecedent
George Gamow (1928)
Zeitschrift für Physik
Article
Formal Antecedent
F. Peter and H. Weyl (1927)
Mathematische Annalen
Article
Formal Antecedent
Martin Heidegger (1927)
Max Niemeyer
Book
Formal Antecedent
Paul Montel (1927)
Gauthier-Villars
Book
Formal Antecedent
Walter Heitler and Fritz London (1927)
Zeitschrift für Physik
Article
Formal Antecedent
Werner Heisenberg (1927)
Zeitschrift für Physik
Article
Formal Antecedent
Whittaker, E. T. and Watson, G. N. (1927)
Cambridge University Press
Book
Domain Context
H. Hopf (1926)
Mathematische Annalen
Article
Formal Antecedent
Max Born (1926)
Zeitschrift für Physik
Article
Formal Antecedent
Fraenkel, Abraham (1922)
Mathematische Annalen
Article
Formal Antecedent
Max Weber (1922)
Mohr
Book
Formal Antecedent
Ludwig Wittgenstein (1921)
Kegan Paul
Book
Formal Antecedent
Emmy Noether (1918)
Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse
Article
Formal Antecedent
Arnold Sommerfeld (1916)
Annalen der Physik
Article
Formal Antecedent
Einstein, Albert (1916)
Annalen der Physik
Article
Formal Antecedent
Ferdinand de Saussure (1916)
Payot
Book
Formal Antecedent
Hermann Weyl (1916)
Mathematische Annalen
Article
Formal Antecedent
Edmund Husserl (1913)
Max Niemeyer
Book
Formal Antecedent
Niels Bohr (1913)
Philosophical Magazine
Article
Formal Antecedent
Ernst Zermelo (1908)
Mathematische Annalen
Article
Formal Antecedent
John M. E. McTaggart (1908)
Mind
Article
Formal Antecedent
Friedrich Hartogs (1906)
Mathematische Annalen
Article
Formal Antecedent
Albert Einstein (1905)
Annalen der Physik
Article
Formal Antecedent
Albert Einstein (1905)
Annalen der Physik
Article
Formal Antecedent
Bertrand Russell (1905)
Mind
Book
Formal Antecedent
J. Willard Gibbs (1902)
Yale University Press
Book
Formal Antecedent
Max Planck (1901)
Annalen der Physik
Article
Formal Antecedent
Edmund Husserl (1900)
Max Niemeyer
Book
Formal Antecedent
David Hilbert (1899)
Teubner
Book
Formal Antecedent
Adolf Hurwitz (1898)
Nachrichten von der Gesellschaft der Wissenschaften zu G"ottingen
Article
Formal Antecedent
Pierre Curie and Marie Curie (1898)
Comptes Rendus
Article
Formal Antecedent
J. J. Thomson (1897)
Philosophical Magazine
Article
Formal Antecedent
Henri Becquerel (1896)
Comptes Rendus
Article
Formal Antecedent
Émile Durkheim (1893)
Félix Alcan
Book
Formal Antecedent
Gottlob Frege (1892)
Zeitschrift für Philosophie und philosophische Kritik
Book
Formal Antecedent
Cantor, Georg (1891)
Jahresbericht der Deutschen Mathematiker-Vereinigung
Article
Formal Antecedent
Johannes Rydberg (1890)
Philosophical Magazine
Article
Formal Antecedent
William James (1890)
Henry Holt
Book
Formal Antecedent
Peano, Giuseppe (1889)
Article
Formal Antecedent
Svante Arrhenius (1889)
Zeitschrift für Physikalische Chemie
Article
Formal Antecedent
Dedekind, Richard (1888)
Vieweg
Article
Formal Antecedent
Maschke, Heinrich (1887)
Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse
Article
Formal Antecedent
Johann Jakob Balmer (1885)
Annalen der Physik
Article
Formal Antecedent
Gabriel Koenigs (1884)
Annales Scientifiques de l'École Normale Supérieure
Article
Formal Antecedent
Friedrich Nietzsche (1883)
Book
Formal Antecedent
Gottlob Frege (1879)
Louis Nebert
Book
Formal Antecedent
Frobenius, Ferdinand Georg (1878)
Journal für die reine und angewandte Mathematik
Article
Formal Antecedent
Ludwig Boltzmann (1877)
Wiener Berichte
Article
Formal Antecedent
Gustav Theodor Fechner (1876)
Breitkopf und Härtel
Book
Formal Antecedent
James Clerk Maxwell (1873)
Clarendon Press
Book
Formal Antecedent
Dmitri Mendeleev (1869)
Zeitschrift für Chemie
Article
Formal Antecedent
Karl Marx (1867)
Verlag von Otto Meissner
Book
Formal Antecedent
Mendel, Gregor (1866)
Book
Formal Antecedent
August Kekulé (1865)
Bulletin de la Société Chimique de Paris
Article
Formal Antecedent
Rudolf Clausius (1865)
Annalen der Physik
Article
Formal Antecedent
John Stuart Mill (1863)
Parker, Son, and Bourn
Book
Formal Antecedent
Pasteur, Louis (1861)
Annales des Sciences Naturelles
Article
Formal Antecedent
Riemann, Bernhard (1859)
Gesammelte Mathematische Werke und Wissenschaftlicher Nachlass
Book Chapter
Formal Antecedent
William Rowan Hamilton (1844)
Philosophical Magazine
Article
Formal Antecedent
Wöhler, Friedrich (1828)
Annalen der Physik und Chemie
Article
Formal Antecedent
Arthur Schopenhauer (1818)
Brockhaus
Book
Formal Antecedent
Immanuel Kant (1790)
Lagarde und Friederich
Book
Formal Antecedent
Immanuel Kant (1788)
Johann Friedrich Hartknoch
Book
Formal Antecedent
Charles-Augustin de Coulomb (1785)
Histoire de l'Académie Royale des Sciences
Article
Formal Antecedent
Immanuel Kant (1781)
Book
Formal Antecedent
Edmund Burke (1757)
R. and J. Dodsley
Book
Formal Antecedent
David Hume (1739)
Book
Formal Antecedent
John Locke (1689)
Book
Formal Antecedent
Isaac Newton (1687)
Royal Society
Book
Formal Antecedent
Author, Unknown (20XX)
Article
Formal Antecedent
Charles Sanders Peirce (1931--1958)
Harvard University Press
Book
Formal Antecedent
Edward Witten (various)
Miscellaneous
Formal Antecedent
Euclid (c. 300 BCE)
Dover Publications (1956 edition)
Book
Formal Antecedent
Pierre Deligne (n.d.)
Miscellaneous
Formal Antecedent
Plato (-369)
Book
Formal Antecedent
The Stacks Project Authors (ongoing)
Miscellaneous
Formal Antecedent