Edit Profile (opens in new tab) Cousot, Patrick Compute Distance To: Compute Author ID: cousot.patrick Published as: Cousot, Patrick; Cousot, P. External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr Documents Indexed: 56 Publications since 1978, including 1 Book 5 Contributions as Editor · 2 Further Contributions Co-Authors: 25 Co-Authors with 46 Joint Publications 557 Co-Co-Authors all top 5 Co-Authors 17 single-authored 36 Cousot, Radhia 6 Mauborgne, Laurent 6 Miné, Antoine 3 Chen, Liqian 3 Feret, Jérôme 3 Rival, Xavier 3 Wang, Ji 2 Goubault, Eric 2 Herlihy, Maurice P. 2 Logozzo, Francesco 2 Monniaux, David P. 2 Raussen, Martin 2 Sassone, Vladimiro 1 Aho, Alfred Vaino 1 Alglave, Jade 1 Andler, Sten F. 1 Andrews, Gregory R. 1 Arsac, Jacques J. 1 Banning, John 1 Barnes, J. G. P. 1 Bernstein, Philip A. 1 Bert, Didier 1 Blanchet, Bruno 1 Cartwright, Robert 1 Casanova, Marco Antonio 1 Clarke, Edmund Melson jun. 1 Cohen, Norman H. 1 Cohen, Richard M. 1 Cohen, Rina S. 1 Constable, Robert Lee 1 Critcher, Adrienne 1 Deschamp, Ph. 1 Fajstrup, Lisbeth 1 Falaschi, Moreno 1 Filé, Gilberto 1 Fleck, Arthur C. 1 Fong, Amelia C. 1 Fraser, Christopher W. 1 Ganty, Pierre 1 Gerhart, Susan L. 1 Giacobazzi, Roberto 1 Good, Donald I. 1 Gordon, Michael J. C. 1 Greif, Irene 1 Gull, Walter E. 1 Gunawardena, Jeremy 1 Habermann, A. Nico 1 Harel, David 1 Harry, E. 1 Hoffmann, Christoph M. 1 Jackson, Michael A. 1 Jenkins, Michael A. 1 Jones, Neil D. 1 Le Charlier, Baudouin 1 Lee, Stanley 1 Lemaître, Michel 1 Lemoine, Michel 1 Liu, Ken-Chih 1 Lorho, Bernard 1 McCarthy, John 1 Meyer, Albert Ronald 1 Miller, Terrence C. 1 Monerau, Michael 1 Muchnick, Steven S. 1 Neel, David L. 1 O’Donnell, Michael J. 1 Pratt, Vaughan R. 1 Raskin, Jean-François 1 Rauzy, Antoine 1 Reif, John H. 1 Reitman, Richard P. 1 Savage, John E. 1 Schonberg, Edmond 1 Schwartz, Jacob Theodore 1 Sharir, Micha 1 Swamy, Sowmitri 1 Ullman, Jeffrey David all top 5 Serials 6 Theoretical Computer Science 2 Information and Computation 2 Lecture Notes in Computer Science 2 Electronic Notes in Theoretical Computer Science 1 Acta Informatica 1 Pacific Journal of Mathematics 1 Portugaliae Mathematica 1 Science of Computer Programming 1 The Journal of Logic Programming 1 Journal of Logic and Computation 1 Formal Methods in System Design 1 Journal of the ACM all top 5 Fields 61 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 5 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 871 times in 518 Documents Cited by ▼ Year ▼ Abstract interpretation and application to logic programs. Zbl 0776.68024Cousot, Patrick; Cousot, Radhia 101 1992 Systematic design of program transformation frameworks by abstract interpretation. Zbl 1323.68356Cousot, Patrick; Cousot, Radhia 97 2002 Constructive versions of Tarski’s fixed point theorems. Zbl 0413.06004Cousot, Patrick; Cousot, Radhia 81 1979 Grammar analysis and parsing by abstract interpretation. Zbl 1149.68389Cousot, Patrick; Cousot, Radhia 71 2007 “A la Burstall” intermittent assertions induction principles for proving inevitability properties of programs. Zbl 0788.68094Cousot, P.; Cousot, R. 71 1993 Abstract interpretation frameworks. Zbl 0783.68073Cousot, Patrick; Cousot, Radhia 69 1992 Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. Zbl 1026.68514Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier 61 2002 Static determination of dynamic properties of recursive procedures. Zbl 0393.68080Cousot, Patrick; Cousot, Radhia 50 1978 The ASTREÉ analyzer. Zbl 1108.68422Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier 30 2005 Proving program invariance and termination by parametric abstraction, Lagrangian relaxation and semidefinite programming. Zbl 1111.68503Cousot, Patrick 25 2005 Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Zbl 0996.68119Cousot, Patrick 21 2002 Temporal abstract interpretation. Zbl 1323.68367Cousot, Patrick; Cousot, Radhia 19 2000 Modular static program analysis. Zbl 1051.68624Cousot, Patrick; Cousot, Radhia 14 2002 Why does Astrée scale up? Zbl 1185.68241Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier 13 2009 The calculational design of a generic abstract interpreter. Zbl 0945.68032Cousot, Patrick 12 1999 A parametric segmentation functor for fully automatic and scalable array content analysis. Zbl 1284.68210Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco 11 2011 Methods and logics for proving programs. Zbl 0900.68307Cousot, Patrick 10 1990 Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs. Zbl 0586.68019Cousot, Patrick; Cousot, Radhia 9 1987 Interval polyhedra: an abstract domain to infer interval linear relationships. Zbl 1248.68140Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 8 2009 A constructive characterization of the lattices of all retractions, preclosure, quasi-closure and closure operators on a complete lattice. Zbl 0503.06008Cousot, Patrick; Cousot, Radhia 8 1982 Partial completeness of abstract fixpoint checking. (Invited paper). Zbl 0989.68033Cousot, Patrick 6 2000 A scalable segmented decision tree abstract domain. Zbl 1288.68040Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent 6 2010 Probabilistic abstract interpretation. Zbl 1352.68151Cousot, Patrick; Monerau, Michael 6 2012 An abstract interpretation-based framework for software watermarking. Zbl 1325.68061Cousot, Patrick; Cousot, Radhia 6 2004 An abstract interpretation framework for termination. Zbl 1321.68190Cousot, Patrick; Cousot, Radhia 6 2012 On abstraction in software verification. Zbl 1010.68506Cousot, Patrick; Cousot, Radhia 5 2002 Verification by abstract interpretation. Zbl 1274.68180Cousot, Patrick 5 2003 Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Zbl 0911.68134Cousot, Patrick 5 1997 Fixpoint-guided abstraction refinements. Zbl 1211.68083Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François 5 2007 Semantic analysis of communicating sequential processes. Zbl 0433.68020Cousot, Patrick; Cousot, Radhia 4 1980 A Galois connection calculus for abstract interpretation. Zbl 1284.68173Cousot, Patrick; Cousot, Radhia 3 2014 Abstracting induction by extrapolation and interpolation. Zbl 1432.68258Cousot, Patrick 3 2015 An abstract domain to discover interval linear equalities. Zbl 1273.68081Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 3 2010 Grammar semantics, analysis and parsing by abstract interpretation. Zbl 1248.68316Cousot, Patrick; Cousot, Radhia 3 2011 The reduced product of abstract domains and the combination of decision procedures. Zbl 1326.68089Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent 3 2011 Ogre and Pythia: an invariance proof method for weak consistency models. Zbl 1380.68101Alglave, Jade; Cousot, Patrick 3 2017 Abstract interpretation: past, present and future. Zbl 1401.68037Cousot, Patrick; Cousot, Radhia 3 2014 Theories, solvers and static analysis by abstract interpretation. Zbl 1281.68156Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent 3 2012 Precondition inference from intermittent assertions and application to contracts on collections. Zbl 1317.68030Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco 2 2011 Design of syntactic program transformations by abstract interpretation of semantic transformations. Zbl 1053.68561Cousot, Patrick 1 2001 A language independent proof of the soundness and completeness of generalized Hoare logic. Zbl 0676.68004Cousot, Patrick; Cousot, Radhia 1 1989 Abstract interpretation of resolution-based semantics. Zbl 1187.68307Cousot, Patrick; Cousot, Radhia; Giacobazzi, Roberto 1 2009 ‘A la Floyd’ induction principles for proving inevitability properties of programs. Zbl 0655.68020Cousot, Patrick; Cousot, Radhia 1 1985 Bi-inductive structural semantics. Zbl 1165.68042Cousot, Patrick; Cousot, Radhia 1 2009 Linear absolute value relation analysis. Zbl 1326.68086Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 1 2011 Parsing as abstract interpretation of grammar semantics. Zbl 1019.68048Cousot, Patrick; Cousot, Radhia 1 2003 Verification of embedded software: Problems and perspectives. Zbl 1050.68522Cousot, Patrick; Cousot, Radhia 1 2001 A case study in abstract interpretation based program transformation: blocking command elimination. Zbl 1260.68089Cousot, Patrick; Cousot, Radhia 1 2001 Bi-inductive structural semantics (extended abstract). Zbl 1278.68141Cousot, Patrick; Cousot, Radhia 1 2007 Ogre and Pythia: an invariance proof method for weak consistency models. Zbl 1380.68101Alglave, Jade; Cousot, Patrick 3 2017 Abstracting induction by extrapolation and interpolation. Zbl 1432.68258Cousot, Patrick 3 2015 A Galois connection calculus for abstract interpretation. Zbl 1284.68173Cousot, Patrick; Cousot, Radhia 3 2014 Abstract interpretation: past, present and future. Zbl 1401.68037Cousot, Patrick; Cousot, Radhia 3 2014 Probabilistic abstract interpretation. Zbl 1352.68151Cousot, Patrick; Monerau, Michael 6 2012 An abstract interpretation framework for termination. Zbl 1321.68190Cousot, Patrick; Cousot, Radhia 6 2012 Theories, solvers and static analysis by abstract interpretation. Zbl 1281.68156Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent 3 2012 A parametric segmentation functor for fully automatic and scalable array content analysis. Zbl 1284.68210Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco 11 2011 Grammar semantics, analysis and parsing by abstract interpretation. Zbl 1248.68316Cousot, Patrick; Cousot, Radhia 3 2011 The reduced product of abstract domains and the combination of decision procedures. Zbl 1326.68089Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent 3 2011 Precondition inference from intermittent assertions and application to contracts on collections. Zbl 1317.68030Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco 2 2011 Linear absolute value relation analysis. Zbl 1326.68086Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 1 2011 A scalable segmented decision tree abstract domain. Zbl 1288.68040Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent 6 2010 An abstract domain to discover interval linear equalities. Zbl 1273.68081Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 3 2010 Why does Astrée scale up? Zbl 1185.68241Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier 13 2009 Interval polyhedra: an abstract domain to infer interval linear relationships. Zbl 1248.68140Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick 8 2009 Abstract interpretation of resolution-based semantics. Zbl 1187.68307Cousot, Patrick; Cousot, Radhia; Giacobazzi, Roberto 1 2009 Bi-inductive structural semantics. Zbl 1165.68042Cousot, Patrick; Cousot, Radhia 1 2009 Grammar analysis and parsing by abstract interpretation. Zbl 1149.68389Cousot, Patrick; Cousot, Radhia 71 2007 Fixpoint-guided abstraction refinements. Zbl 1211.68083Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François 5 2007 Bi-inductive structural semantics (extended abstract). Zbl 1278.68141Cousot, Patrick; Cousot, Radhia 1 2007 The ASTREÉ analyzer. Zbl 1108.68422Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier 30 2005 Proving program invariance and termination by parametric abstraction, Lagrangian relaxation and semidefinite programming. Zbl 1111.68503Cousot, Patrick 25 2005 An abstract interpretation-based framework for software watermarking. Zbl 1325.68061Cousot, Patrick; Cousot, Radhia 6 2004 Verification by abstract interpretation. Zbl 1274.68180Cousot, Patrick 5 2003 Parsing as abstract interpretation of grammar semantics. Zbl 1019.68048Cousot, Patrick; Cousot, Radhia 1 2003 Systematic design of program transformation frameworks by abstract interpretation. Zbl 1323.68356Cousot, Patrick; Cousot, Radhia 97 2002 Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. Zbl 1026.68514Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier 61 2002 Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Zbl 0996.68119Cousot, Patrick 21 2002 Modular static program analysis. Zbl 1051.68624Cousot, Patrick; Cousot, Radhia 14 2002 On abstraction in software verification. Zbl 1010.68506Cousot, Patrick; Cousot, Radhia 5 2002 Design of syntactic program transformations by abstract interpretation of semantic transformations. Zbl 1053.68561Cousot, Patrick 1 2001 Verification of embedded software: Problems and perspectives. Zbl 1050.68522Cousot, Patrick; Cousot, Radhia 1 2001 A case study in abstract interpretation based program transformation: blocking command elimination. Zbl 1260.68089Cousot, Patrick; Cousot, Radhia 1 2001 Temporal abstract interpretation. Zbl 1323.68367Cousot, Patrick; Cousot, Radhia 19 2000 Partial completeness of abstract fixpoint checking. (Invited paper). Zbl 0989.68033Cousot, Patrick 6 2000 The calculational design of a generic abstract interpreter. Zbl 0945.68032Cousot, Patrick 12 1999 Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Zbl 0911.68134Cousot, Patrick 5 1997 “A la Burstall” intermittent assertions induction principles for proving inevitability properties of programs. Zbl 0788.68094Cousot, P.; Cousot, R. 71 1993 Abstract interpretation and application to logic programs. Zbl 0776.68024Cousot, Patrick; Cousot, Radhia 101 1992 Abstract interpretation frameworks. Zbl 0783.68073Cousot, Patrick; Cousot, Radhia 69 1992 Methods and logics for proving programs. Zbl 0900.68307Cousot, Patrick 10 1990 A language independent proof of the soundness and completeness of generalized Hoare logic. Zbl 0676.68004Cousot, Patrick; Cousot, Radhia 1 1989 Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs. Zbl 0586.68019Cousot, Patrick; Cousot, Radhia 9 1987 ‘A la Floyd’ induction principles for proving inevitability properties of programs. Zbl 0655.68020Cousot, Patrick; Cousot, Radhia 1 1985 A constructive characterization of the lattices of all retractions, preclosure, quasi-closure and closure operators on a complete lattice. Zbl 0503.06008Cousot, Patrick; Cousot, Radhia 8 1982 Semantic analysis of communicating sequential processes. Zbl 0433.68020Cousot, Patrick; Cousot, Radhia 4 1980 Constructive versions of Tarski’s fixed point theorems. Zbl 0413.06004Cousot, Patrick; Cousot, Radhia 81 1979 Static determination of dynamic properties of recursive procedures. Zbl 0393.68080Cousot, Patrick; Cousot, Radhia 50 1978 all cited Publications top 5 cited Publications all top 5 Cited by 835 Authors 16 Cousot, Patrick 15 Ranzato, Francesco 14 Giacobazzi, Roberto 11 Amato, Gianluca 11 Cousot, Radhia 11 Miné, Antoine 10 Cortesi, Agostino 10 Scozzari, Francesca 10 Seidl, Helmut 9 Gori, Roberta 9 Mastroeni, Isabella 7 Fuentes Gonzalez, Ramón 7 Kröning, Daniel 7 Pichardie, David 6 Bagnara, Roberto 6 Burusco, Ana 6 Ferrara, Pietro 6 Hill, Patricia M. 6 King, Andy 6 Martel, Matthieu 6 Zaffanella, Enea 5 Bouajjani, Ahmed 5 De Francesco, Nicoletta 5 Di Pierro, Alessandra 5 Feret, Jérôme 5 Goubault, Eric 5 Hermenegildo, Manuel V. 5 Monniaux, David P. 5 Reps, Thomas W. 5 Schmidt, David A. 5 Spoto, Fausto 5 Wiklicky, Herbert 4 Albert, Elvira 4 Boldo, Sylvie 4 Brauer, Jörg 4 Chapoutot, Alexandre 4 Chen, Liqian 4 Crafa, Silvia 4 D’silva, Vijay 4 Gawlitza, Thomas Martin 4 Halbwachs, Nicolas 4 Kapur, Deepak 4 Levi, Francesca 4 Levi, Giorgio 4 Logozzo, Francesco 4 Meo, Maria Chiara 4 Oh, Hakjoo 4 Podelski, Andreas 4 Putot, Sylvie 4 Raskin, Jean-François 4 Rival, Xavier 4 Rybalchenko, Andrey 4 Sankaranarayanan, Sriram 4 Wang, Ji 4 Wilhelm, Reinhard 4 Yi, Kwangkeun 3 Arceri, Vincenzo 3 Barbuti, Roberto 3 Besson, Frédéric 3 Bouissou, Olivier 3 Comini, Marco 3 Cook, Byron 3 Dagnino, Francesco 3 Dalla Preda, Mila 3 Darulova, Eva 3 Dimovski, Aleksandar S. 3 Enea, Constantin 3 Filé, Gilberto 3 Hankin, Chris L. 3 Hasuo, Ichiro 3 Henzinger, Thomas A. 3 Hoenicke, Jochen 3 Huth, Michael R. A. 3 Jeannet, Bertrand 3 Jourdan, Jacques-Henri 3 Kaminski, Benjamin Lucien 3 Katoen, Joost-Pieter 3 König, Barbara 3 Lettieri, Giuseppe 3 Liberti, Leo 3 Majumdar, Rupak 3 Marché, Claude 3 Marinelli, Fabrizio 3 Martini, Luca 3 Ratschan, Stefan 3 Reineke, Jan 3 Sagiv, Mooly 3 Schrammel, Peter 3 Seladji, Yassamine 3 Sharygina, Natasha 3 Simon, Axel 3 Truchet, Charlotte 3 Vogler, Ralf 3 Wąsowski, Andrzej 3 Wehrheim, Heike 3 Zanardini, Damiano 3 Zhan, Naijun 3 Zhao, Hengjun 2 Alpuente, María 2 Alur, Rajeev ...and 735 more Authors all top 5 Cited in 65 Serials 66 Theoretical Computer Science 34 Formal Methods in System Design 23 Information and Computation 13 Theory and Practice of Logic Programming 12 Journal of Automated Reasoning 10 Formal Aspects of Computing 9 Acta Informatica 8 Information Processing Letters 8 Journal of Symbolic Computation 8 Higher-Order and Symbolic Computation 8 Computer Languages, Systems & Structures 7 MSCS. Mathematical Structures in Computer Science 7 ACM Transactions on Computational Logic 6 Fuzzy Sets and Systems 6 Logical Methods in Computer Science 5 Science of Computer Programming 5 Journal of Functional Programming 5 Journal of Logical and Algebraic Methods in Programming 4 Artificial Intelligence 4 The Journal of Logic and Algebraic Programming 4 Mathematics in Computer Science 3 Programming and Computer Software 3 New Generation Computing 3 Constraints 3 Journal of Systems Science and Complexity 2 Discrete Applied Mathematics 2 Computing 2 Information Sciences 2 The Journal of Symbolic Logic 2 Order 2 International Journal of Computer Mathematics 2 Annals of Mathematics and Artificial Intelligence 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 ACM Computing Surveys 1 Communications on Pure and Applied Mathematics 1 International Journal of General Systems 1 Applied Mathematics and Computation 1 BIT 1 Journal of Computer and System Sciences 1 Journal of Soviet Mathematics 1 Studia Logica 1 Mathematical Social Sciences 1 International Journal of Parallel Programming 1 Real-Time Systems 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Computational Geometry 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 Numerical Algorithms 1 RAIRO. Informatique Théorique et Applications 1 Cybernetics and Systems Analysis 1 Journal of Mathematical Sciences (New York) 1 Science in China. Series E 1 Soft Computing 1 Mathematical Methods of Operations Research 1 Journal of Combinatorial Optimization 1 Journal of the ACM 1 Acta Mathematica Sinica. English Series 1 SIAM Journal on Applied Dynamical Systems 1 Proceedings of the Steklov Institute of Mathematics 1 Nonlinear Analysis. Hybrid Systems 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki 1 Computer Science Review all top 5 Cited in 26 Fields 487 Computer science (68-XX) 55 Mathematical logic and foundations (03-XX) 30 Numerical analysis (65-XX) 20 Order, lattices, ordered algebraic structures (06-XX) 18 Operations research, mathematical programming (90-XX) 11 Systems theory; control (93-XX) 8 Biology and other natural sciences (92-XX) 6 Convex and discrete geometry (52-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Category theory; homological algebra (18-XX) 4 Operator theory (47-XX) 4 Information and communication theory, circuits (94-XX) 3 Combinatorics (05-XX) 3 General topology (54-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Ordinary differential equations (34-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Partial differential equations (35-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-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.