×

Mizar

swMATH ID: 4704
Software Authors: Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Robert Milewski; Adam Naumowicz; Andrzej Trybulec; Josef Urban
Description: The Mizar System is the only implementation of the Mizar Language. Originally, the Mizar system was implemented on an IBM-PC x86 compatibles under MS DOS. Now we distribute releases for MS Windows, Intel-based Linux, Solaris and FreeBSD, and also Darwin/Mac OS X and Linux on PowerPC. The whole Mizar system (including verifier) is coded in Pascal using the Free Pascal compiler.
Homepage: http://mizar.org/system/
Keywords: Mizar; reference manual; verification software
Related Software: Coq; Isabelle/HOL; HOL Light; Isabelle; Isar; HOL; MML; E Theorem Prover; TPTP; MPTP 0.2; PVS; VAMPIRE; Flyspeck; MoMM; Nuprl; MaLARea; ACL2; Theorema; Automath; Archive Formal Proofs
Referenced in: 504 Publications
all top 5

Referenced by 375 Authors

49 Grabowski, Adam
49 Urban, Josef
28 Kaliszyk, Cezary
28 Rabe, Florian
27 Korniłowicz, Artur
25 Shidama, Yasunari
24 Pąk, Karol
23 Schwarzweller, Christoph
22 Coghetto, Roland
19 Kohlhase, Michael
17 Bancerek, Grzegorz
17 Naumowicz, Adam
17 Rudnicki, Piotr
14 Koch, Sebastian
14 Nakasho, Kazuhisa
12 Alama, Jesse
12 Futa, Yuichi
9 Okazaki, Hiroyuki
8 Blanchette, Jasmin Christian
8 Kamareddine, Fairouz D.
7 Endou, Noboru
7 Ivanov, Ievgen
7 Nikitchenko, Mykola S.
7 Sacerdoti Coen, Claudio
7 Sutcliffe, Geoff
7 Trybulec, Andrzej
7 Wiedijk, Freek
6 Caminati, Marco Bright
6 Farmer, William M.
6 Geuvers, Jan Herman
6 Nipkow, Tobias
6 Sorge, Volker
6 Wells, Joe B.
6 Wenzel, Makarius
5 Autexier, Serge
5 Horozal, Fulya
5 Iancu, Mihnea
5 Kerber, Manfred
5 Kühlwein, Daniel
5 Narita, Keiko
5 Paulson, Lawrence Charles
5 Watase, Yasushige
5 Ziobro, Rafał
4 Asperti, Andrea
4 Avron, Arnon
4 Benzmüller, Christoph Ewald
4 Brown, Chad Edward
4 Byliński, Czesław
4 Cairns, Paul
4 Koepke, Peter
4 Lyaletski, Alexander V.
4 Mamane, Lionel Elie
4 Müller, Dennis
4 Paskevich, Andrei
4 Popescu, Andrei
4 Rowinska-Schwarzweller, Agnieszka
4 Verchinine, Konstantin
4 Yamazaki, Hiroshi
3 Boldo, Sylvie
3 Cohen, Liron
3 Davenport, James Harold
3 Dietrich, Dominik
3 Drabent, Włodzimierz
3 Gauthier, Thibault
3 Gow, Jeremy
3 Jaeger, Peter
3 Jakubův, Jan
3 Kunčar, Ondřej
3 Maarek, Manuel
3 Maletzky, Alexander
3 Melquiond, Guillaume
3 Mitsuishi, Takashi
3 Nederpelt, Rob
3 Rideau, Laurence
3 Schulz, Stephan
3 Théry, Laurent
3 Voronkov, Andrei
3 Vyskočil, Jiří
3 Windsteiger, Wolfgang
3 Zhan, Bohua
2 Acewicz, Marcin
2 Anai, Hirokazu
2 Arai, Kenichi
2 Arai, Noriko H.
2 Aransay, Jesús
2 Bertot, Yves
2 Buchberger, Bruno
2 Carette, Jacques
2 Dahn, Ingo
2 Fleuriot, Jacques D.
2 Fukasaku, Ryoya
2 Gonthier, Georges
2 Guan, Yong
2 Guidi, Ferruccio
2 Hales, Thomas Callister
2 Heras, Jónathan
2 Heskes, Tom M.
2 Hoder, Kryštof
2 Iwane, Hidenao
2 Jaszczak, Adrian
...and 275 more Authors
all top 5

Referenced in 41 Serials

165 Formalized Mathematics
47 Journal of Automated Reasoning
18 Lecture Notes in Computer Science
8 Journal of Formalized Reasoning
5 Journal of Symbolic Computation
5 Journal of Applied Logic
5 Mathematics in Computer Science
4 MSCS. Mathematical Structures in Computer Science
4 Fundamenta Informaticae
4 Logical Methods in Computer Science
3 Annals of Mathematics and Artificial Intelligence
3 Electronic Notes in Theoretical Computer Science
2 Acta Informatica
2 Synthese
2 Formal Aspects of Computing
2 AI Communications
2 RIMS Kokyuroku
1 American Mathematical Monthly
1 Letters in Mathematical Physics
1 Studia Logica
1 Theoretical Computer Science
1 Annales Societatis Mathematicae Polonae. Series IV
1 Annals of Pure and Applied Logic
1 Information and Computation
1 International Journal of Computer Mathematics
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 Advances in Applied Clifford Algebras
1 The Journal of Artificial Intelligence Research (JAIR)
1 Computer Science Journal of Moldova
1 Foundations of Science
1 Lobachevskii Journal of Mathematics
1 Czechoslovak Journal of Physics
1 Journal of Universal Computer Science
1 Sādhanā
1 Computer Languages, Systems & Structures
1 Journal of Fixed Point Theory and Applications
1 Logica Universalis
1 Journal of Logical and Algebraic Methods in Programming
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
all top 5

Referenced in 39 Fields

393 Computer science (68-XX)
203 Mathematical logic and foundations (03-XX)
35 General and overarching topics; collections (00-XX)
31 Number theory (11-XX)
16 Geometry (51-XX)
15 Combinatorics (05-XX)
15 Commutative algebra (13-XX)
14 Order, lattices, ordered algebraic structures (06-XX)
13 Field theory and polynomials (12-XX)
12 Linear and multilinear algebra; matrix theory (15-XX)
11 Real functions (26-XX)
10 Operator theory (47-XX)
10 General topology (54-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
7 Measure and integration (28-XX)
7 Functional analysis (46-XX)
7 Information and communication theory, circuits (94-XX)
5 Mathematics education (97-XX)
4 Group theory and generalizations (20-XX)
3 Sequences, series, summability (40-XX)
3 Manifolds and cell complexes (57-XX)
3 Numerical analysis (65-XX)
3 Quantum theory (81-XX)
2 History and biography (01-XX)
2 General algebraic systems (08-XX)
2 Algebraic geometry (14-XX)
2 Category theory; homological algebra (18-XX)
2 Topological groups, Lie groups (22-XX)
2 Functions of a complex variable (30-XX)
2 Partial differential equations (35-XX)
2 Algebraic topology (55-XX)
2 Probability theory and stochastic processes (60-XX)
1 Associative rings and algebras (16-XX)
1 Difference and functional equations (39-XX)
1 Convex and discrete geometry (52-XX)
1 Optics, electromagnetic theory (78-XX)
1 Relativity and gravitational theory (83-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)

Referencing Publications by Year