Coq swMATH ID: 161 Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Description: Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization of the 4 color theorem or constructive mathematics at Nijmegen) and teaching. Homepage: http://www.lix.polytechnique.fr/coq/ Keywords: Coq; Calculus of Inductive Constructions; Geometry modelling; Generalized maps; Surfaces; Specification; Proof Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; Mizar; Agda; ML; Automath; Haskell; z3; ACL2; OCaml; GitHub; LEGO; Twelf; Archive Formal Proofs; Coq/SSReflect; Isar Cited in: 1,882 Documents Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year 30 years of research and development around Coq. Zbl 1284.68517Huet, Gérard; Herbelin, Hugo 2014 Certified programming with dependent types. A pragmatic introduction to the Coq proof assistant. Zbl 1288.68001Chlipala, Adam 2013 Formalizing generalized maps in Coq. Zbl 1078.68136Dehlinger, Christophe; Dufourd, Jean-François 2004 all top 5 Cited by 1,965 Authors 25 Pichardie, David 24 Barthe, Gilles 24 Geuvers, Jan Herman 24 Kaliszyk, Cezary 24 Sacerdoti Coen, Claudio 23 Rabe, Florian 22 Bertot, Yves 21 Appel, Andrew W. 21 Théry, Laurent 20 Felty, Amy P. 20 Wiedijk, Freek 19 Leroy, Xavier 18 Mahboubi, Assia 18 Narboux, Julien 18 Smolka, Gert 17 Abel, Andreas M. 17 Melquiond, Guillaume 17 Paulson, Lawrence Charles 16 Affeldt, Reynald 16 Birkedal, Lars 16 Boldo, Sylvie 16 Chlipala, Adam J. 16 Tassi, Enrico 15 Krebbers, Robbert 15 Sozeau, Matthieu 15 Urban, Josef 14 Ahrens, Benedikt 14 Cohen, Cyril 14 Dufourd, Jean-François 14 Gonthier, Georges 14 Grégoire, Benjamin 14 Miculan, Marino 14 Nipkow, Tobias 13 Blanchette, Jasmin Christian 13 Dubois, Catherine 13 Kohlhase, Michael 13 Luo, Zhaohui 13 Myreen, Magnus O. 13 Paulin-Mohring, Christine 12 Blazy, Sandrine 12 Constable, Robert Lee 12 Coquand, Thierry 12 Delahaye, David 12 Filliâtre, Jean-Christophe 12 Pientka, Brigitte 12 Popescu, Andrei 12 Pous, Damien 12 Shao, Zhong 12 Wenzel, Makarius 11 Benzmüller, Christoph Ewald 11 Corbineau, Pierre 11 Doczkal, Christian 11 Kamareddine, Fairouz D. 11 Larchey-Wendling, Dominique 11 Matthes, Ralph 11 Mörtberg, Anders 11 Tabareau, Nicolas 11 Vafeiadis, Viktor 11 Werner, Benjamin 10 Asperti, Andrea 10 Beringer, Lennart 10 Bizjak, Aleš 10 Capretta, Venanzio 10 Courtieu, Pierre 10 Cruz-Filipe, Luís 10 Dreyer, Derek R. 10 Farmer, William M. 10 Kirst, Dominik 10 Nanevski, Aleksandar 10 Niqui, Milad 10 Norrish, Michael 10 Spitters, Bas 10 Strub, Pierre-Yves 10 Stump, Aaron 9 Ayala-Rincón, Mauricio 9 Charguéraud, Arthur 9 Ciaffaglione, Alberto 9 Heras, Jónathan 9 Hobor, Aquinas 9 Honsell, Furio 9 Magaud, Nicolas 9 Mayero, Micaela 9 Owens, Scott 9 Rubio García, Julio Jesús 9 Ziliani, Beta 8 Barras, Bruno 8 Cachera, David 8 Contejean, Evelyne 8 Forster, Yannick 8 Janičić, Predrag 8 Koprowski, Adam 8 Kumar, Ramana 8 Lochbihler, Andreas 8 Luna, Carlos 8 McBride, Conor Thomas 8 Oliveira, Bruno C.d. S. 8 Pfenning, Frank 8 Piessens, Frank 8 Rideau, Laurence 8 Scagnetto, Ivan ...and 1,865 more Authors all top 5 Cited in 118 Serials 165 Journal of Automated Reasoning 67 Lecture Notes in Computer Science 54 Logical Methods in Computer Science 51 Journal of Functional Programming 42 Theoretical Computer Science 35 MSCS. Mathematical Structures in Computer Science 31 Journal of Formalized Reasoning 24 Formal Aspects of Computing 19 Journal of Logical and Algebraic Methods in Programming 18 Journal of Symbolic Computation 16 Information and Computation 13 Annals of Mathematics and Artificial Intelligence 11 Science of Computer Programming 11 Formal Methods in System Design 11 Mathematics in Computer Science 10 Annals of Pure and Applied Logic 10 Journal of Applied Logic 9 ACM Transactions on Computational Logic 8 Higher-Order and Symbolic Computation 7 Fundamenta Informaticae 7 The Journal of Logic and Algebraic Programming 6 Journal of Logic and Computation 5 Acta Informatica 4 Information Processing Letters 4 ACM Transactions on Mathematical Software 4 Programming and Computer Software 4 Studia Logica 4 Indagationes Mathematicae. New Series 4 Journal of Logic, Language and Information 4 Computer Languages, Systems & Structures 4 Formalized Mathematics 3 Computational Geometry 3 Applicable Algebra in Engineering, Communication and Computing 3 Journal of the ACM 3 Sādhanā 3 Journal of Software 3 LIPIcs – Leibniz International Proceedings in Informatics 2 Computers & Mathematics with Applications 2 Discrete Mathematics 2 The Mathematical Intelligencer 2 The Journal of Symbolic Logic 2 International Journal of Computer Mathematics 2 Bulletin of the American Mathematical Society. New Series 2 Notices of the American Mathematical Society 2 Journal of Applied Non-Classical Logics 2 Advances in Applied Clifford Algebras 2 Theory of Computing Systems 2 Logic Journal of the IGPL 2 LMS Journal of Computation and Mathematics 2 RAIRO. Theoretical Informatics and Applications 2 Theory and Practice of Logic Programming 2 Journal of Applied Mathematics 2 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis 2 Electronic Notes in Theoretical Computer Science 2 Logica Universalis 2 Scientific Annals of Computer Science 2 Frontiers of Computer Science in China 1 Artificial Intelligence 1 International Journal of General Systems 1 International Journal for Numerical Methods in Fluids 1 International Journal of Systems Science 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Letters in Mathematical Physics 1 Acta Cybernetica 1 Archiv der Mathematik 1 BIT 1 The Computer Journal. Section A / Section B 1 Journal of Computational and Applied Mathematics 1 Journal of Computer and System Sciences 1 Journal of the Korean Mathematical Society 1 Mathematics and Computers in Simulation 1 Notre Dame Journal of Formal Logic 1 Numerische Mathematik 1 Proceedings of the American Mathematical Society 1 Bulletin of the Section of Logic 1 Annales Societatis Mathematicae Polonae. Series IV 1 New Generation Computing 1 Journal of the American Mathematical Society 1 Japan Journal of Industrial and Applied Mathematics 1 Discrete Event Dynamic Systems 1 Numerical Algorithms 1 Pattern Recognition 1 Archive for Mathematical Logic 1 Experimental Mathematics 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Turkish Journal of Mathematics 1 1 The Electronic Journal of Combinatorics 1 Quadrature 1 Documenta Mathematica 1 Mathematical Problems in Engineering 1 Comptes Rendus de l’Académie des Sciences. Série I. Mathématique 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 European Journal of Mechanics. B. Fluids 1 Electronic Journal of SADIO 1 Homology, Homotopy and Applications 1 International Journal of Applied Mathematics and Computer Science 1 Lobachevskii Journal of Mathematics 1 Nieuw Archief voor Wiskunde. Vijfde Serie 1 Journal of Universal Computer Science ...and 18 more Serials all top 5 Cited in 45 Fields 1,738 Computer science (68-XX) 642 Mathematical logic and foundations (03-XX) 93 General and overarching topics; collections (00-XX) 61 Numerical analysis (65-XX) 45 Category theory; homological algebra (18-XX) 36 Information and communication theory, circuits (94-XX) 35 Algebraic topology (55-XX) 29 Number theory (11-XX) 26 Combinatorics (05-XX) 20 Geometry (51-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Operations research, mathematical programming (90-XX) 13 Convex and discrete geometry (52-XX) 13 Systems theory; control (93-XX) 9 History and biography (01-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Field theory and polynomials (12-XX) 9 Commutative algebra (13-XX) 9 Group theory and generalizations (20-XX) 9 Real functions (26-XX) 9 Partial differential equations (35-XX) 8 General algebraic systems (08-XX) 8 Algebraic geometry (14-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Fluid mechanics (76-XX) 7 Biology and other natural sciences (92-XX) 6 Ordinary differential equations (34-XX) 4 Manifolds and cell complexes (57-XX) 4 Quantum theory (81-XX) 4 Mathematics education (97-XX) 3 Functions of a complex variable (30-XX) 3 General topology (54-XX) 2 Associative rings and algebras (16-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Probability theory and stochastic processes (60-XX) 1 Nonassociative rings and algebras (17-XX) 1 \(K\)-theory (19-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Approximations and expansions (41-XX) 1 Integral transforms, operational calculus (44-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Geophysics (86-XX) Citations by Year