Software Authors:   Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.

Cited in:	149 Publications (2010–2022)
Related Software:	Isabelle/HOL; Isabelle; z3; Coq; VAMPIRE; TPTP; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

Software Authors:   Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio; Tassi, Enrico

Cited in:	74 Publications (2007–2022)
Related Software:	Coq; Mizar; Isabelle/HOL; Isabelle; Agda; Proof General; …
Main Fields:	Mathematical logic and foundations (03-XX); Number theory (11-XX); Real functions (26-XX)

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)

Software Authors:   Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor

Cited in:	16 Publications (2013–2021)
Related Software:	Coq; Idris; Agda; seL4; VeriML; HOL; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Delaware, B., Claudel, C.P., Gross, J., Chlipala, A.

Cited in:	15 Publications (2015–2020)
Related Software:	Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; …
Main Fields:	Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Software Authors:   Fulton, N., Mitsch, S., Quesel, J., Völp, M., Platzer, A.

Cited in:	15 Publications (2015–2022)
Related Software:	KeYmaera; SpaceEx; Isabelle/HOL; Bellerophon; MetiTarski; Coq; …
Main Fields:	Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Software Authors:   Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim

Cited in:	11 Publications (2003–2019)
Related Software:	Z; ProofPower; Circus; ClawZ; ZRC; ArcAngelC; …
Main Fields:	Computer science (68-XX)

Software Authors:   D.R. Smith

Cited in:	11 Publications (1992–2021)
Related Software:	Theorema; ALISA; Maude; TAMPR; ATERM; ELAN; …
Main Fields:	Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

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)

Software Authors:   Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars

Cited in:	10 Publications (2012–2021)
Related Software:	Coq; Toolchain; VeriFast; HIP; VeriSmall; Frama-C; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Gauthier, T., Kaliszyk, C., Urban, J.

Cited in:	10 Publications (2017–2021)
Related Software:	E Theorem Prover; MaLeCoP; FEMaLeCoP; HOL; Coq; ENIGMA; …
Main Fields:	Computer science (68-XX)

Software Authors:   Matichuk, Daniel; Wenzel, Makarius; Murray, Toby

Cited in:	9 Publications (2014–2022)
Related Software:	Isabelle; Isabelle/HOL; Coq; HOL; Locales; HOL Light; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov

Cited in:	6 Publications (2001–2021)
Related Software:	Erlang; Isabelle; Coq; AspectWerkz; AspectJ; Java-MaC; …
Main Fields:	Computer science (68-XX)

Software Authors:   Stampoulis, Antonis; Shao, Zhong

Cited in:	8 Publications (2010–2016)
Related Software:	Coq; seL4; Mtac; Delphin; ML; Haskell; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Găină, Daniel; Zhang, Min; Chiba, Yuki; Arimoto, Yasuhito

Cited in:	7 Publications (2013–2020)
Related Software:	Maude; CafeOBJ; CIRC; CASL; OBJ3; ASF+SDF; …
Main Fields:	Computer science (68-XX)

Software Authors:   Gransden, T., Walkinshaw, N., Raman, R.

Cited in:	7 Publications (2015–2021)
Related Software:	Coq; E Theorem Prover; ML4PG; HOL; FEMaLeCoP; Flyspeck; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana

Cited in:	5 Publications (2010–2015)
Related Software:	Circus; Z; ProofPower; ZRC; ArcAngel; ClawZ; …
Main Fields:	Computer science (68-XX)

Software Authors:   Braibant, Thomas

Cited in:	6 Publications (2011–2021)
Related Software:	Coq; Lava; Kami; Haskell; muFP; FreeSpec; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Peter Padawitz

Cited in:	6 Publications (1992–2007)
Related Software:	CoCasl; Curry; Maude; HasCasl; SPIKE; RRL; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André

Cited in:	5 Publications (2017–2022)
Related Software:	KeYmaera; KeYmaera X; SpaceEx; Isabelle/HOL; ModelPlex; dReach; …
Main Fields:	Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Software Authors:   Silva, P. F.; Oliveira, J. N.

Cited in:	5 Publications (2009–2019)
Related Software:	Fiat; Verasco; ASTREE; AoPA; Agda; Z; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

Software Authors:   Völker, Norbert

Cited in:	4 Publications (2007–2018)
Related Software:	HOL Light; HOL; Coq; HOL Light QE; reFLect; Agda; …
Main Fields:	Computer science (68-XX)

Software Authors:   Sozeau, Matthieu; Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Forster, Yannick; Kunze, Fabian; Malecha, Gregory; Tabareau, Nicolas; Winterhalter, Théo

Cited in:	4 Publications (2020–2022)
Related Software:	Coq; CertiCoq; Template-Coq; Idris; CompCert; CakeML; …
Main Fields:	Computer science (68-XX)

Software Authors:   Giero M, Wiedijk F.

Cited in:	3 Publications (2014–2015)
Related Software:	Mizar; Coq; Isar; Isabelle/Isar; Logic2CNF; OMDoc; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Malecha, G., Bengtson, J.

Cited in:	3 Publications (2015–2021)
Related Software:	Coq; CompCertTSO; Delphin; seL4; VeriML; Mtac; …
Main Fields:	Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Systems theory; control (93-XX)

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)

Software Authors:   Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W.

Cited in:	3 Publications (2018–2021)
Related Software:	Coq; Toolchain; Rust; Dafny; RustBelt; GitHub; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Guillaume Melquiond

Cited in:	2 Publications (2019)
Related Software:	Coq; Coquelicot; Octave; hikmot; cheeky; GitHub; …
Main Fields:	Manifolds and cell complexes (57-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Chung-Kil Hur

Cited in:	2 Publications (2012–2016)
Related Software:	Coq; Idris; Lean; Irdis; Agda; Epigram; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Di Vito, B.

Cited in:	2 Publications (2013–2016)
Related Software:	PVS; Coq; PVSio-web; HybridSal; HSolver; ScicosLab; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Christian Sternagel; René Thiemann

Cited in:	1 Publication (2017)
Related Software:	Kodkod; Nested Multisets; Abstract Completeness; Knuth Bendix Orders; Markov Models; Jinja Threads; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Errington, Jacob; Jang, Junyoung; Pientka, Brigitte

Cited in:	1 Publication (2021)
Related Software:	Coq; Beluga; Mtac; PoplMark; Abella; Twelf
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Nidhi Rastogi, Sharmishtha Dutta, Mohammed J. Zaki, Alex Gittens, Charu Aggarwal

Cited in:	0 Publications
Related Software:	RoBERTa; Transformers; T-NER; brat; BERT; flair; …
Main Fields:	–

Software Authors:   Hickey, Jason J.

Cited in:	1 Publication (1997)
Related Software:	Cambridge LCF; Nuprl; Isabelle
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Inshakova, L.A.

Cited in:	1 Publication (2013)
Related Software:	Matlab
Main Fields:	Functions of a complex variable (30-XX)

Software Authors:   Melcer, Daniel; Chang, Stephen

Cited in:	1 Publication (2021)
Related Software:	HACL*; LOUI; PVS
Main Fields:	Computer science (68-XX)

Software Authors:   Paraskakis, Iraklis

Cited in:	1 Publication (2002)
Related Software:	Maple
Main Fields:	Computer science (68-XX)

Software Authors:   André Platzer, David Renshaw

Cited in:	0 Publications
Related Software:	–
Main Fields:	–