×

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; PVS; ML; HOL Light; Archive Formal Proofs; Isar; Mizar; Isabelle/Isar; Nuprl; Sledgehammer; ACL2; z3; Isabelle/ZF; Twelf; LCF; Automath; Flyspeck; Locales
Referenced in: 700 Publications
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

Referenced by 797 Authors

38 Nipkow, Tobias
34 Paulson, Lawrence Charles
23 Rabe, Florian
18 Kaliszyk, Cezary
18 Wenzel, Makarius
17 Blanchette, Jasmin Christian
15 Fleuriot, Jacques D.
15 Thiemann, René
13 Lochbihler, Andreas
13 Popescu, Andrei
12 Basin, David A.
12 Traytel, Dmitry
11 Kohlhase, Michael
10 Sternagel, Christian
9 Ballarin, Clemens
9 Benzmüller, Christoph Ewald
9 Berghofer, Stefan
9 Foster, Simon
9 Lammich, Peter
8 Bulwahn, Lukas
8 Guttmann, Walter
8 Klein, Gerwin
8 Urban, Christian
8 Wolff, Burkhart
7 Bundy, Alan
7 Dawson, Jeremy E.
7 Hölzl, Johannes
7 Horozal, Fulya
7 Matthews, Seán
7 Urban, Josef
7 Woodcock, James C. P.
6 Aransay, Jesús
6 Divasón, Jose
6 Goré, Rajeev Prabhakar
6 Grov, Gudmund
6 Hasan, Osman
6 Kammüller, Florian
6 Kunčar, Ondřej
6 Lüth, Christoph
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 Hupel, Lars
5 Jacobs, Bart
5 Krauss, Alexander
5 Mossakowski, Till
5 Schellhorn, Gerhard
5 Schlichtkrull, Anders
5 Schürmann, Carsten
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 Immler, Fabian
4 Johansson, Moa
4 Kumar, Ramana
4 Maletzky, Alexander
4 Matichuk, Daniel
4 Merz, Stephan
4 Middeldorp, Aart
4 Mueller, Olaf
4 Murray, Toby
4 Nagele, Julian
4 Norrish, Michael
4 Pąk, Karol
4 Pfenning, Frank
4 Théry, Laurent
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 Bloch, Isabelle
3 Böhme, Sascha
3 Bortin, Maksym
3 Bottesch, Ralph Christian
3 Caminati, Marco Bright
3 Chaieb, Amine
3 Codescu, Mihai
3 Felgenhauer, Bertram
...and 697 more Authors
all top 5

Referenced in 66 Serials

91 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 Fundamenta Informaticae
5 Lecture Notes in Computer Science
4 Annals of Mathematics and Artificial Intelligence
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 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 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 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Advances in Applied Clifford Algebras
1
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

Referenced in 42 Fields

661 Computer science (68-XX)
225 Mathematical logic and foundations (03-XX)
18 Combinatorics (05-XX)
11 Number theory (11-XX)
10 Order, lattices, ordered algebraic structures (06-XX)
9 Numerical analysis (65-XX)
9 Operations research, mathematical programming (90-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
8 General and overarching topics; collections (00-XX)
8 Commutative algebra (13-XX)
8 Information and communication theory, circuits (94-XX)
7 Category theory; homological algebra (18-XX)
6 History and biography (01-XX)
6 Real functions (26-XX)
5 Linear and multilinear algebra; matrix theory (15-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)
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 Quantum theory (81-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 Relativity and gravitational theory (83-XX)
1 Biology and other natural sciences (92-XX)

Referencing Publications by Year