zbMATH — the first resource for mathematics

Girard, Jean-Yves

Compute Distance To:
 Author ID: girard.jean-yves Published as: Girard, J. Y.; Girard, J.-Y.; Girard, Jean Yves; Girard, Jean-Yves External Links: MGP · Wikidata · GND
 Documents Indexed: 74 Publications since 1971, including 9 Books Biographic References: 2 Publications
all top 5

Co-Authors

 54 single-authored 6 Scedrov, Andre 4 Scott, Philip J. 3 Lafont, Yves 3 Okada, Mitsuhiro 3 Vauzeilles, Jacqueline 2 Abrusci, Vito Michele 2 Normann, Dag 2 Van de Wiele, Jacques 1 Ehrhard, Thomas 1 Päppinghaus, Peter 1 Regnier, Laurent 1 Ressayre, Jean-Pierre 1 Ruet, Paul 1 Taylor, Paul H. 1 Toke, Ioane Muni
all top 5

Serials

 8 Theoretical Computer Science 5 The Journal of Symbolic Logic 4 MSCS. Mathematical Structures in Computer Science 3 Annals of Pure and Applied Logic 2 London Mathematical Society Lecture Note Series 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Annals of Mathematical Logic 1 Dissertationes Mathematicae 1 Synthese 1 Information and Computation 1 Modern Logic 1 Journal of Logic and Computation 1 The Bulletin of Symbolic Logic 1 Cambridge Tracts in Theoretical Computer Science 1 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science
all top 5

Fields

 70 Mathematical logic and foundations (03-XX) 25 Computer science (68-XX) 8 General and overarching topics; collections (00-XX) 6 Category theory; homological algebra (18-XX) 6 Functional analysis (46-XX) 3 History and biography (01-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Quantum theory (81-XX) 1 Real functions (26-XX) 1 Numerical analysis (65-XX)

Citations contained in zbMATH Open

60 Publications have been cited 1,933 times in 1,315 Documents Cited by Year
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
1987
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
1989
The system $${\mathcal F}$$ of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
1986
Proof theory and logical complexity. Volume I. Zbl 0635.03052
Girard, Jean-Yves
1987
Light linear logic. Zbl 0912.03025
Girard, Jean-Yves
1998
Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045
Girard, Jean-Yves
2001
A new constructive logic: Classical logic. Zbl 0752.03027
Girard, Jean-Yves
1991
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
1987
Linear logic: Its syntax and semantics. Zbl 0828.03003
Girard, Jean-Yves
1995
$$\Pi_2^1$$-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
1981
Bounded linear logic: A modular approach to polynomial-time computability. Zbl 0788.03005
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
1992
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
1993
Normal functors, power series and $$\lambda$$-calculus. Zbl 0646.03056
Girard, Jean-Yves
1988
Proof-nets: The parallel syntax for proof-theory. Zbl 0868.03025
Girard, Jean-Yves
1996
Geometry of interaction. III: Accommodating the additives. Zbl 0828.03027
Girard, Jean-Yves
1995
Geometry of interaction. V: Logic in the hyperfinite factor. Zbl 1230.03093
Girard, Jean-Yves
2011
Three-valued logic and cut-elimination: The actual meaning of Takeuti’s conjecture. Zbl 0357.02027
Girard, J. Y.
1976
On the meaning of logical rules. I: Syntax versus semantics. Zbl 0962.03055
Girard, Jean-Yves
1999
Normal forms and cut-free proofs as natural transformations. Zbl 0753.03024
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
1992
Multiplicatives. Zbl 0667.03046
Girard, Jean-Yves
1987
Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types.(An extension of Gödel’s interpretation to analysis and its application to cut elimination in analysis and type theory). Zbl 0221.02013
Girard, Jean-Yves
1971
Geometry of interaction. I: Interpretation of system F. Zbl 0686.03030
Girard, Jean-Yves
1989
Coherent Banach spaces: A continuous denotational semantics. Zbl 0952.03025
Girard, Jean-Yves
1999
Towards a geometry of interactions. Zbl 0672.03039
Girard, Jean-Yves
1989
Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy. Zbl 0568.03027
Girard, Jean-Yves; Vauzeilles, Jacqueline
1984
Geometry of interaction. IV: The feedback equation. Zbl 1105.03064
Girard, Jean-Yves
2006
Between logic and quantic: a tract. Zbl 1073.03036
Girard, Jean-Yves
2004
Normativity in logic. Zbl 1314.03051
Girard, Jean-Yves
2012
The blind spot. Lectures on logic. Zbl 1238.03045
Girard, Jean-Yves
2011
Geometry of interaction. II: Deadlock-free algorithms. Zbl 0716.03047
Girard, Jean-Yves
1990
Bounded linear logic: A modular approach to polynomial time computability. Extended abstract. Zbl 0773.03007
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
1990
The blind spot. Course in logic. I. On the perfection. Zbl 1243.00003
Girard, Jean-Yves
2006
On denotational completeness. Zbl 0959.03050
Girard, Jean-Yves
1999
Set recursion and $$\Pi ^ 1_ 2$$-logic. Zbl 0575.03034
Girard, Jean-Yves; Normann, Dag
1985
Introduction to $$\Pi^1_2$$-logic. Zbl 1069.03503
Girard, Jean-Yves
1985
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. Zbl 0568.03028
Girard, Jean-Yves; Vauzeilles, Jacqueline
1984
From foundations to ludics. Zbl 1056.03035
Girard, Jean-Yves
2003
On the meaning of logical rules. II: Multiplicatives and additives. Zbl 1031.03075
Girard, Jean-Yves
2000
A survey of $$\Pi_2^1$$-logic. Zbl 0496.03038
Girard, J.-Y.
1982
The blind spot. Course on logic. II. On the imperfection. Zbl 1243.00004
Girard, Jean-Yves
2007
Monte Carlo valuation of multidimensional American options through grid computing. Zbl 1142.65305
Toke, Ioane Muni; Girard, Jean-Yves
2006
Linear logic and parallelism. Zbl 0629.03036
Girard, Jean-Yves
1987
La mouche dans la bouteille. (The fly in the bottle). Zbl 0623.01012
Girard, J. Y.
1987
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
1984
Herbrand’s theorem and proof-theory. Zbl 0496.03036
Girard, Jean-Yves
1982
Functionals and ordinoids. Zbl 0441.03012
Girard, J. Y.
1977
Transcendental syntax. I: Deterministic case. Zbl 1423.03248
Girard, Jean-Yves
2017
Three lightings of logic (invited talk). Zbl 1356.03015
Girard, Jean-Yves
2013
Truth, modality and intersubjectivity. Zbl 1146.03003
Girard, Jean-Yves
2007
Locus solum: From the rules of logic to the logic of rules. Zbl 0999.68545
Girard, Jean-Yves
2001
Some uses of dilators in combinatorial problems. I. Zbl 0634.03057
Abrusci, V. M.; Girard, J. Y.; Van de Wiele, J.
1987
Elements de logique $$\Pi ^ 1_ n$$. Zbl 0573.03029
Girard, Jean-Yves; Ressayre, Jean Pierre
1985
On denotional completeness. (Extended abstract). Zbl 0908.03010
Girard, Jean-Yves
1996
Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Zbl 0816.00018
Girard, Jean-Yves (ed.); Lafont, Yves (ed.); Regnier, Laurent (ed.)
1995
Embeddability of ptykes. Zbl 0777.03015
Girard, Jean-Yves; Normann, Dag
1992
The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022
Girard, Jean-Yves
1992
Logic and exceptions: A few remarks. Zbl 0760.03017
Girard, Jean-Yves
1992
Le lambda-calcul du second ordre. (The second-order lambda-calculus). Zbl 0645.03013
Girard, Jean-Yves
1987
A result on implications of $$Sigma_ 1-$$sentences and its application to normal form theorems. Zbl 0469.03039
Girard, Jean-Yves; Päppinghaus, Peter
1981
Quelques résultats sur les interpretations fonctionnelles. Zbl 0287.02017
Girard, J. Y.
1973
Transcendental syntax. I: Deterministic case. Zbl 1423.03248
Girard, Jean-Yves
2017
Three lightings of logic (invited talk). Zbl 1356.03015
Girard, Jean-Yves
2013
Normativity in logic. Zbl 1314.03051
Girard, Jean-Yves
2012
Geometry of interaction. V: Logic in the hyperfinite factor. Zbl 1230.03093
Girard, Jean-Yves
2011
The blind spot. Lectures on logic. Zbl 1238.03045
Girard, Jean-Yves
2011
The blind spot. Course on logic. II. On the imperfection. Zbl 1243.00004
Girard, Jean-Yves
2007
Truth, modality and intersubjectivity. Zbl 1146.03003
Girard, Jean-Yves
2007
Geometry of interaction. IV: The feedback equation. Zbl 1105.03064
Girard, Jean-Yves
2006
The blind spot. Course in logic. I. On the perfection. Zbl 1243.00003
Girard, Jean-Yves
2006
Monte Carlo valuation of multidimensional American options through grid computing. Zbl 1142.65305
Toke, Ioane Muni; Girard, Jean-Yves
2006
Between logic and quantic: a tract. Zbl 1073.03036
Girard, Jean-Yves
2004
From foundations to ludics. Zbl 1056.03035
Girard, Jean-Yves
2003
Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045
Girard, Jean-Yves
2001
Locus solum: From the rules of logic to the logic of rules. Zbl 0999.68545
Girard, Jean-Yves
2001
On the meaning of logical rules. II: Multiplicatives and additives. Zbl 1031.03075
Girard, Jean-Yves
2000
On the meaning of logical rules. I: Syntax versus semantics. Zbl 0962.03055
Girard, Jean-Yves
1999
Coherent Banach spaces: A continuous denotational semantics. Zbl 0952.03025
Girard, Jean-Yves
1999
On denotational completeness. Zbl 0959.03050
Girard, Jean-Yves
1999
Light linear logic. Zbl 0912.03025
Girard, Jean-Yves
1998
Proof-nets: The parallel syntax for proof-theory. Zbl 0868.03025
Girard, Jean-Yves
1996
On denotional completeness. (Extended abstract). Zbl 0908.03010
Girard, Jean-Yves
1996
Linear logic: Its syntax and semantics. Zbl 0828.03003
Girard, Jean-Yves
1995
Geometry of interaction. III: Accommodating the additives. Zbl 0828.03027
Girard, Jean-Yves
1995
Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Zbl 0816.00018
Girard, Jean-Yves (ed.); Lafont, Yves (ed.); Regnier, Laurent (ed.)
1995
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
1993
Bounded linear logic: A modular approach to polynomial-time computability. Zbl 0788.03005
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
1992
Normal forms and cut-free proofs as natural transformations. Zbl 0753.03024
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
1992
Embeddability of ptykes. Zbl 0777.03015
Girard, Jean-Yves; Normann, Dag
1992
The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022
Girard, Jean-Yves
1992
Logic and exceptions: A few remarks. Zbl 0760.03017
Girard, Jean-Yves
1992
A new constructive logic: Classical logic. Zbl 0752.03027
Girard, Jean-Yves
1991
Geometry of interaction. II: Deadlock-free algorithms. Zbl 0716.03047
Girard, Jean-Yves
1990
Bounded linear logic: A modular approach to polynomial time computability. Extended abstract. Zbl 0773.03007
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J.
1990
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
1989
Geometry of interaction. I: Interpretation of system F. Zbl 0686.03030
Girard, Jean-Yves
1989
Towards a geometry of interactions. Zbl 0672.03039
Girard, Jean-Yves
1989
Normal functors, power series and $$\lambda$$-calculus. Zbl 0646.03056
Girard, Jean-Yves
1988
Linear logic. Zbl 0625.03037
Girard, Jean-Yves
1987
Proof theory and logical complexity. Volume I. Zbl 0635.03052
Girard, Jean-Yves
1987
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
1987
Multiplicatives. Zbl 0667.03046
Girard, Jean-Yves
1987
Linear logic and parallelism. Zbl 0629.03036
Girard, Jean-Yves
1987
La mouche dans la bouteille. (The fly in the bottle). Zbl 0623.01012
Girard, J. Y.
1987
Some uses of dilators in combinatorial problems. I. Zbl 0634.03057
Abrusci, V. M.; Girard, J. Y.; Van de Wiele, J.
1987
Le lambda-calcul du second ordre. (The second-order lambda-calculus). Zbl 0645.03013
Girard, Jean-Yves
1987
The system $${\mathcal F}$$ of variable types, fifteen years later. Zbl 0623.03013
Girard, Jean-Yves
1986
Set recursion and $$\Pi ^ 1_ 2$$-logic. Zbl 0575.03034
Girard, Jean-Yves; Normann, Dag
1985
Introduction to $$\Pi^1_2$$-logic. Zbl 1069.03503
Girard, Jean-Yves
1985
Elements de logique $$\Pi ^ 1_ n$$. Zbl 0573.03029
Girard, Jean-Yves; Ressayre, Jean Pierre
1985
Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy. Zbl 0568.03027
Girard, Jean-Yves; Vauzeilles, Jacqueline
1984
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. Zbl 0568.03028
Girard, Jean-Yves; Vauzeilles, Jacqueline
1984
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
1984
A survey of $$\Pi_2^1$$-logic. Zbl 0496.03038
Girard, J.-Y.
1982
Herbrand’s theorem and proof-theory. Zbl 0496.03036
Girard, Jean-Yves
1982
$$\Pi_2^1$$-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
1981
A result on implications of $$Sigma_ 1-$$sentences and its application to normal form theorems. Zbl 0469.03039
Girard, Jean-Yves; Päppinghaus, Peter
1981
Functionals and ordinoids. Zbl 0441.03012
Girard, J. Y.
1977
Three-valued logic and cut-elimination: The actual meaning of Takeuti’s conjecture. Zbl 0357.02027
Girard, J. Y.
1976
Quelques résultats sur les interpretations fonctionnelles. Zbl 0287.02017
Girard, J. Y.
1973
Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types.(An extension of Gödel’s interpretation to analysis and its application to cut elimination in analysis and type theory). Zbl 0221.02013
Girard, Jean-Yves
1971
all top 5

Cited by 1,137 Authors

 20 Ehrhard, Thomas 17 Girard, Jean-Yves 17 Kanovich, Max Iosifovich 16 Abramsky, Samson 16 Dal Lago, Ugo 16 Olarte, Carlos 15 Scedrov, Andre 15 Scott, Philip J. 13 Avron, Arnon 13 Blute, Richard F. 13 Mackie, Ian 13 Pimentel, Elaine 12 Pym, David J. 12 Vauzeilles, Jacqueline 11 Japaridze, Giorgi 11 Miller, Dale Allen 11 Tortora de Falco, Lorenzo 10 Fernández, Maribel 10 Masini, Andrea 10 Nigam, Vivek 10 Pfenning, Frank 10 Straßburger, Lutz 10 Terui, Kazushige 9 Baillot, Patrick 9 Buszkowski, Wojciech 9 Galmiche, Didier 9 Nour, Karim 9 Yoshida, Nobuko 8 Abrusci, Vito Michele 8 Kamide, Norihiro 8 Kesner, Delia 8 Melliès, Paul-André 8 Pagani, Michele 8 Seiller, Thomas 7 Coquand, Thierry 7 Curien, Pierre-Louis 7 Hofmann, Martin 7 Laurent, Olivier 7 Leitsch, Alexander 7 Martini, Simone 7 Okada, Mitsuhiro 7 Ronchi Della Rocca, Simona 7 van Bakel, Steffen 6 Baaz, Matthias 6 Bucciarelli, Antonio 6 Carbone, Antonio 6 Cervesato, Iliano 6 Danos, Vincent 6 Došen, Kosta 6 Faggian, Claudia 6 Ferreira, Gilda 6 Guerrini, Stefano 6 Hamano, Masahiro 6 Honda, Kohei 6 Hyland, J. Martin E. 6 Jäger, Gerhard 6 Joinet, Jean-Baptiste 6 Maieli, Roberto 6 Manzonetto, Giulio 6 Mazza, Damiano 6 McCusker, Guy Andrew 6 Pulcini, Gabriele 6 Qiu, Daowen 6 Saurin, Alexis 6 Tasson, Christine 6 Weiermann, Andreas 6 Winskel, Glynn 5 Abel, Andreas M. 5 Alves, Sandra 5 Asperti, Andrea 5 Cockett, J. Robin B. 5 de Carvalho, Daniel 5 Dowek, Gilles 5 Ferreira, Fernando 5 Florido, Mário 5 Fu, Yuxi 5 Gabbay, Dov M. 5 Gallier, Jean H. 5 Kuznetsov, Stepan L’vovich 5 Lafont, Yves 5 Lambek, Joachim 5 Lincoln, Patrick D. 5 Liquori, Luigi 5 Morrill, Glyn V. 5 Paoli, Francesco 5 Paolini, Luca 5 Pistone, Paolo 5 Quatrini, Myriam 5 Rathjen, Michael 5 Regnier, Laurent 5 Retoré, Christian 5 Rosenthal, Kimmo I. 5 Roversi, Luca 5 Schellinx, Harold 5 Slavnov, Sergey 5 Solov’ëv, Sergeĭ Vladimirovich 5 Vaux, Lionel 5 Wainer, Stanley Scott 5 Zhang, Guo-Qiang 4 Accattoli, Beniamino ...and 1,037 more Authors
all top 5

Cited in 103 Serials

 222 Theoretical Computer Science 130 Annals of Pure and Applied Logic 87 Information and Computation 84 MSCS. Mathematical Structures in Computer Science 61 The Journal of Symbolic Logic 32 Studia Logica 32 Archive for Mathematical Logic 25 Journal of Pure and Applied Algebra 24 Journal of Logic, Language and Information 23 Journal of Automated Reasoning 22 Journal of Philosophical Logic 21 Fuzzy Sets and Systems 21 The Bulletin of Symbolic Logic 18 Logical Methods in Computer Science 16 Journal of Applied Logic 14 Journal of Applied Non-Classical Logics 12 Journal of Functional Programming 10 International Journal of Theoretical Physics 10 Annals of Mathematics and Artificial Intelligence 9 RAIRO. Informatique Théorique et Applications 9 Mathematical Logic Quarterly (MLQ) 8 Notre Dame Journal of Formal Logic 8 Logica Universalis 7 Journal of Symbolic Computation 7 Formal Aspects of Computing 7 Applied Categorical Structures 7 RAIRO. Theoretical Informatics and Applications 6 Synthese 6 The Review of Symbolic Logic 5 Artificial Intelligence 5 Archiv für Mathematische Logik und Grundlagenforschung 5 Information Processing Letters 5 Journal of Logical and Algebraic Methods in Programming 4 Acta Informatica 4 Journal of Computer Science and Technology 4 Theory and Applications of Categories 4 Topoi 4 Higher-Order and Symbolic Computation 4 The Journal of Logic and Algebraic Programming 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Journal of Computer and System Sciences 3 Transactions of the American Mathematical Society 3 History and Philosophy of Logic 3 New Generation Computing 3 Computational and Applied Mathematics 3 Diagrammes 3 Soft Computing 3 Logic and Logical Philosophy 3 Theory and Practice of Logic Programming 2 Computers & Mathematics with Applications 2 Advances in Mathematics 2 Algebra Universalis 2 Semigroup Forum 2 Bulletin of the Section of Logic 2 Science of Computer Programming 2 International Journal of Foundations of Computer Science 2 Indagationes Mathematicae. New Series 2 Applicable Algebra in Engineering, Communication and Computing 2 Journal of Mathematical Sciences (New York) 2 Theory of Computing Systems 2 Comptes Rendus. Mathématique. Académie des Sciences, Paris 2 ACM Transactions on Computational Logic 2 Open Mathematics 2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Mathematical Notes 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Algebra and Logic 1 BIT 1 Czechoslovak Mathematical Journal 1 Journal of Algebra 1 Kybernetika 1 Mathematics and Computers in Simulation 1 Proceedings of the American Mathematical Society 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Software. Practice & Experience 1 Cybernetics and Systems 1 International Journal of Approximate Reasoning 1 Applied Mathematics Letters 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Geometric and Functional Analysis. GAFA 1 Automation and Remote Control 1 Distributed Computing 1 Formal Methods in System Design 1 Journal of the Egyptian Mathematical Society 1 Sbornik: Mathematics 1 Constraints 1 Acta Mathematica et Informatica Universitatis Ostraviensis 1 Journal of the ACM 1 Erkenntnis 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Journal of the Australian Mathematical Society 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 SIAM Journal on Financial Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 European Journal for Philosophy of Science 1 Frontiers of Computer Science in China 1 Journal of Theoretical Biology 1 Axioms 1 Nonlinear Analysis. Theory, Methods & Applications ...and 3 more Serials
all top 5

Cited in 32 Fields

 1,031 Mathematical logic and foundations (03-XX) 633 Computer science (68-XX) 138 Category theory; homological algebra (18-XX) 76 Order, lattices, ordered algebraic structures (06-XX) 32 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 Quantum theory (81-XX) 11 General and overarching topics; collections (00-XX) 10 General topology (54-XX) 9 History and biography (01-XX) 9 General algebraic systems (08-XX) 9 Information and communication theory, circuits (94-XX) 8 Combinatorics (05-XX) 5 Biology and other natural sciences (92-XX) 4 Associative rings and algebras (16-XX) 4 Differential geometry (53-XX) 3 Group theory and generalizations (20-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Functional analysis (46-XX) 3 Manifolds and cell complexes (57-XX) 3 Numerical analysis (65-XX) 2 Geometry (51-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 $$K$$-theory (19-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Mathematics education (97-XX)

Wikidata Timeline

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