Python Software Authors: Guido van Rossum Cited in: 1,092 Publications (1991–2023) Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Haskell Software Authors: – Cited in: 806 Publications (1989–2022) Related Software: Coq; ML; GHC; Isabelle/HOL; QuickCheck; Maude; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
ML Software Authors: Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh Cited in: 485 Publications (1978–2022) Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
Agda Software Authors: Ulf Norell Cited in: 210 Publications (1999–2022) Related Software: Coq; Haskell; Isabelle/HOL; HOL Light; Nuprl; Idris; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
Pesca Software Authors: Aarne Ranta Cited in: 165 Publications (2001–2023) Related Software: MiniML; Isabelle; TABLEAUX; Coq; Maude; Hyperproof; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)
Miranda Software Authors: Turner, D.A. Cited in: 148 Publications (1985–2020) Related Software: Haskell; ML; CLEAN; Nuprl; BABEL; Automath; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
DiffSharp Software Authors: Baydin, A.G., Pearlmutter, B.A. Cited in: 128 Publications (2016–2022) Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; GitHub; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
ELAN Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Cited in: 105 Publications (1996–2020) Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Scala Software Authors: Loverdos, Christos K. K.; Syropoulos, Apostolos Cited in: 79 Publications (2005–2022) Related Software: Coq; z3; Haskell; Featherweight Java; Isabelle; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
Dafny Software Authors: Rustan Leino Cited in: 75 Publications (2010–2023) Related Software: z3; Why3; Boogie; Coq; VCC; VeriFast; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
APL Software Authors: Kenneth E. Iverson Cited in: 77 Publications (1962–2022) Related Software: Haskell; PySB; BioNetGen; SNOOPY; R; ML; … Main Fields: Number theory (11-XX); Statistics (62-XX); Computer science (68-XX)
UFL Software Authors: Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N. Cited in: 73 Publications (2010–2022) Related Software: FEniCS; PETSc; Firedrake; DOLFIN; FIAT; petsc4py; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
BABEL Software Authors: Mario Rodriguez-Artalejo Cited in: 69 Publications (1988–2013) Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Mercury Software Authors: mercurylang.org Cited in: 70 Publications (1994–2022) Related Software: ECCE; Haskell; DPPD; SICStus; CiaoPP; Ciao; … Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)
CLEAN Software Authors: Plasmeijer, M.J. Cited in: 55 Publications (1987–2016) Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ciao Software Authors: Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G. Cited in: 52 Publications (1999–2022) Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
KIV Software Authors: M. Heisel, B. Langenstein, W.Reif, G. Schellhorn, K. Stenzel, W. Stephan, A. Wolpers, et al. Cited in: 50 Publications (1988–2021) Related Software: Z; PVS; Isabelle; JML; KRAKATOA; Why3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
SIGNAL Software Authors: Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul Cited in: 48 Publications (1987–2018) Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MiniML Software Authors: Davies, Rowan; Pfenning, Frank Cited in: 49 Publications (2000–2021) Related Software: Coq; ML; Haskell; Pesca; Links; Twelf; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
CDuce Software Authors: Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain Cited in: 48 Publications (2003–2020) Related Software: XDuce; XPath; XQuery; Haskell; OCaml; PiDuce; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Curry Software Authors: M. Hanus, H. Kuchen, J.J. Moreno-Navarro Cited in: 39 Publications (1998–2022) Related Software: Haskell; PAKCS; TOY; BABEL; KiCS2; Maude; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
Refal Software Authors: Valentin F. Turchin Cited in: 42 Publications (1969–2020) Related Software: Haskell; COSTA; CiaoPP; Ciao; Maude; ECCE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
GHC Software Authors: Ueda, Kazunori Cited in: 36 Publications (1986–2014) Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Idris Software Authors: Edwin Brady Cited in: 38 Publications (2011–2022) Related Software: Coq; Agda; Irdis; Haskell; Lean; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
CLAIRE Software Authors: Caseau, Yves; Josset, François-Xavier; Laburthe, François Cited in: 32 Publications (1998–2019) Related Software: Oz; Choco; SALSA; CHIP; BL data set; ELAN; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Ynot Software Authors: Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars Cited in: 34 Publications (2008–2019) Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
GF Software Authors: Ranta, Aarne Cited in: 29 Publications (1999–2021) Related Software: Mizar; Coq; Isar; Theorema; Haskell; KeY; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ABS Software Authors: Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M. Cited in: 30 Publications (2012–2022) Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Polyp Software Authors: Jansson, P.; Jeuring, J. Cited in: 33 Publications (1999–2012) Related Software: Haskell; Stratego; Coq; Agda; Maude; RepLib; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
HIP Software Authors: Wei-Ngan Chin; Huu Hai Nguyen; Cristina David; Cristian Gherghina; Quang Loc Le; Ton-Chanh Le; Asankhaya Sharma Cited in: 30 Publications (2007–2021) Related Software: Smallfoot; VeriFast; Slide; Coq; z3; Infer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Beluga Software Authors: Brigitte Pientka; Joshua Dunfield Cited in: 28 Publications (2010–2022) Related Software: Twelf; Abella; Coq; PoplMark; Isabelle/HOL; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
DrScheme Software Authors: Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias Cited in: 27 Publications (1997–2016) Related Software: ACL2; Haskell; LISP; DrACuLa; Eiffel; MzScheme; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mathematics education (97-XX)
DACTL Software Authors: John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep Cited in: 27 Publications (1987–2015) Related Software: DIEGO; PROGRES; MONSTR; Miranda; CLEAN; PLT Redex; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)
Eden Software Authors: U. Klusik, Y. Ortega-Mallén, R. Peña Cited in: 23 Publications (2001–2018) Related Software: Haskell; GUM; EdenTV; GHC; Erlang; MapReduce; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Kernel-LEAF Software Authors: Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi Cited in: 28 Publications (1991–2013) Related Software: BABEL; TOY; Curry; PAKCS; Haskell; Maude; … Main Fields: Computer science (68-XX)
ALDOR Software Authors: aldor.org; Bronstein, Manuel Cited in: 26 Publications (1997–2014) Related Software: AXIOM; Maple; SageMath; JAS; Orbital library; SINGULAR; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Category theory; homological algebra (18-XX)
CellML Software Authors: Hedley, Warren J.; Nelson, Melanie R.; Bullivant, David P.; Nielsen, Poul F. Cited in: 17 Publications (2001–2021) Related Software: Chaste; COPASI; SUNDIALS; CellSys; R; Python; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
JoCaml Software Authors: Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan Cited in: 26 Publications (2000–2022) Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
MRST-AD Software Authors: Krogstad, S., Lie, K.-A., Møyner, O., Nilsen, H.M., Raynaud, X., Skaflestad, B Cited in: 24 Publications (2016–2022) Related Software: MRST; Matlab; MRST-co2lab; DuMuX; IPARS; ISTL; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
Links Software Authors: Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop Cited in: 20 Publications (2008–2020) Related Software: Eff; Koka; GitHub; Haskell; Hop; Ur/Web; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Eff Software Authors: Bauer, Andrej; Pretnar, Matija Cited in: 22 Publications (2013–2021) Related Software: Koka; Haskell; GitHub; ML; Coq; Links; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Facile Software Authors: Giacalone, A., Mishra, P., Prasad, S Cited in: 22 Publications (1990–2009) Related Software: Pict; ML; JoCaml; PiDuce; KLAIM; XPath; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Irdis Software Authors: – Cited in: 22 Publications (2011–2021) Related Software: Idris; Coq; Agda; Haskell; GitHub; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)
PAG Software Authors: Martin, Florian Cited in: 20 Publications (1996–2018) Related Software: NINJA; MPI/MPICH; PHiPAC; PLAPACK; FFTW; BLAS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
F* Software Authors: Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean Cited in: 20 Publications (2011–2020) Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Lore Software Authors: McHugh J, Abiteboul S, Goldman R, Quass D, Widom J. Cited in: 6 Publications (2002–2010) Related Software: XPath; XQuery; ViST; PRIX; Lorel; TIMBER; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TXL Software Authors: Cordy, James R. Cited in: 13 Publications (2005–2022) Related Software: Stratego; ASF+SDF; JastAdd; ANTLR; Haskell; Tom; … Main Fields: Computer science (68-XX)
Delphin Software Authors: Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A. Cited in: 17 Publications (2003–2020) Related Software: Twelf; Coq; Beluga; Abella; Isabelle/HOL; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Fudgets Software Authors: Carlsson, M., Hallgren, T. Cited in: 17 Publications (1993–2022) Related Software: Haskell; CLEAN; Nominal Isabelle; FranTk; CoCaml; Lucid; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Hood Software Authors: A. Gill Cited in: 16 Publications (2001–2012) Related Software: Hat; Freja; Haskell; TOY; Web-TLR; Maude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Plastic Software Authors: Paul Callaghan Cited in: 17 Publications (2000–2014) Related Software: Coq; LEGO; ALF; FraCaS; GF; Nuprl; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HasCasl Software Authors: Schr"oder, Lutz; Mossakowski, Till Cited in: 17 Publications (2002–2015) Related Software: CASL; Haskell; Hets; Maude; F#; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Sisal Software Authors: James McGraw et al. Cited in: 13 Publications (1988–2010) Related Software: Cilk; Eden; Lucid; Haskell; Miranda; CapoOne; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
F# Software Authors: Don Syme, Microsoft Research; et al. Cited in: 14 Publications (2007–2019) Related Software: Haskell; Python; HasCasl; qasm2circ; qasm-tools; LLVM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Orc Software Authors: Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev Cited in: 14 Publications (2009–2015) Related Software: COWS; Maude; Jolie; Quicksort; Dist-Orc; BPEL2oWFN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Lilac Software Authors: Ian Mackie Cited in: 14 Publications (1993–2021) Related Software: GitHub; Lincx; Agda; Lolli; ML; Automath; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Sparkle Software Authors: de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus Cited in: 12 Publications (2002–2013) Related Software: CLEAN; Haskell; Coq; EditorArrow; PVS; Isabelle/HOL; … Main Fields: Computer science (68-XX)
CertiCoq Software Authors: Anand, A., Appel, A., Morrisett, G., Paraskevopoulou, Z., Pollack, R., Belanger, O.S., Sozeau, M., Weaver, M. Cited in: 13 Publications (2017–2022) Related Software: Coq; CakeML; OEuf; Isabelle/HOL; HOL; Fiat; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
EasyCheck Software Authors: Jan Christiansen; Sebastian Fischer Cited in: 10 Publications (2009–2020) Related Software: QuickCheck; Curry; SmallCheck; Haskell; Church; PAKCS; … Main Fields: Computer science (68-XX)
FACTORIE Software Authors: Andrew McCallum, Karl Schultz, Sameer Singh Cited in: 11 Publications (2011–2020) Related Software: Church; IBAL; ProbLog; BLOG; Haskell; Infer.NET; … Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
GUM Software Authors: Trinder, P.W., Hammond, K., Mattson, J.S. Jr., Partridge, A.S., Peyton Jones, S.L. Cited in: 12 Publications (1997–2016) Related Software: Haskell; Eden; GHC; Multilisp; Symgrid; MapReduce; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Lava Software Authors: Bjesse, P., Claessen, K., Sheeran, M., Singh, S. Cited in: 11 Publications (2002–2018) Related Software: Haskell; muFP; Coquet; Coq; Feldspar; CUDA; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Leon Software Authors: Régis Blanc; Viktor Kuncak; Etienne Kneuss; Philippe Suter Cited in: 12 Publications (2014–2022) Related Software: CVC4; Dafny; z3; Isabelle/HOL; SMT-LIB; Why3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NESL Software Authors: Blelloch, Guy E. Cited in: 13 Publications (1994–2017) Related Software: Haskell; MapReduce; GHC; CUDA; MGS; SETL; … Main Fields: General algebraic systems (08-XX); Computer science (68-XX)
TIL Software Authors: Tarditi, David; Stone, Chris; Morrisett, Greg; Harper, Robert; Cheng, Perry Cited in: 11 Publications (1997–2008) Related Software: Haskell; TALx86; ML; GHC; Coq; LEGO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HTab Software Authors: Guillaume Hoffmann; Carlos Areces Cited in: 11 Publications (2009–2020) Related Software: Spartacus; HyLoTab; HGen; HyLoRes; FaCT++; Sibyl; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Fran Software Authors: Elliott, Conal; Hudak, Paul Cited in: 8 Publications (1997–2020) Related Software: Haskell; Esterel; Yampa; TBAG; Copilot; seL4; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Numerical analysis (65-XX)
GCCA Software Authors: Anil K. Seth Cited in: 9 Publications (2011–2021) Related Software: MVGC; Brain Connectivity Toolbox; BSMART; EEGLAB; MuTE; QUIC; … Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
OOMMF Software Authors: Mike Donahue; Don Porter Cited in: 8 Publications (2011–2021) Related Software: Python; MuMax; Finmag; BEM++; NGSolve; Commics; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Athena Software Authors: Konstantine Arkoudas Cited in: 10 Publications (2004–2017) Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
FoCaLiZe Software Authors: INRIA; Pessaux, F., Weia, P., Doligez, D. Cited in: 8 Publications (2015–2021) Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HACL* Software Authors: Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche Cited in: 10 Publications (2018–2023) Related Software: Toolchain; Why3; Coq; WhyMP; WhyML; Isabelle/HOL; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
KiCS2 Software Authors: Braßel, Bernd; Hanus, Michael; Peemöller, Björn; Reck, Fabian Cited in: 7 Publications (2009–2020) Related Software: Curry; Haskell; PAKCS; Church; EasyCheck; CHR.js; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
Pochoir Software Authors: Tang, Y., Chowdhury, R.A., Kuszmaul, B.C., Luk, C.K., Leiserson, C.E. Cited in: 10 Publications (2013–2019) Related Software: PATUS; Mint; CUDA; STREAM benchmark; STREAM; Coq; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
VeriFun Software Authors: Christoph Walther; Stephan Schweitzer Cited in: 10 Publications (2005–2017) Related Software: ACL2; Haskell; Coq; Isabelle/HOL; SPIKE; AProVE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
Yampa Software Authors: Henrik Nilsson, Antony Courtney Cited in: 9 Publications (2003–2020) Related Software: Haskell; Fran; Esterel; GHC; Copilot; seL4; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Caml Software Authors: INRIA Cited in: 9 Publications (1993–2021) Related Software: OCaml; ACL2; Python; IDV; IMPS; Panoptes; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)
Cubical agda Software Authors: Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas Cited in: 9 Publications (2021–2022) Related Software: cubicaltt; GitHub; RedPRL; Coq; MetaPRL; LEGO; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
Theseus Software Authors: James, R.P., Sabry, A. Cited in: 8 Publications (2015–2020) Related Software: LRinv; Matita; Eiffel; BETA Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Agapia Software Authors: Ştefănescu, Gheorghe; Tătărâm, Monica Cited in: 6 Publications (2008–2020) Related Software: TensorFlow; Chord; Rodin; Lucid; KOOL; K Prover; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Assimulo Software Authors: Andersson, C., Führer, C., Åkesson, J. Cited in: 5 Publications (2015–2022) Related Software: Python; F2PY; SUNDIALS; PyBOX; DASSL; Matlab; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-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)
Psi4 Software Authors: J. M. Turney et al. Cited in: 2 Publications (2014–2015) Related Software: PySCF; Python; SciPy; qHiPSTER; ProjectQ; OpenFermion; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
pyunicorn Software Authors: Jonathan F. Donges, Jobst Heitzig, Boyan Beronov, Marc Wiedermann, Jakob Runge, Qing Yi Feng, Liubov Tupikina, Veronika Stolbova, Reik V. Donner, Norbert Marwan, Henk A. Dijkstra, J. Kurths Cited in: 6 Publications (2015–2021) Related Software: SciPy; TISEAN; igraph; Python; NetworkX; NumPy; … Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)
Ur/Web Software Authors: Chlipala, A. Cited in: 7 Publications (2016–2021) Related Software: Links; CoSMed; FlowFox; CAVA LTL Modelchecker; Jif; seL4; … Main Fields: Computer science (68-XX)
Density Compiler Software Authors: Manuel Eberl, Johannes Hölzl, Tobias Nipkow Cited in: 7 Publications (2015–2022) Related Software: Isabelle/HOL; HOL; Archive Formal Proofs; Isabelle; Lifting; Transfer; … Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
EVES Software Authors: Sentot Kromodimoeljo; Bill Pase; Mark Saaltink; Dan Craigen; Irwin Meisels Cited in: 7 Publications (1993–2006) Related Software: IMPS; PVS; HOL; NQTHM; CVC; Analytica; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Frenetic Software Authors: Foster, N., Harrison, R., Freedman, M.J., Monsanto, C., Rexford, J., Story, A., Walker, D. Cited in: 7 Publications (2011–2021) Related Software: NetKAT; Nettle; VeriCon; VeriFlow; SDN-SafeCheck; AProVE; … Main Fields: Computer science (68-XX)
GRASShopper Software Authors: R. Piskac, T. Wies, and D. Zufferey Cited in: 6 Publications (2015–2021) Related Software: z3; Slide; Infer; HIP; CVC4; HACL*; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
iTasks Software Authors: Plasmeijer, Rinus; Achten, Peter; Koopman, Pieter Cited in: 5 Publications (2008–2013) Related Software: CLEAN; Miranda; Haskell; ML; GUM; Links; … Main Fields: Computer science (68-XX)
jacobi2.0 Software Authors: Kröger, Martin; Hütter, Markus; Öttinger, Hans Christian Cited in: 7 Publications (2001–2021) Related Software: Mathematica; geomstats; SymPy Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)
LNT2LOTOS Software Authors: David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Frédéric Lang, Christine McKinty, Vincent Powazny, Wendelin Serwe, Gideon Smeding Cited in: 7 Publications (2012–2022) Related Software: CADP; SPIN; Exp.Open; E-LOTOS; XTL; LOTOS; … Main Fields: Computer science (68-XX)
Lutess Software Authors: du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N. Cited in: 5 Publications (1999–2012) Related Software: ATGen; GATeL; Circus; Reo; Maude; Esterel; … Main Fields: Computer science (68-XX)
MSO_Regex_Equivalence Software Authors: Dmitriy Traytel; Tobias Nipkow Cited in: 7 Publications (2013–2018) Related Software: Presburger Automata; Myhill-Nerode; Isabelle; Regex_Equivalence; Finite Automata HF; Hereditarily Finite Sets; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NeXeme Software Authors: Moreau, Luc; De Roure, David; Foster, Ian Cited in: 6 Publications (1997–2007) Related Software: Coq; Haskell; PLAN; GC; GUM Main Fields: Computer science (68-XX)
NLambda Software Authors: Bartek Klin; Michał Szynwelski Cited in: 7 Publications (2016–2022) Related Software: LOIS; z3; Haskell; SETL; Sigma* Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PolyLib Software Authors: Jansson, P., Jeuring, J. Cited in: 7 Publications (2004–2009) Related Software: Haskell; Polyp; QuickCheck; RepLib; Coq; Racer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
reFLect Software Authors: Grundy, Jim; Melham, Tom; O’Leary, John Cited in: 6 Publications (2006–2018) Related Software: Coq; ML; Agda; HOL Light; HOL; HOL Light QE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TiML Software Authors: Wang, P., Wang, D., Chlipala, A. Cited in: 7 Publications (2018–2022) Related Software: TcT; z3; Separation Logic; ACE; OptiMathSAT; Amortized Complexity; … Main Fields: Computer science (68-XX)
WSOL Software Authors: Tosic, Vladimir; Patel, Kruti; Pagurek, Bernard Cited in: 3 Publications (2002–2003) Related Software: Jess; SNAP; Protege; UDDI Main Fields: Computer science (68-XX)