×
Compute Distance To:
Author ID: avigad.jeremy Recent zbMATH articles by "Avigad, Jeremy"
Published as: Avigad, Jeremy; Avigad, J.
Further Spellings: Avigad, Jeremy David
Homepage: http://www.andrew.cmu.edu/user/avigad/
External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · dblp
all top 5

Co-Authors

33 single-authored
4 Mahboubi, Assia
3 Dean, Edward T.
3 Donnelly, Kevin P.
3 Rute, Jason
3 Towsner, Henry
2 Asperti, Andrea
2 Bertot, Yves
2 Clarke, Edmund Melson jun.
2 Cohen, Cyril
2 Detlefsen, Michael E.
2 Gao, Sicun
2 Giaquinto, Marcus
2 Gonthier, Georges
2 Hafner, Johannes
2 Hallett, Michael T.
2 Lewis, Robert Y.
2 Lumsdaine, Peter LeFanu
2 Mancosu, Paolo
2 Manders, Kenneth L.
2 McLarty, Colin
2 Morris, Rebecca Lea
2 Roux, Cody
2 Sommer, Richard
2 Tappenden, Jamie
2 Urquhart, Alasdair
1 Aczel, Peter
1 Ahrens, Benedikt
1 Altenkirch, Thorsten
1 Angiuli, Carlo
1 Awodey, Steve
1 Barras, Bruno
1 Bauer, Andrej
1 Bezem, Marc
1 Blanchette, Jasmin Christian
1 Bordg, Anthony
1 Brunerie, Guillaume
1 Constable, Robert Lee
1 Coquand, Thierry
1 Curien, Pierre-Louis
1 de Moura, Leonardo
1 Dybjer, Peter
1 Feferman, Solomon
1 Finster, Eric
1 Friedman, Harvey M.
1 Gambino, Nicola
1 Garillot, François
1 Garner, Richard
1 Gerhardy, Philipp
1 Grayson, Daniel Richard
1 Hales, Thomas Callister
1 Harper, Robert
1 Helzner, Jeffrey
1 Herbelin, Hugo
1 Hofmann, Martin
1 Hofstra, Pieter J. W.
1 Hölzl, Johannes
1 Hötzel Escardó, Martín
1 Hou (Favonia), Kuen-Bang
1 Iovino, José N.
1 Joyal, André
1 Kapulkin, Chris
1 Kapulkin, Krzysztof
1 Klein, Gerwin
1 Kock, Joachim
1 Kong, Soonho
1 Kraus, Nicolai
1 Leroux, Stéphane
1 Li, Nuo
1 Licata, Dan
1 Luo, Zhaohui
1 Martin-Löf, Per
1 Mumma, John
1 Nahas, Michael
1 O’Connor, Russell
1 Ould Biha, Sidi
1 Palmgren, Erik
1 Paşca, Ioana
1 Paulson, Lawrence Charles
1 Pelayo, Alvaro
1 Polonsky, Andrew
1 Popescu, Andrei
1 Raff, Paul
1 Rideau, Laurence
1 Riehl, Emily
1 Rijke, Egbert
1 Scott, Dana Stewart
1 Scott, Philip J.
1 Serafin, Luke
1 Shulman, Michael A.
1 Simic, Ksenija
1 Snelting, Gregor
1 Sojakova, Kristina
1 Solov’ëv, Sergeĭ Vladimirovich
1 Solovyev, Alexey
1 Sozeau, Matthieu
1 Spitters, Bas
1 Tassi, Enrico
1
1 Théry, Laurent
1 Van den Berg, Benno
...and 6 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 575 times in 372 Documents Cited by Year
Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053
Avigad, Jeremy; Feferman, Solomon
61
1998
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
61
2013
A machine-checked proof of the odd order theorem. Zbl 1317.68211
Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, François; Le Roux, Stéphane; Mahboubi, Assia; O’Connor, Russell; Ould Biha, Sidi; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico; Théry, Laurent
44
2013
The philosophy of mathematical practice. Zbl 1163.03001
39
2008
A formal system for Euclid’s Elements. Zbl 1188.03008
Avigad, Jeremy; Dean, Edward; Mumma, John
36
2009
The Lean theorem prover (system description). Zbl 1465.68279
de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
29
2015
Local stability of ergodic averages. Zbl 1187.37010
Avigad, Jeremy; Gerhardy, Philipp; Towsner, Henry
24
2010
Formalizing forcing arguments in subsystems of second-order arithmetic. Zbl 0860.03040
Avigad, Jeremy
17
1996
Interpreting classical theories in constructive ones. Zbl 0981.03061
Avigad, Jeremy
14
2000
A formally verified proof of the prime number theorem. Zbl 1367.68244
Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul
13
2007
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Zbl 1259.03021
Avigad, Jeremy; Dean, Edward T.; Rute, Jason
13
2012
On the relationship between \(ATR_ 0\) and \(\widehat {ID}_{<\omega}\). Zbl 0858.03052
Avigad, Jeremy
12
1996
\(\delta \)-complete decision procedures for satisfiability over the reals. Zbl 1358.03028
Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M.
12
2012
Homotopy limits in type theory. Zbl 1362.18004
Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu
11
2015
Forcing in proof theory. Zbl 1064.03034
Avigad, Jeremy
11
2004
Mathematical method and proof. Zbl 1116.03012
Avigad, Jeremy
10
2006
The philosophy of mathematical practice. Paperback edition of the 2008 original. Zbl 1230.03004
9
2011
Methodology and metaphysics in the development of Dedekind’s theory of ideals. Zbl 1164.00001
Avigad, Jeremy
9
2006
An effective proof that open sets are Ramsey. Zbl 0909.03040
Avigad, Jeremy
9
1998
Update procedures and the 1-consistency of arithmetic. Zbl 0988.03087
Avigad, Jeremy
9
2002
Saturated models of universal theories. Zbl 1015.03040
Avigad, Jeremy
9
2002
Eliminating definitions and Skolem functions in first-order logic. Zbl 1365.03038
Avigad, Jeremy
7
2003
Formalizing \(O\) notation in Isabelle/HOL. Zbl 1126.68557
Avigad, Jeremy; Donnelly, Kevin
7
2004
Ultraproducts and metastability. Zbl 1321.46015
Avigad, Jeremy; Iovino, José
7
2013
Number theory and elementary arithmetic. Zbl 1050.03005
Avigad, Jeremy
6
2003
The metamathematics of ergodic theory. Zbl 1168.03047
Avigad, Jeremy
6
2009
Fundamental notions of analysis in subsystems of second-order arithmetic. Zbl 1109.03069
Avigad, Jeremy; Simic, Ksenija
6
2006
The mechanization of mathematics. Zbl 1398.68478
Avigad, Jeremy
6
2018
\(\delta\)-decidability over the reals. Zbl 1364.03065
Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M.
5
2012
Weak theories of nonstandard arithmetic and analysis. Zbl 1087.03038
Avigad, Jeremy
5
2005
Functional interpretation and inductive definitions. Zbl 1193.03082
Avigad, Jeremy; Towsner, Henry
5
2009
Transfer principles in nonstandard intuitionistic arithmetic. Zbl 1024.03068
Avigad, J.; Helzner, J.
5
2002
A model-theoretic approach to ordinal analysis. Zbl 0874.03068
Avigad, Jeremy; Sommer, Richard
5
1997
A formally verified proof of the central limit theorem. Zbl 1425.68369
Avigad, Jeremy; Hölzl, Johannes; Serafin, Luke
5
2017
The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression. Zbl 1296.01010
Avigad, Jeremy; Morris, Rebecca
4
2014
Character and object. Zbl 1427.01005
Avigad, Jeremy; Morris, Rebecca
3
2016
Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\). Zbl 0945.03084
Avigad, Jeremy
3
1998
The model-theoretic ordinal analysis of theories of predicative strength. Zbl 0939.03066
Avigad, Jeremy; Sommer, Richard
3
1999
Algebraic proofs of cut elimination. Zbl 1015.68174
Avigad, Jeremy
3
2001
Uniform distribution and algorithmic randomness. Zbl 1275.03133
Avigad, Jeremy
3
2013
Oscillation and the mean ergodic theorem for uniformly convex Banach spaces. Zbl 1355.37009
Avigad, Jeremy; Rute, Jason
2
2015
A heuristic prover for real inequalities. Zbl 1356.68174
Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody
2
2016
Zen and the art of formalisation. Zbl 1276.03002
Asperti, Andrea; Avigad, Jeremy
2
2011
Combining decision procedures for the reals. Zbl 1127.03006
Avigad, Jeremy; Friedman, Harvey
2
2006
Quantifier elimination for the reals with a predicate for the powers of two. Zbl 1113.03027
Avigad, Jeremy; Yin, Yimu
2
2007
A realizability interpretation for classical arithmetic. Zbl 0946.03071
Avigad, Jeremy
2
2000
Plausibly hard combinatorial tautologies. Zbl 0891.03024
Avigad, Jeremy
2
1998
Metastability in the Furstenberg-Zimmer tower. Zbl 1230.37004
Avigad, Jeremy; Towsner, Henry
2
2010
Uncomputably noisy ergodic limits. Zbl 1258.03084
Avigad, Jeremy
2
2012
A heuristic prover for real inequalities. Zbl 1416.68149
Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody
2
2014
The computational content of classical arithmetic. Zbl 1244.03153
Avigad, Jeremy
2
2010
A decision procedure for linear “big O” equations. Zbl 1122.03004
Avigad, Jeremy; Donnelly, Kevin
1
2007
A metastable dominated convergence theorem. Zbl 1277.28003
Avigad, Jeremy; Dean, Edward T.; Rute, Jason
1
2012
An ordinal analysis of admissible set theory using recursion on ordinal notations. Zbl 1016.03060
Avigad, Jeremy
1
2002
Ordinal analysis without proofs. Zbl 1008.03038
Avigad, Jeremy
1
2002
Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1391.68001
1
2018
Inverting the Furstenberg correspondence. Zbl 1257.37009
Avigad, Jeremy
1
2012
Modularity in mathematics. Zbl 1439.00026
Avigad, Jeremy
1
2020
Modularity in mathematics. Zbl 1439.00026
Avigad, Jeremy
1
2020
The mechanization of mathematics. Zbl 1398.68478
Avigad, Jeremy
6
2018
Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1391.68001
1
2018
A formally verified proof of the central limit theorem. Zbl 1425.68369
Avigad, Jeremy; Hölzl, Johannes; Serafin, Luke
5
2017
Character and object. Zbl 1427.01005
Avigad, Jeremy; Morris, Rebecca
3
2016
A heuristic prover for real inequalities. Zbl 1356.68174
Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody
2
2016
The Lean theorem prover (system description). Zbl 1465.68279
de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
29
2015
Homotopy limits in type theory. Zbl 1362.18004
Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu
11
2015
Oscillation and the mean ergodic theorem for uniformly convex Banach spaces. Zbl 1355.37009
Avigad, Jeremy; Rute, Jason
2
2015
The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression. Zbl 1296.01010
Avigad, Jeremy; Morris, Rebecca
4
2014
A heuristic prover for real inequalities. Zbl 1416.68149
Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody
2
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
61
2013
A machine-checked proof of the odd order theorem. Zbl 1317.68211
Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, François; Le Roux, Stéphane; Mahboubi, Assia; O&rsquo;Connor, Russell; Ould Biha, Sidi; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico; Théry, Laurent
44
2013
Ultraproducts and metastability. Zbl 1321.46015
Avigad, Jeremy; Iovino, José
7
2013
Uniform distribution and algorithmic randomness. Zbl 1275.03133
Avigad, Jeremy
3
2013
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Zbl 1259.03021
Avigad, Jeremy; Dean, Edward T.; Rute, Jason
13
2012
\(\delta \)-complete decision procedures for satisfiability over the reals. Zbl 1358.03028
Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M.
12
2012
\(\delta\)-decidability over the reals. Zbl 1364.03065
Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M.
5
2012
Uncomputably noisy ergodic limits. Zbl 1258.03084
Avigad, Jeremy
2
2012
A metastable dominated convergence theorem. Zbl 1277.28003
Avigad, Jeremy; Dean, Edward T.; Rute, Jason
1
2012
Inverting the Furstenberg correspondence. Zbl 1257.37009
Avigad, Jeremy
1
2012
The philosophy of mathematical practice. Paperback edition of the 2008 original. Zbl 1230.03004
9
2011
Zen and the art of formalisation. Zbl 1276.03002
Asperti, Andrea; Avigad, Jeremy
2
2011
Local stability of ergodic averages. Zbl 1187.37010
Avigad, Jeremy; Gerhardy, Philipp; Towsner, Henry
24
2010
Metastability in the Furstenberg-Zimmer tower. Zbl 1230.37004
Avigad, Jeremy; Towsner, Henry
2
2010
The computational content of classical arithmetic. Zbl 1244.03153
Avigad, Jeremy
2
2010
A formal system for Euclid’s Elements. Zbl 1188.03008
Avigad, Jeremy; Dean, Edward; Mumma, John
36
2009
The metamathematics of ergodic theory. Zbl 1168.03047
Avigad, Jeremy
6
2009
Functional interpretation and inductive definitions. Zbl 1193.03082
Avigad, Jeremy; Towsner, Henry
5
2009
The philosophy of mathematical practice. Zbl 1163.03001
39
2008
A formally verified proof of the prime number theorem. Zbl 1367.68244
Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul
13
2007
Quantifier elimination for the reals with a predicate for the powers of two. Zbl 1113.03027
Avigad, Jeremy; Yin, Yimu
2
2007
A decision procedure for linear “big O” equations. Zbl 1122.03004
Avigad, Jeremy; Donnelly, Kevin
1
2007
Mathematical method and proof. Zbl 1116.03012
Avigad, Jeremy
10
2006
Methodology and metaphysics in the development of Dedekind’s theory of ideals. Zbl 1164.00001
Avigad, Jeremy
9
2006
Fundamental notions of analysis in subsystems of second-order arithmetic. Zbl 1109.03069
Avigad, Jeremy; Simic, Ksenija
6
2006
Combining decision procedures for the reals. Zbl 1127.03006
Avigad, Jeremy; Friedman, Harvey
2
2006
Weak theories of nonstandard arithmetic and analysis. Zbl 1087.03038
Avigad, Jeremy
5
2005
Forcing in proof theory. Zbl 1064.03034
Avigad, Jeremy
11
2004
Formalizing \(O\) notation in Isabelle/HOL. Zbl 1126.68557
Avigad, Jeremy; Donnelly, Kevin
7
2004
Eliminating definitions and Skolem functions in first-order logic. Zbl 1365.03038
Avigad, Jeremy
7
2003
Number theory and elementary arithmetic. Zbl 1050.03005
Avigad, Jeremy
6
2003
Update procedures and the 1-consistency of arithmetic. Zbl 0988.03087
Avigad, Jeremy
9
2002
Saturated models of universal theories. Zbl 1015.03040
Avigad, Jeremy
9
2002
Transfer principles in nonstandard intuitionistic arithmetic. Zbl 1024.03068
Avigad, J.; Helzner, J.
5
2002
An ordinal analysis of admissible set theory using recursion on ordinal notations. Zbl 1016.03060
Avigad, Jeremy
1
2002
Ordinal analysis without proofs. Zbl 1008.03038
Avigad, Jeremy
1
2002
Algebraic proofs of cut elimination. Zbl 1015.68174
Avigad, Jeremy
3
2001
Interpreting classical theories in constructive ones. Zbl 0981.03061
Avigad, Jeremy
14
2000
A realizability interpretation for classical arithmetic. Zbl 0946.03071
Avigad, Jeremy
2
2000
The model-theoretic ordinal analysis of theories of predicative strength. Zbl 0939.03066
Avigad, Jeremy; Sommer, Richard
3
1999
Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053
Avigad, Jeremy; Feferman, Solomon
61
1998
An effective proof that open sets are Ramsey. Zbl 0909.03040
Avigad, Jeremy
9
1998
Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\). Zbl 0945.03084
Avigad, Jeremy
3
1998
Plausibly hard combinatorial tautologies. Zbl 0891.03024
Avigad, Jeremy
2
1998
A model-theoretic approach to ordinal analysis. Zbl 0874.03068
Avigad, Jeremy; Sommer, Richard
5
1997
Formalizing forcing arguments in subsystems of second-order arithmetic. Zbl 0860.03040
Avigad, Jeremy
17
1996
On the relationship between \(ATR_ 0\) and \(\widehat {ID}_{<\omega}\). Zbl 0858.03052
Avigad, Jeremy
12
1996
all top 5

Cited by 507 Authors

20 Avigad, Jeremy
16 Kohlenbach, Ulrich Wilhelm
14 Sanders, Sam
10 Oliva, Paulo
7 Ferreira, Fernando
7 Towsner, Henry
6 Asperti, Andrea
6 Kapulkin, Krzysztof
6 Paulson, Lawrence Charles
5 Aschieri, Federico
5 Kaliszyk, Cezary
5 Kreuzer, Alexander P.
5 Rute, Jason
5 Safarik, Pavol
5 Sato, Kentaro
5 Van den Berg, Benno
4 Beeson, Michael J.
4 Hernest, Mircea-Dan
4 Janičić, Predrag
4 Leuştean, Laurenţiu
4 Morris, Rebecca Lea
4 Mumma, John
4 Narboux, Julien
4 Nipkow, Tobias
4 Rabe, Florian
3 Arai, Toshiyasu
3 Chan, Hing-Lun
3 Ferreira, Gilda
3 Gaspar, Jaime
3 Hamami, Yacin
3 Hetzl, Stefan
3 Hoyrup, Mathieu
3 Kahle, Reinhard
3 Lumsdaine, Peter LeFanu
3 Negri, Sara
3 Normann, Dag
3 Norrish, Michael
3 Patey, Ludovic
3 Rojas, Cristobal
3 Shafer, Paul
3 Szumiło, Karol
3 Wenzel, Makarius
3 Wong, Tin Lok
2 Abate, Alessandro
2 Abel, Andreas M.
2 Affeldt, Reynald
2 Aransay, Jesús
2 Benedikt, Michael A.
2 Bickford, Mark
2 Bienvenu, Laurent
2 Blanchette, Jasmin Christian
2 Briseid, Eyvind Martol
2 Cockx, Jesper
2 Cohen, Cyril
2 Coquand, Thierry
2 Cordón-Franco, Andrés
2 de Moura, Leonardo
2 Dinis, Bruno
2 Enayat, Ali
2 Farmer, William M.
2 Feferman, Solomon
2 Franklin, Johanna N. Y.
2 Fujiwara, Makoto
2 Grosu, Radu
2 Heras, Jónathan
2 Ilik, Danko
2 Isaev, Valery
2 Islam, Md. Ariful
2 Kawai, Tatsuji
2 Kentaro, Sato
2 Koepke, Peter
2 Kohlhase, Michael
2 Kotlarski, Henryk
2 Koutsoukou-Argyraki, Angeliki
2 Kristiansen, Lars
2 Lara-Martín, Francisco Felix
2 Li, Wenda
2 Moniri, Morteza
2 Moser, Georg
2 Müller, Moritz
2 Nicolae, Adriana
2 Pąk, Karol
2 Panza, Marco
2 Passmore, Grant Olney
2 Rathjen, Michael
2 Ricciotti, Wilmer
2 Rijke, Egbert
2 Sacerdoti Coen, Claudio
2 Scoccola, Luis Nerio
2 Siddique, Umair
2 Simpson, Stephen G.
2 Smolka, Scott A.
2 Stojanović Đurđević, Sana
2 Stojanović, Sana
2 Tahar, Sofiène
2 Trifonov, Trifon A.
2 Weiermann, Andreas
2 Wiedijk, Freek
2 Yokoyama, Keita
2 Zhan, Bohua
...and 407 more Authors
all top 5

Cited in 81 Serials

46 Annals of Pure and Applied Logic
25 Journal of Automated Reasoning
21 The Journal of Symbolic Logic
20 Archive for Mathematical Logic
14 Synthese
12 MSCS. Mathematical Structures in Computer Science
10 The Bulletin of Symbolic Logic
8 Notre Dame Journal of Formal Logic
8 Mathematical Logic Quarterly (MLQ)
8 The Review of Symbolic Logic
6 Advances in Mathematics
6 Annals of Mathematics and Artificial Intelligence
5 Studia Logica
5 Journal of Functional Programming
5 Logical Methods in Computer Science
5 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
4 Proceedings of the American Mathematical Society
4 Theoretical Computer Science
4 Transactions of the American Mathematical Society
4 Ergodic Theory and Dynamical Systems
4 Information and Computation
4 Indagationes Mathematicae. New Series
4 Theory of Computing Systems
4 Journal of Mathematical Logic
3 Artificial Intelligence
3 Journal of Logic and Analysis
2 Archive for History of Exact Sciences
2 Journal of Mathematical Analysis and Applications
2 The Mathematical Intelligencer
2 Journal of Pure and Applied Algebra
2 Journal of Symbolic Computation
2 Formal Aspects of Computing
2 Historia Mathematica
2 Bulletin of the American Mathematical Society. New Series
2 Communications in Contemporary Mathematics
2 The Journal of Logic and Algebraic Programming
2 Portugaliae Mathematica. Nova Série
2 JP Journal of Algebra, Number Theory and Applications
2 ACM Transactions on Computational Logic
2 Fixed Point Theory and Applications
2 Mathematics in Computer Science
2 Journal of Formalized Reasoning
2 Computability
2 Journal of Logical and Algebraic Methods in Programming
2 Higher Structures
2 British Journal for the History of Mathematics
1 Israel Journal of Mathematics
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Journal d’Analyse Mathématique
1 Mathematische Semesterberichte
1 Chaos, Solitons and Fractals
1 Automatica
1 Fuzzy Sets and Systems
1 Journal of Mathematical Economics
1 Programming and Computer Software
1 Topology and its Applications
1 AI Communications
1 Applicable Algebra in Engineering, Communication and Computing
1 Computational Optimization and Applications
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Applied Categorical Structures
1 Advances in Applied Clifford Algebras
1 Selecta Mathematica. New Series
1 Topoi
1 Journal for Geometry and Graphics
1 Chaos
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Annals of Mathematics. Second Series
1 Foundations of Science
1 Foundations of Computational Mathematics
1 Theory and Practice of Logic Programming
1 Journal of Applied Logic
1 Oberwolfach Reports
1 Proceedings of the Steklov Institute of Mathematics
1 Journal of Homotopy and Related Structures
1 Nonlinear Analysis. Hybrid Systems
1 Philosophy Compass
1 Forum of Mathematics, Pi
1 Transactions of the London Mathematical Society
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
all top 5

Cited in 39 Fields

267 Mathematical logic and foundations (03-XX)
129 Computer science (68-XX)
34 General and overarching topics; collections (00-XX)
23 History and biography (01-XX)
18 Category theory; homological algebra (18-XX)
15 Operator theory (47-XX)
15 Geometry (51-XX)
14 Number theory (11-XX)
13 Combinatorics (05-XX)
13 Algebraic topology (55-XX)
12 Dynamical systems and ergodic theory (37-XX)
9 Real functions (26-XX)
7 Group theory and generalizations (20-XX)
7 General topology (54-XX)
5 Measure and integration (28-XX)
5 Functional analysis (46-XX)
4 Order, lattices, ordered algebraic structures (06-XX)
4 Systems theory; control (93-XX)
3 Field theory and polynomials (12-XX)
3 Commutative algebra (13-XX)
3 Probability theory and stochastic processes (60-XX)
3 Operations research, mathematical programming (90-XX)
3 Information and communication theory, circuits (94-XX)
3 Mathematics education (97-XX)
2 Algebraic geometry (14-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Functions of a complex variable (30-XX)
2 Convex and discrete geometry (52-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Biology and other natural sciences (92-XX)
1 Nonassociative rings and algebras (17-XX)
1 Ordinary differential equations (34-XX)
1 Partial differential equations (35-XX)
1 Approximations and expansions (41-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Abstract harmonic analysis (43-XX)
1 Differential geometry (53-XX)
1 Numerical analysis (65-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.