Isabelle/HOL Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Cited in: 985 Publications (1996–2023) Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
Isar Software Authors: Makarius Wenzel Cited in: 144 Publications (2000–2021) Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
Sledgehammer Software Authors: Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. Cited in: 144 Publications (2010–2022) Related Software: Isabelle/HOL; Isabelle; z3; Coq; VAMPIRE; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)
Nominal Isabelle Software Authors: Urban, Christian; Kaliszyk, Cezary Cited in: 77 Publications (2005–2022) Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; Twelf; Abella; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Nitpick Software Authors: Blanchette, Jasmin Christian; Nipkow, Tobias Cited in: 71 Publications (1999–2022) Related Software: Isabelle/HOL; Sledgehammer; Coq; Isabelle; TPTP; PVS; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
CeTA Software Authors: Thiemann, René; Sternagel, Christian Cited in: 46 Publications (2009–2021) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)
Isabelle/jEdit Software Authors: Wenzel, Makarius Cited in: 34 Publications (2011–2022) Related Software: Isabelle; Isabelle/HOL; Coq; Proof General; PIDE; Archive Formal Proofs; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
Ott Software Authors: Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok Cited in: 33 Publications (2007–2021) Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Lifting Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 30 Publications (2013–2022) Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
Transfer Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 30 Publications (2013–2022) Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
CCSL Software Authors: Jan Rothe, Bart Jacobs, and Hendrik Tews Cited in: 24 Publications (2001–2015) Related Software: PVS; CoCasl; CASL; Haskell; OCaml; GenCCSL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)
MaSh Software Authors: Daniel Kühlwein; Jasmin Christian Blanchette; Cezary Kaliszyk; Josef Urban Cited in: 25 Publications (2001–2021) Related Software: Flyspeck; E Theorem Prover; VAMPIRE; MaLARea; Sledgehammer; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
CSP-prover Software Authors: Isobe, Yoshinao; Roggenbach, Markus Cited in: 17 Publications (2005–2022) Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Isabelle/UTP Software Authors: Foster, Simon; Zeyda, Frank; Woodcock, Jim Cited in: 17 Publications (2015–2021) Related Software: Circus; Z; Isabelle/HOL; Archive Formal Proofs; Sledgehammer; Isabelle; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Autoref Software Authors: Lammich, Peter Cited in: 15 Publications (2013–2022) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Lifting; Transfer; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
HOL-Boogie Software Authors: Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart Cited in: 13 Publications (2008–2015) Related Software: Isabelle/HOL; Boogie; Why3; z3; Caduceus; VCC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Isabelle/Circus Software Authors: Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff Cited in: 12 Publications (2013–2017) Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Isabelle/PIDE Software Authors: Makarius Wenzel; Burkhart Wolff Cited in: 13 Publications (2012–2020) Related Software: Coq; Isabelle; Isabelle/jEdit; Proof General; Isabelle/HOL; PIDE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
PIDE Software Authors: Wenzel, Makarius Cited in: 12 Publications (2012–2022) Related Software: Isabelle/jEdit; Coq; Sledgehammer; Isabelle/HOL; Proof General; Isabelle/Isar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOL-Z Software Authors: Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart Cited in: 5 Publications (2005–2011) Related Software: Z; HOL; Isabelle/HOL; Circus; csp2B; VPM; … Main Fields: Computer science (68-XX)
miz3 Software Authors: Wiedijk, Freek Cited in: 11 Publications (2012–2020) Related Software: Coq; Mizar; Isar; HOL; Isabelle/HOL; OMDoc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
HOL-TestGen Software Authors: Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, Burkhart Wolff Cited in: 7 Publications (2007–2020) Related Software: Isabelle/HOL; ETPS; Korat; UniTESK; margrave; FIREMAN; … Main Fields: Computer science (68-XX)
Berlekamp Zassenhaus Software Authors: Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada Cited in: 9 Publications (2017–2020) Related Software: Isabelle/HOL; Isabelle; HOL; Coq; Archive Formal Proofs; Locales; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Field theory and polynomials (12-XX)
Gabow SCC Software Authors: Peter Lammich Cited in: 9 Publications (2014–2021) Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Edmonds-Karp; Coq; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Kleene Algebra Software Authors: Armstrong, A., Struth, G., Weber, T. Cited in: 9 Publications (2015–2022) Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; Relation Algebra; HOL; RelView; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)
Presburger Automata Software Authors: Berghofer, Stefan; Reiter, Markus Cited in: 9 Publications (2009–2019) Related Software: Archive Formal Proofs; Isabelle/HOL; Myhill-Nerode; Isabelle; HOL; MSO_Regex_Equivalence; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RALL Software Authors: David von Oheimb, Thomas F. Gritzner Cited in: 9 Publications (1997–2014) Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Amortized Complexity Software Authors: Tobias Nipkow Cited in: 8 Publications (2015–2021) Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; Isabelle; Coq; Root Balanced Tree; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
CryptHOL Software Authors: Basin, D., Lochbihler, A., Sefidgar, S.R. Cited in: 8 Publications (2017–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Hipster Software Authors: Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen Cited in: 8 Publications (2014–2021) Related Software: HipSpec; Theorema; QuickCheck; CVC4; QuickSpec; Dafny; … Main Fields: Computer science (68-XX)
Stone Algebras Software Authors: Guttmann, Walter Cited in: 8 Publications (2017–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; Sledgehammer; RelView; HOL; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Edmonds-Karp Software Authors: Lammich, Peter; Sefidgar, S. Reza Cited in: 7 Publications (2016–2021) Related Software: Gabow SCC; Coq; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Separation Logic; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
GoedelGod Software Authors: Christoph Benzmüller; Bruno Woltzenlogel Paleo Cited in: 7 Publications (2015–2020) Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Satallax; Nitpick; LEO-II; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AUTO2 Software Authors: Zhan, Bohua Cited in: 6 Publications (2016–2019) Related Software: Isabelle/HOL; Isabelle; Mizar; Auto2_Imperative_HOL; Separation Logic; IsarMathLib; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
IsaFoR Software Authors: Krauss, Alexander; Sternagel, Christian; Thiemann, René; Fuhs, Carsten; Giesl, Jürgen Cited in: 4 Publications (2011–2016) Related Software: Isabelle/HOL; CeTA; CoLoR; Isabelle; Coq; Tyrolean; … Main Fields: Computer science (68-XX)
Refinement Monadic Software Authors: Peter Lammich Cited in: 6 Publications (2014–2019) Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; Isabelle; HOL; Collections; … Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
AmiCo Software Authors: Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy Cited in: 5 Publications (2017–2020) Related Software: HOL; Isabelle/HOL; Lean; Agda; Coq; Archive Formal Proofs; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
FinFuns Software Authors: Lochbihler, Andreas Cited in: 5 Publications (2009–2017) Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Nominal Isabelle; Jinja Threads; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)
AODV Software Authors: Timothy Bourke; Peter Höfner Cited in: 4 Publications (2014–2016) Related Software: HOL/SPIN; Isabelle/Circus; Isabelle/HOL; mCRL; wRebeca; ACTLW; … Main Fields: Computer science (68-XX)
Collections Software Authors: Peter Lammich, Andreas Lochbihler, Thomas Tuerk Cited in: 4 Publications (2012–2019) Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; Refinement Monadic; Isabelle; Imperative Refinement; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
IsaFoL Software Authors: Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D. Cited in: 4 Publications (2016–2018) Related Software: Archive Formal Proofs; Isabelle/HOL; Completeness theorem; Sledgehammer; Isabelle; FOL Fitting; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lambda Free RPOs Software Authors: Blanchette, Jasmin Christian; Waldmann, Uwe; Wand, Daniel Cited in: 4 Publications (2017–2021) Related Software: Isabelle/HOL; Sledgehammer; Archive Formal Proofs; E Theorem Prover; Knuth Bendix Orders; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lem Software Authors: Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter Cited in: 3 Publications (2011–2021) Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; … Main Fields: Computer science (68-XX)
Markov Models Software Authors: Johannes Hölzl; Tobias Nipkow Cited in: 4 Publications (2016–2017) Related Software: Isabelle/HOL; pGCL; MRMC; HOL; CAVA LTL Modelchecker; Density Compiler; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
AutoCorres Software Authors: Trustworthy Systems Group Cited in: 2 Publications (2015–2017) Related Software: LEDA; CAVA LTL Modelchecker; NASA PVS; Graph Theory; Tame Graphs; Dijkstra Shortest Path; … Main Fields: Combinatorics (05-XX)
CoSMed Software Authors: Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco Cited in: 3 Publications (2016–2021) Related Software: FlowFox; CAVA LTL Modelchecker; Ur/Web; Jif; seL4; CakeML; … Main Fields: Computer science (68-XX)
Depth First Search Software Authors: Toshiaki Nishihara; Yasuhiko Minamide Cited in: 3 Publications (2008–2010) Related Software: Archive Formal Proofs; Presburger Automata; HOL; Isabelle/HOL; ML; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Gauss-Jordan Software Authors: Jose Divasón; Jesús Aransay Cited in: 3 Publications (2014–2017) Related Software: Isabelle/HOL; Isabelle; Autoref; Rank Nullity; Archive Formal Proofs; Cayley-Hamilton; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
Hotel Key Card Software Authors: Nipkow, Tobias Cited in: 3 Publications (2006–2018) Related Software: HOL; Nitpick; Isabelle/HOL; Finite Automata HF; Hereditarily Finite Sets; CAVA LTL Modelchecker; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Imperative Refinement Software Authors: Peter Lammich Cited in: 3 Publications (2018–2019) Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; CAVA LTL Modelchecker; Collections; Refinement Monadic; … Main Fields: Computer science (68-XX)
Knuth Bendix Orders Software Authors: Heiko Becker; Jasmin Christian Blanchette; Uwe Waldmann; Daniel Wand Cited in: 3 Publications (2017–2018) Related Software: Isar; Isabelle/HOL; Nested Multisets; Lambda Free RPOs; Archive Formal Proofs; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Nested Multisets Software Authors: Jasmin Christian Blanchette; Mathias Fleury; Dmitriy Traytel Cited in: 3 Publications (2017–2020) Related Software: Isar; Isabelle/HOL; Archive Formal Proofs; Coq; Knuth Bendix Orders; AVATAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PLM Software Authors: Daniel Kirchner Cited in: 3 Publications (2020) Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Regular_Algebras Software Authors: Simon Foster; Georg Struth Cited in: 3 Publications (2015–2016) Related Software: Sledgehammer; Isabelle/HOL; TRAMP; Flyspeck; PRocH; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Verified Prover Software Authors: Tom Ridge Cited in: 3 Publications (2009–2018) Related Software: Archive Formal Proofs; Isabelle/HOL; FOL_Harrison; FOL Fitting; Superposition Calculus; Completeness theorem; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VeriPhy Software Authors: Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer Cited in: 3 Publications (2018–2021) Related Software: KeYmaera; Coq; Isabelle/HOL; Idris; Milawa; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Well Quasi Orders Software Authors: Christian Sternagel Cited in: 3 Publications (2011–2020) Related Software: Archive Formal Proofs; CeTA; Isabelle/HOL; Decreasing Diagrams II; Isabelle; Open Induction; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Certification_Monads Software Authors: Christian Sternagel; René Thiemann Cited in: 2 Publications (2015–2022) Related Software: Archive Formal Proofs; Isabelle/HOL; Logoot; Wooki; woot-haskell; wootjs; … Main Fields: Computer science (68-XX)
CertiStr Software Authors: Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader Cited in: 2 Publications (2022) Related Software: CVC4; SMTInterpol; veriT; SMTCoq; Lean; DRAT-trim; … Main Fields: Computer science (68-XX)
Cofinitary Group Software Authors: Bart Kastermans Cited in: 2 Publications (2009) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)
Constructive Proof FLP Software Authors: Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe Cited in: 2 Publications (2016–2018) Related Software: Archive Formal Proofs; Chapar; Verdi; CVC4; z3; Locales; … Main Fields: Computer science (68-XX)
CSimpl Software Authors: Sanán, D., Zhao, Y., Hou, Z., Zhang, F., Tiu, A., Liu, Y. Cited in: 2 Publications (2017) Related Software: seL4; Isabelle/HOL; Locales; Smallfoot Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DiskPaxos Software Authors: Mauro Jaskelioff; Stephan Merz Cited in: 2 Publications (2006–2012) Related Software: Isabelle/HOL; Tree Automata; Archive Formal Proofs; Collections; GUItar; FAdo; … Main Fields: Computer science (68-XX)
FOL_Harrison Software Authors: Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen Cited in: 2 Publications (2018) Related Software: Verified Prover; Archive Formal Proofs; FOL Fitting; Superposition Calculus; Completeness theorem; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Haskabelle Software Authors: T. Rittweiler, F. Haftmann Cited in: 2 Publications (2011–2014) Related Software: Isabelle/HOL; LaTeX; Lem; CakeML; HOL Light; OCaml; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
Haskell Show Class Software Authors: Christian Sternagel; René Thiemann Cited in: 2 Publications (2015–2018) Related Software: Archive Formal Proofs; Isabelle/HOL; Coq; Nominal2; CakeML_Codegen; Pilsner; … Main Fields: Computer science (68-XX)
IMP2_Binary_Heap Software Authors: Simon Griebel Cited in: 2 Publications (2008–2013) Related Software: MCSTL; Concorde; COMET Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Irrationality_J_Hancl Software Authors: Angeliki Koutsoukou-Argyraki; Wenda Li Cited in: 2 Publications (2021–2022) Related Software: Irrational_Series_Erdos_Straus; Transcendence_Series_Hancl_Rucki; Archive Formal Proofs; kepler98; Isabelle/HOL; Automath; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)
Isabelle/DOF Software Authors: Brucker, Achim D.; Ait-Sadoune, Idir; Crisafulli, Paolo; Wolff, Burkhart Cited in: 2 Publications (2018–2021) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Isabelle/UTP; seL4; Z; … Main Fields: Computer science (68-XX)
Jinja not Java Software Authors: Gerwin Klein; Tobias Nipkow Cited in: 2 Publications (2016–2018) Related Software: Archive Formal Proofs; Isabelle/HOL; K Prover; CLDC; BicolanoMT; Jinja Threads; … Main Fields: Computer science (68-XX)
KAD Software Authors: Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber Cited in: 2 Publications (2019–2022) Related Software: Archive Formal Proofs; Transformer semantics; Quantales; KeYmaera X; Differential_Game_Logic; Algebraic_VCs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ordered_Resolution_Prover Software Authors: Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann Cited in: 2 Publications (2001–2020) Related Software: AVATAR; Robinson arithmetic; Saturation_Framework; Nested Multisets; Logtk; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Quasi-Borel Spaces Software Authors: Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato Cited in: 2 Publications (2017–2022) Related Software: Church; mathlib; ML; HOL; pGCL; Density Compiler; … Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Rank Nullity Software Authors: Jose Divasón; Jesús Aransay Cited in: 2 Publications (2014–2017) Related Software: Autoref; Gauss-Jordan; HOL; Isabelle/HOL; Isabelle; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
Store Buffers Software Authors: Ernie Cohen; Norbert Schirmer Cited in: 0 Publications Related Software: Isabelle; Isar; Isabelle/HOL Main Fields: –
Algebraic Numbers Software Authors: René Thiemann, Akihisa Yamada, Sebastiaan Joosten Cited in: 1 Publication (2019) Related Software: Coq; Special_Function_Bounds; Archive Formal Proofs; Sledgehammer; HOL; z3; … Main Fields: Field theory and polynomials (12-XX); Computer science (68-XX)
Aristotles_Assertoric_Syllogistic Software Authors: Angeliki Koutsoukou-Argyraki Cited in: 1 Publication (2021) Related Software: Pratt_Certificate; Quaternions; Irrational_Series_Erdos_Straus; Transcendence_Series_Hancl_Rucki; Irrationality_J_Hancl; Amicable Numbers; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
C-to-Isabelle Software Authors: Norrish, M. Cited in: 1 Publication (2013) Related Software: Charge!; VeriSmall; CompCert; VCC; Frama-C; Coq Main Fields: Computer science (68-XX)
CakeML_Codegen Software Authors: Lars Hupel Cited in: 1 Publication (2018) Related Software: Nominal2; Haskell Show Class; Archive Formal Proofs; Pilsner; CakeML; HOL; … Main Fields: Computer science (68-XX)
clock synchronization Software Authors: Alwen Tiu Cited in: 1 Publication (2007) Related Software: Schneider clock synchronization; Archive Formal Proofs; Calife; PROSPER; CVC Lite; HOL Light; … Main Fields: Computer science (68-XX)
CoCon Software Authors: Popescu, Andrei; Lammich, Peter; Hou, Ping Cited in: 1 Publication (2021) Related Software: CoSMed; Archive Formal Proofs; FlowFox; JRIF; CAVA LTL Modelchecker; Ur/Web; … Main Fields: Computer science (68-XX)
Flow Networks Software Authors: Peter Lammich; S. Reza Sefidgar Cited in: 1 Publication (2019) Related Software: WhyML; Prpu_Maxflow; Gabow SCC; Archive Formal Proofs; Amortized Complexity; Refinement Monadic; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Game_Based_Crypto Software Authors: Andreas Lochbihler, S. Reza Sefidgar, Bhargav Bhatt Cited in: 1 Publication (2020) Related Software: MFMC_Countable; Probabilistic_While; Archive Formal Proofs; CryptHOL; Zoo Probabilistic Systems; F*; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
Huffman Software Authors: Jasmin Christian Blanchette Cited in: 1 Publication (2009) Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; ML; Isabelle Main Fields: Computer science (68-XX)
Jordan Hölder Software Authors: Jakob von Raumer Cited in: 0 Publications Related Software: Archive Formal Proofs; Secondary Sylow Main Fields: –
KBPs Software Authors: Peter Gammie Cited in: 1 Publication (2011) Related Software: Archive Formal Proofs; Presburger Automata; MCK; MCMAS; HOL; VerICS; … Main Fields: Computer science (68-XX)
LambdaMu-calculus Software Authors: Cristina Matache; Victor B. F. Gomes; Dominic P. Mulligan Cited in: 1 Publication (2021) Related Software: K Prover; Archive Formal Proofs; GitHub; KJS; K-Java; K-Maude; … Main Fields: Computer science (68-XX)
Lp spaces Software Authors: Sebastien Gouezel Cited in: 1 Publication (2019) Related Software: RODES; Ordinary Differential Equations; Archive Formal Proofs; Ergodic theory; Lifting; Transfer; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
Lyndon words Software Authors: Holub, Štěpán; Starosta, Štěpán Cited in: 1 Publication (2021) Related Software: Combinatorics_Words; Szpilrajn Extension; Coq-Combi; Archive Formal Proofs; GitHub; Isabelle/HOL; … Main Fields: Computer science (68-XX)
Memoization Software Authors: Simon Wimmer, Shuwei Hu,Tobias Nipkow Cited in: 1 Publication (2018) Related Software: VerifyThis; Isabelle/HOL; Coq Main Fields: Computer science (68-XX)
Meta Model Isabelle Software Authors: Frédéric Tuong; Burkhart Wolff Cited in: 1 Publication (2016) Related Software: Density Compiler; Archive Formal Proofs; Applicative Lifting; Stern-Brocot Tree; Lifting; Transfer; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
Monad normalisation Software Authors: Joshua Schneider, Manuel Eberl, Andreas Lochbihler Cited in: 1 Publication (2020) Related Software: Isabelle/HOL; Probabilistic_Prime_Tests; Density Compiler; Random BSTs; Root Balanced Tree; Treaps; … Main Fields: Computer science (68-XX)
Native Word Software Authors: Andreas Lochbihler; Peter Lammich Cited in: 1 Publication (2014) Related Software: Gabow SCC; Archive Formal Proofs; Collections; Refinement Monadic; HOL; Isabelle/HOL; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
Nominal2 Software Authors: Christian Urban, Stefan Berghofer, Cezary Kaliszyk Cited in: 1 Publication (2018) Related Software: CakeML_Codegen; Haskell Show Class; Archive Formal Proofs; Pilsner; CakeML; HOL; … Main Fields: Computer science (68-XX)
Ordinals Cardinals Software Authors: Andrei Popescu Cited in: 1 Publication (2014) Related Software: Isabelle; Countable Ordinals; wellorder; Free Groups; HOL Light; HOL; … Main Fields: Computer science (68-XX)
Pacheck Software Authors: Kaufmann, D., Fleury, M., Biere, A. Cited in: 1 Publication (2020) Related Software: Bosphorus; Nusschecker; RevSCA; Btor2Tools; BtorMC; PolyCleaner; … Main Fields: Computer science (68-XX)
Poincare_Disc Software Authors: Danijela Simić, Filip Marić, Pierre Boutry Cited in: 1 Publication (2021) Related Software: Complex_Geometry; GeoCoq; Archive Formal Proofs; Lifting; Transfer; Isabelle/Isar; … Main Fields: Computer science (68-XX)
Propositional Resolution Software Authors: Nicolas Peltier Cited in: 1 Publication (2018) Related Software: FOL_Harrison; Incredible Proof Machine; Abstract Soundness; Verified Prover; Lambda Free RPOs; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Prpu_Maxflow Software Authors: Peter Lammich; S. Reza Sefidgar Cited in: 1 Publication (2019) Related Software: WhyML; Gabow SCC; Archive Formal Proofs; Amortized Complexity; Flow Networks; Refinement Monadic; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Saturation_Framework Software Authors: Sophie Tourret Cited in: 1 Publication (2020) Related Software: AVATAR; Robinson arithmetic; Ordered_Resolution_Prover; Nested Multisets; Logtk; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)