×

Isabelle

swMATH ID: 454
Software Authors: Larry Paulson, Tobias Nipkow, Makarius Wenzel
Description: Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.
Homepage: http://isabelle.in.tum.de/
Operating Systems: Windows, MacOS and Linux
Dependencies: dependencies
Keywords: orms
Related Software: Isabelle/HOL; HOL; Coq; Archive Formal Proofs; PVS; ML; HOL Light; Isar; Mizar; Isabelle/Isar; Sledgehammer; Nuprl; ACL2; z3; Isabelle/ZF; LCF; GitHub; Automath; Twelf; Locales
Cited in: 734 Documents
This software is also referenced in ORMS.

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
The Isabelle framework. Zbl 1165.68478
Wenzel, Makarius; Paulson, Lawrence C.; Nipkow, Tobias
2008
all top 5

Cited by 841 Authors

40 Nipkow, Tobias
37 Paulson, Lawrence Charles
24 Rabe, Florian
20 Kaliszyk, Cezary
20 Wenzel, Makarius
18 Blanchette, Jasmin Christian
16 Fleuriot, Jacques D.
16 Thiemann, René
13 Kohlhase, Michael
13 Lochbihler, Andreas
13 Popescu, Andrei
12 Basin, David A.
12 Traytel, Dmitry
10 Foster, Simon
10 Sternagel, Christian
9 Ballarin, Clemens
9 Benzmüller, Christoph Ewald
9 Berghofer, Stefan
9 Lammich, Peter
8 Bulwahn, Lukas
8 Guttmann, Walter
8 Klein, Gerwin
8 Urban, Christian
8 Woodcock, James C. P.
7 Bundy, Alan
7 Dawson, Jeremy E.
7 Divasón, Jose
7 Horozal, Fulya
7 Matthews, Seán
7 Urban, Josef
7 Wolff, Burkhart
6 Aransay, Jesús
6 Goré, Rajeev Prabhakar
6 Grov, Gudmund
6 Hasan, Osman
6 Hölzl, Johannes
6 Kammüller, Florian
6 Kunčar, Ondřej
6 Lüth, Christoph
6 Pąk, Karol
6 Struth, Georg
6 Tahar, Sofiène
6 Viganò, Luca
6 Weber, Tjark
5 Armstrong, Alasdair
5 Dongol, Brijesh
5 Eberl, Manuel
5 Felty, Amy P.
5 Gauthier, Thibault
5 Haftmann, Florian
5 Haslbeck, Max W.
5 Immler, Fabian
5 Jacobs, Bart
5 Johansson, Moa
5 Krauss, Alexander
5 Merz, Stephan
5 Mossakowski, Till
5 Schellhorn, Gerhard
5 Schlichtkrull, Anders
5 Schürmann, Carsten
5 Théry, Laurent
5 von Oheimb, David
5 Wiedijk, Freek
5 Yamada, Akihisa
5 Zhan, Bohua
4 Calmet, Jacques
4 Dixon, Lucas
4 Doherty, Simon
4 Duan, Zhenhua
4 Farmer, William M.
4 Fleury, Mathias
4 Homann, Karsten
4 Hupel, Lars
4 Kumar, Ramana
4 Matichuk, Daniel
4 Middeldorp, Aart
4 Mueller, Olaf
4 Murray, Toby
4 Nagele, Julian
4 Narboux, Julien
4 Norrish, Michael
4 Pfenning, Frank
4 Tian, Cong
4 Wenzel, Markus
4 Zhang, Nan
4 Zhang, Xingyuan
3 Allais, Guillaume
3 Arthan, Rob D.
3 Autexier, Serge
3 Avigad, Jeremy
3 Bauer, Gertrud
3 Bengtson, Jesper
3 Berger, Ulrich
3 Bloch, Isabelle
3 Böhme, Sascha
3 Bortin, Maksym
3 Bottesch, Ralph Christian
3 Caminati, Marco Bright
3 Chaieb, Amine
3 Codescu, Mihai
...and 741 more Authors
all top 5

Cited in 66 Serials

100 Journal of Automated Reasoning
19 Formal Aspects of Computing
12 Theoretical Computer Science
9 Journal of Functional Programming
8 Journal of Applied Logic
8 Journal of Logical and Algebraic Methods in Programming
7 Journal of Symbolic Computation
7 Information and Computation
6 ACM Transactions on Computational Logic
5 Journal of Logic and Computation
5 MSCS. Mathematical Structures in Computer Science
5 Annals of Mathematics and Artificial Intelligence
5 Fundamenta Informaticae
5 Lecture Notes in Computer Science
4 LMS Journal of Computation and Mathematics
4 Journal of Formalized Reasoning
3 Artificial Intelligence
2 The Mathematical Intelligencer
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 Formal Methods in System Design
2 Journal of Applied Non-Classical Logics
2 Logic Journal of the IGPL
2 Journal of Combinatorial Optimization
2 Higher-Order and Symbolic Computation
2 Concurrency and Computation: Practice & Experience
2 Mathematics in Computer Science
2 Logica Universalis
2 Logical Methods in Computer Science
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Journal of Computational Physics
1 Physica A
1 ACM Transactions on Mathematical Software
1 Journal of Mathematical Economics
1 Management Science
1 Notre Dame Journal of Formal Logic
1 Studia Logica
1 Synthese
1 Operations Research Letters
1 Journal of Jiangxi Normal University. Natural Science Edition
1 Journal of the American Mathematical Society
1 AI Communications
1 Distributed Computing
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Journal of Logic, Language and Information
1 Advances in Applied Clifford Algebras
1 Nordic Journal of Computing
1 Mathematical Problems in Engineering
1 Optimization Methods & Software
1 Chicago Journal of Theoretical Computer Science
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Communications in Nonlinear Science and Numerical Simulation
1 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science
1 Journal of Universal Computer Science
1 Journal of Applied Mathematics
1 Sādhanā
1 Parallel Processing Letters
1 Oberwolfach Reports
1 A.P.I.C. Studies in Data Processing
1 Frontiers of Computer Science
1 Computer Science Review
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Texts in Computer Science
1 Distinguished Dissertations
all top 5

Cited in 42 Fields

694 Computer science (68-XX)
233 Mathematical logic and foundations (03-XX)
19 Combinatorics (05-XX)
13 Number theory (11-XX)
10 Order, lattices, ordered algebraic structures (06-XX)
10 Commutative algebra (13-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Numerical analysis (65-XX)
9 Operations research, mathematical programming (90-XX)
9 Information and communication theory, circuits (94-XX)
8 General and overarching topics; collections (00-XX)
7 Category theory; homological algebra (18-XX)
6 History and biography (01-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Real functions (26-XX)
5 Ordinary differential equations (34-XX)
4 Geometry (51-XX)
3 Group theory and generalizations (20-XX)
3 Dynamical systems and ergodic theory (37-XX)
3 Convex and discrete geometry (52-XX)
3 Algebraic topology (55-XX)
3 Probability theory and stochastic processes (60-XX)
3 Quantum theory (81-XX)
2 Field theory and polynomials (12-XX)
2 Measure and integration (28-XX)
2 Functions of a complex variable (30-XX)
2 Mechanics of particles and systems (70-XX)
2 Relativity and gravitational theory (83-XX)
2 Systems theory; control (93-XX)
2 Mathematics education (97-XX)
1 Algebraic geometry (14-XX)
1 Associative rings and algebras (16-XX)
1 Nonassociative rings and algebras (17-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Partial differential equations (35-XX)
1 Functional analysis (46-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistics (62-XX)
1 Mechanics of deformable solids (74-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year