×

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; MML; HOL; E Theorem Prover; PVS; MPTP 0.2; TPTP; VAMPIRE; Flyspeck; Archive Formal Proofs; Nuprl; MoMM; ACL2; MaLARea; Sledgehammer; Automath
Cited in: 561 Documents
all top 5

Cited by 408 Authors

51 Grabowski, Adam
51 Urban, Josef
33 Kaliszyk, Cezary
32 Korniłowicz, Artur
28 Pąk, Karol
28 Rabe, Florian
26 Schwarzweller, Christoph
26 Shidama, Yasunari
24 Coghetto, Roland
19 Kohlhase, Michael
19 Naumowicz, Adam
18 Nakasho, Kazuhisa
17 Bancerek, Grzegorz
17 Koch, Sebastian
17 Rudnicki, Piotr
13 Futa, Yuichi
12 Alama, Jesse
10 Endou, Noboru
10 Okazaki, Hiroyuki
8 Blanchette, Jasmin Christian
8 Kamareddine, Fairouz D.
8 Watase, Yasushige
7 Ivanov, Ievgen
7 Nikitchenko, Mykola S.
7 Sacerdoti Coen, Claudio
7 Sutcliffe, Geoff
7 Trybulec, Andrzej
7 Wells, Joe B.
7 Wenzel, Makarius
7 Wiedijk, Freek
6 Caminati, Marco Bright
6 Farmer, William M.
6 Geuvers, Jan Herman
6 Jakubův, Jan
6 Nipkow, Tobias
6 Paulson, Lawrence Charles
6 Sorge, Volker
5 Autexier, Serge
5 Brown, Chad Edward
5 Horozal, Fulya
5 Iancu, Mihnea
5 Kerber, Manfred
5 Koepke, Peter
5 Kühlwein, Daniel
5 Mitsuishi, Takashi
5 Narita, Keiko
5 Yamazaki, Hiroshi
5 Ziobro, Rafał
4 Asperti, Andrea
4 Avron, Arnon
4 Benzmüller, Christoph Ewald
4 Byliński, Czesław
4 Cairns, Paul
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
3 Aransay, Jesús
3 Boldo, Sylvie
3 Cohen, Liron
3 Davenport, James Harold
3 Dietrich, Dominik
3 Divasón, Jose
3 Drabent, Włodzimierz
3 Gauthier, Thibault
3 Gow, Jeremy
3 Jaeger, Peter
3 Kunčar, Ondřej
3 Maarek, Manuel
3 Maletzky, Alexander
3 Melquiond, Guillaume
3 Miyajima, Keiichi
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 Bertot, Yves
2 Buchberger, Bruno
2 Carette, Jacques
2 Cohen, Cyril
2 Dahn, Ingo
2 De Lon, Adrian
2 Dunne, Ciarán
2 Fleuriot, Jacques D.
2 Fukasaku, Ryoya
2 Gonthier, Georges
2 Guan, Yong
2 Guidi, Ferruccio
2 Hales, Thomas Callister
...and 308 more Authors
all top 5

Cited in 41 Serials

197 Formalized Mathematics
50 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
5 Logical Methods in Computer Science
4 MSCS. Mathematical Structures in Computer Science
4 Fundamenta Informaticae
3 Annals of Mathematics and Artificial Intelligence
3 Electronic Notes in Theoretical Computer Science
2 Acta Informatica
2 Synthese
2 Annals of Pure and Applied Logic
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 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

Cited in 39 Fields

450 Computer science (68-XX)
215 Mathematical logic and foundations (03-XX)
40 Number theory (11-XX)
35 General and overarching topics; collections (00-XX)
19 Commutative algebra (13-XX)
18 Combinatorics (05-XX)
17 Geometry (51-XX)
16 Field theory and polynomials (12-XX)
16 Linear and multilinear algebra; matrix theory (15-XX)
15 Real functions (26-XX)
14 Order, lattices, ordered algebraic structures (06-XX)
12 Operator theory (47-XX)
10 General topology (54-XX)
9 Functional analysis (46-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Information and communication theory, circuits (94-XX)
7 Measure and integration (28-XX)
6 Group theory and generalizations (20-XX)
6 Mathematics education (97-XX)
4 Numerical analysis (65-XX)
3 Algebraic geometry (14-XX)
3 Sequences, series, summability (40-XX)
3 Manifolds and cell complexes (57-XX)
3 Quantum theory (81-XX)
3 Systems theory; control (93-XX)
2 History and biography (01-XX)
2 General algebraic systems (08-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)

Citations by Year