×

Found 400 Software Packages (Results 1–100)

HOL

Software Authors:   Gordon, Michael J. C.
Referenced in: 575 Publications (1985–2022)
Related Software: Isabelle; Isabelle/HOL; ML; Coq; HOL Light; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

HOL Light

Software Authors:   Harrison, John
Referenced in: 301 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

CASL

Software Authors:   Mossakowski, Till
Referenced in: 170 Publications (1999–2021)
Related Software: CafeOBJ; Hets; Maude; OBJ3; CoFI; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

PROST

Software Authors:   Renardy, Yuriko; Renardy, Michael
Referenced in: 168 Publications (2002–2022)
Related Software: Gerris; SLIC; KRAKEN; VOFTools; OpenFOAM; NASA-VOF2D; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Referenced in: 156 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

LCF

Software Authors:   Milner, Robin
Referenced in: 155 Publications (1972–2022)
Related Software: Coq; ML; HOL; Isabelle; Nuprl; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

Sledgehammer

Software Authors:   Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
Referenced in: 141 Publications (2010–2022)
Related Software: Isabelle/HOL; Isabelle; z3; Coq; TPTP; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

LISP

Software Authors:   McCarthy, John
Referenced in: 111 Publications (1960–2020)
Related Software: ACL2; NQTHM; Haskell; ML; Coq; REDUCE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

ICALAB

Software Authors:   A. Cichocki, S. Amari, K. Siwek, T. Tanaka , Anh Huy Phan et al.
Referenced in: 89 Publications (2005–2022)
Related Software: FastICA; Daisy; R; Matlab; JADE; ICS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

LEGO

Software Authors:   Luo, Z., Pollack, R.
Referenced in: 106 Publications (1991–2021)
Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

GHC

Software Authors:   Jones, Simon Peyton; Marlow, Simon
Referenced in: 96 Publications (1992–2021)
Related Software: Haskell; ML; OCaml; Coq; Maude; Eden; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

DiffSharp

Software Authors:   Baydin, A.G., Pearlmutter, B.A.
Referenced in: 95 Publications (2016–2022)
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; AlexNet; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Referenced in: 75 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; PVS; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Pict

Software Authors:   Pierce, Benjamin C.; Turner, David N
Referenced in: 69 Publications (1998–2022)
Related Software: JoCaml; Maude; Oz; Erlang; MWB; Lolli; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Coq/SSReflect

Software Authors:   Microsoft Research-Inria Joint Center
Referenced in: 71 Publications (2008–2021)
Related Software: Coq; Isabelle/HOL; Mizar; ACL2; Isabelle; Flyspeck; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

Nitpick

Software Authors:   Blanchette, Jasmin Christian; Nipkow, Tobias
Referenced in: 64 Publications (1999–2022)
Related Software: Isabelle/HOL; Sledgehammer; Isabelle; Coq; TPTP; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

ProofPower

Software Authors:   Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd
Referenced in: 52 Publications (2001–2020)
Related Software: Circus; Z; HOL; Isabelle/HOL; HOL Light; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Real functions (26-XX)

Satallax

Software Authors:   Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller
Referenced in: 57 Publications (2010–2022)
Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; VAMPIRE; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

FDL3DI

Software Authors:   Gaitonde, Datta V.; Visbal, Miguel R.
Referenced in: 56 Publications (2001–2022)
Related Software: XFOIL; MPI; SOLA; HE-E1GODF; HIGAN; DGM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

FronTier

Software Authors:   J. Du, B. Fix, J. Glimm, X. Jia, X. Li, Y. Li, L. Wu
Referenced in: 54 Publications (2005–2022)
Related Software: FIVER; Gerris; OpenFOAM; Matlab; El-Topo; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Ciao

Software Authors:   Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.
Referenced in: 50 Publications (1999–2021)
Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; RAHFT; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Referenced in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

HiLog

Software Authors:   Weidong Chen; Michael Kifer; David S. Warren
Referenced in: 47 Publications (1993–2021)
Related Software: Hiord; swrl; Smodels; XSB; Haskell; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LEO-II

Software Authors:   Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A
Referenced in: 50 Publications (2008–2020)
Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; TPS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

GHC

Software Authors:   Ueda, Kazunori
Referenced 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)

CirCut

Software Authors:   Burer, Samuel; Monteiro, Renato D. C.; Zhang, Yin
Referenced in: 41 Publications (1990–2017)
Related Software: Outward rotations; SDPLR; Tabu search; COL; SeDuMi; SDPpack; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

dcc

Software Authors:   Naumann, Uwe
Referenced in: 40 Publications (2012–2021)
Related Software: ADOL-C; TAPENADE; SUNDIALS; FEniCS; dco/c++; revolve; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ROMS

Software Authors:   Haidvogel, D. B.; Arango, H.; Budgell, W. P.; Cornuelle, B. D.; Curchitser, E.; Di Lorenzo, E.; Fennel, K.; Geyer, W. R.; Hermann, A. J.; Lanerolle, L.; Levin, J.; McWilliams, J. C.; Miller, A. J.; Moore, A. M.; Powell, T. M.; Shchepetkin, A. F.; Sherwood, C. R.; Signell, R. P.; Warner, J. C.; Wilkin, J.
Referenced in: 39 Publications (2008–2022)
Related Software: EnKF; MPAS-Ocean; MIKE; SWAN; Exshall; CUDA; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CHARMS

Software Authors:   Krysl, P.
Referenced in: 34 Publications (2002–2020)
Related Software: ISOGAT; ABAQUS; COMSOL; Pcp2Nurb; NLopt; GeoPDEs; …
Main Fields: Combinatorics (05-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Referenced 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)

AIR

Software Authors:   C. Anastasiou, A. Lazopoulos
Referenced in: 33 Publications (2010–2021)
Related Software: Reduze; FIRE; LiteRed; FORM; FIRE5; FIESTA; …
Main Fields: Algebraic geometry (14-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

Polyp

Software Authors:   Jansson, P.; Jeuring, J.
Referenced 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)

LIEPDE

Software Authors:   Thomas Wolf
Referenced in: 32 Publications (1993–2019)
Related Software: CRACK; SYMMGRP; ApplySym; GeM; ConLaw; LIE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

OMEGA

Software Authors:   Kerber, Manfred; theoremprover-museum; Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.
Referenced in: 32 Publications (1997–2016)
Related Software: Coq; TRAMP; OTTER; TPTP; Gandalf; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

iRSpot-TNCPseAAC

Software Authors:   Wang-Ren Qiu, Xuan Xiao, Kuo-Chen Chou
Referenced in: 31 Publications (2014–2019)
Related Software: iRSpot-PseDNC; iNuc-PseKNC; iSNO-PseAAC; iNuc-PhysChem; iPro54-PseKNC; PseKNC; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

SINDy

Software Authors:   Loiseau, Jean-Christophe; Brunton, Steven L.
Referenced in: 31 Publications (2017–2022)
Related Software: redbKIT; Nek5000; PDE-Net; VAMPnets; Adam; Loewner; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

BIONJ

Software Authors:   Hoa Sien Cuong; Olivier Gascuel; Vincent Lefort
Referenced in: 29 Publications (1999–2019)
Related Software: PHYLIP; fastDNAml; MrBayes; Seq-Gen; MUSCLE; PAUP*; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

htucker

Software Authors:   D. Kressner, C. Tobler
Referenced in: 30 Publications (2011–2022)
Related Software: TensorToolbox; LOBPCG; Matlab; TT Toolbox; Algorithm 862; Tensorlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

IsaPlanner

Software Authors:   Lucas Dixon; Moa Johansson
Referenced in: 29 Publications (2000–2021)
Related Software: Isabelle; Lambda-Clam; Isabelle/HOL; Coq; Isar; Theorema; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lifting

Software Authors:   Brian Huffman, Ondřej Kunčar
Referenced 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
Referenced 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)

XSummer

Software Authors:   Moch, S.; Uwer, P.
Referenced in: 30 Publications (2006–2021)
Related Software: Nestedsums; FORM; Hypexp; AMBRE; HarmonicSums; Axodraw; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Sequences, series, summability (40-XX)

LOOP

Software Authors:   van den Berg, Joachim; Jacobs, Bart
Referenced in: 24 Publications (2001–2012)
Related Software: JML; PVS; KRAKATOA; ESC/Java; Eiffel; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Beluga

Software Authors:   Brigitte Pientka; Joshua Dunfield
Referenced in: 26 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)

CCSL

Software Authors:   Jan Rothe, Bart Jacobs, and Hendrik Tews
Referenced 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)

HOL/SPIN

Software Authors:   Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
Referenced in: 22 Publications (2000–2017)
Related Software: SPIN; Uppaal; AODV; LOTOS; Rodin; Timed Rebeca; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Lambda-Clam

Software Authors:   J. Richardson, A. Smaill, I. Green
Referenced in: 24 Publications (1997–2012)
Related Software: IsaPlanner; Nuprl; Isabelle/HOL; Isabelle; Coq; Isar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Bedwyr

Software Authors:   David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
Referenced in: 21 Publications (2007–2022)
Related Software: Twelf; Abella; Nominal Isabelle; HYBRID; PoplMark; Teyjus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

HOL-OCL

Software Authors:   Brucker, Achim D.; Wolff, Burkhart
Referenced in: 13 Publications (2002–2016)
Related Software: ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

parDG

Software Authors:   Diehl, Dennis
Referenced in: 21 Publications (2007–2022)
Related Software: HE-E1GODF; PETSc; ParMETIS; PETSc/TS; NLIGA; PetIGA; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SDECAY

Software Authors:   M. Muhlleitner, A. Djouadi, Y. Mambrini
Referenced in: 20 Publications (2007–2021)
Related Software: SOFTSUSY; PYTHIA8; PROSPINO; SuSpect; micrOMEGAs; MicrOMEGAs 2.0; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Quantum theory (81-XX)

Snow

Software Authors:   Tierney, Luke; Rossini, A.J.; Li, Na
Referenced in: 21 Publications (2006–2022)
Related Software: R; snow; Rcpp; Rmpi; snowfall; RngSteam; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ForwardDiff

Software Authors:   Jarrett Revels, Miles Lubin, Theodore Papamarkou
Referenced in: 13 Publications (2017–2022)
Related Software: Julia; PyTorch; TensorFlow; Python; Stan; ADiGator; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

HYBRID

Software Authors:   Hybrid Group
Referenced in: 18 Publications (2012–2021)
Related Software: Twelf; Coq; Abella; PoplMark; Nominal Isabelle; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Leo

Software Authors:   Benzmüller, C., Kohlhase, M.
Referenced in: 19 Publications (1998–2022)
Related Software: TPS; TPTP; Isabelle/HOL; Satallax; VAMPIRE; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Delphin

Software Authors:   Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A.
Referenced 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)

PICARO

Software Authors:   Piret, G., Roche, T., Carlet, C.
Referenced in: 17 Publications (2013–2022)
Related Software: PRESENT; SIMON; PRINCE; SIMECK; SPECK; Piccolo; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX)

Plastic

Software Authors:   Paul Callaghan
Referenced 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)

Predator

Software Authors:   Dudka, Kamil; Müller, Petr; Peringer, Petr; Vojnar, Tomáš
Referenced in: 14 Publications (2012–2021)
Related Software: CPAchecker; CBMC; Slide; BLAST; Infer; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TXL

Software Authors:   Cordy, James R.
Referenced in: 12 Publications (2005–2015)
Related Software: Stratego; ASF+SDF; ANTLR; JastAdd; Maude; RACR; …
Main Fields: Computer science (68-XX)

xPand

Software Authors:   Pitrou, Cyril; Roy, Xavier; Umeh, Obinna
Referenced in: 17 Publications (2013–2022)
Related Software: xPert; xPerm; xAct; Cadabra; xTras; Spinors; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

HasCasl

Software Authors:   Schr"oder, Lutz; Mossakowski, Till
Referenced 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)

OpenTheory

Software Authors:   Hurd, J.
Referenced in: 16 Publications (2012–2021)
Related Software: HOL Light; HOL; Isabelle/HOL; Isabelle; Coq; ProofPower; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

stochastic

Software Authors:   Cyganowski, S.
Referenced in: 16 Publications (1996–2021)
Related Software: Maple; Matlab; Python; SDELab; MATLAB ODE suite; ode23s; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Teyjus

Software Authors:   Nadathur, G., Mitchell, D.J.
Referenced in: 17 Publications (2001–2022)
Related Software: Twelf; Abella; Isabelle/HOL; Coq; Beluga; ELPI; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GridLab

Software Authors:   Seidel, Ed; Allen, Gabrielle; Merzky, André; Nabrzyski, Jarek
Referenced in: 10 Publications (2002–2010)
Related Software: Globus Toolkit; GrADS; Java CoG Kit; Condor-G; Taverna; ZetaSAT; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

HODMD

Software Authors:   Soledad Le Clainche; José M. Vega
Referenced in: 15 Publications (2018–2022)
Related Software: GitHub; redbKIT; Loewner; VAMPnets; PDE-Net; rsvd; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

Leo-III

Software Authors:   Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph
Referenced in: 16 Publications (2015–2021)
Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; Sledgehammer; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

METEOR

Software Authors:   O. L. Astrachan; D. W. Loveland
Referenced in: 11 Publications (1991–2004)
Related Software: SETHEO; OTTER; PARTHEO; PARTHENON; RRL; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GENDA

Software Authors:   Peter Kunkel, Volker Mehrmann, Ingo Seufer
Referenced in: 15 Publications (2004–2019)
Related Software: GELDA; Matlab; NewtonLib; DASSL; RODAS; GPOPS; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Viper

Software Authors:   Peter Müller, Malte Schwerhoff , Alexander J. Summers
Referenced in: 15 Publications (2016–2022)
Related Software: VeriFast; z3; Boogie; Dafny; Frama-C; VerCors; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

ASTRO-DF

Software Authors:   Shashaani, Sara; Hashemi, Fatemeh S.; Pasupathy, Raghu
Referenced in: 14 Publications (2018–2022)
Related Software: UOBYQA; DFO; ORBIT; OrthoMADS; NOMAD; NEWUOA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

HOPLA

Software Authors:   Nygaard, Mikkel; Winskel, Glynn
Referenced in: 14 Publications (2002–2014)
Related Software: New-HOPLA
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

R/qtl

Software Authors:   Karl W Broman, Hao Wu, Gary Churchill, Śaunak Sen
Referenced in: 11 Publications (2006–2022)
Related Software: R; igraph; PLINK; eqtl; qtlnet; AMIDST; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX)

THF0

Software Authors:   Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
Referenced in: 14 Publications (2008–2019)
Related Software: TPTP; E Theorem Prover; Isabelle/HOL; LEO-II; Satallax; TPS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VFGEN

Software Authors:   Weckesser, Warren
Referenced in: 14 Publications (2008–2020)
Related Software: pythNon; DAETS; SCHOL; Maple; dde23; HomCont; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

HIGLU

Software Authors:   M. Spira
Referenced in: 13 Publications (2006–2021)
Related Software: SusHi; Herwig++; MATAD; HDECAY; POWHEG BOX; VBFNLO; …
Main Fields: General and overarching topics; collections (00-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

Lava

Software Authors:   Bjesse, P., Claessen, K., Sheeran, M., Singh, S.
Referenced 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)

MoCHi

Software Authors:   Sato, Ryosuke; Kobayashi, Naoki; Hiroshi Unno
Referenced in: 13 Publications (2015–2021)
Related Software: z3; GitHub; Dafny; JayHorn; CoVaC; Spacer; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

SafeDpi

Software Authors:   Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
Referenced in: 13 Publications (2004–2011)
Related Software: JoCaml; MJ; Jif; Featherweight Java; Cyclone; XPath; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SMIP-HOM

Software Authors:   Pattyn, F.; Perichon, L.; Aschwanden, A.; Breuer, B.; de Smedt, B.; Gagliardini, O.; Gudmundsson, G.H.; Hindmarsh, R.; Hubbard, A.; Johnson, J.V.; Kleiner, T.; Konovalov, Y.; Martin, C.; Payne, A.J.; Pollard, D.; Price, S.; Rückamp, M.; Saito, F.; Souček, O.; Sugiyama, S.; Zwinger, T.
Referenced in: 13 Publications (2011–2022)
Related Software: FEniCS; Elmer/Ice; ISSM; PETSc; Albany/FELIX; SyFi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

WeightedPortTest

Software Authors:   Fisher, Thomas J.; Gallagher, Colin M.
Referenced in: 13 Publications (2012–2021)
Related Software: Rugarch; R; fGarch; RMetrics; portes; astsa; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Diamant toolbox

Software Authors:   Koutsawa, Yao; Charpentier, Isabelle; Daya, El Mostafa; Cherkaoui, Mohammed
Referenced in: 12 Publications (2008–2019)
Related Software: ADOL-C; Rapsodia; AD01; Cosy; ADiMat; MAD; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)

MathLink

Software Authors:   wolfram.com
Referenced in: 12 Publications (1995–2011)
Related Software: Mathematica; C-XSC; ParLinSys; filib++; K2K; LaunchSlave; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Rapsodia

Software Authors:   Charpentier, I.; Utke, J.
Referenced in: 12 Publications (2008–2020)
Related Software: ADOL-C; Cosy; AD01; Diamant toolbox; OpenAD/F; TAPENADE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

BitBlaze

Software Authors:   D.X. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M.G. Kang, Z. Liang, J. Newsome, P. Poosankam, P. Saxena
Referenced in: 6 Publications (2012–2019)
Related Software: BAP; Dytan; Java PathFinder; DART; VMHunt; NISLVMP; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Catfish

Software Authors:   Cavaglià, M.; Godang, R.; Cremaldi, L.; Summers, D.
Referenced in: 11 Publications (1997–2011)
Related Software: CHARYBDIS2; BlackMax; PYTHIA8; PYTHIA
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

CPsuperH

Software Authors:   J.S. Lee; A. Pilaftsis; M. Carena; S.Y. Choi; M. Drees; J. Ellis; C.E.M. Wagner
Referenced in: 10 Publications (2007–2013)
Related Software: SOFTSUSY; SuSpect; FeynHiggs; ISAJet; SLHAplus; CalcHEP; …
Main Fields: Optics, electromagnetic theory (78-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

OreSys

Software Authors:   Stefan Gerhold
Referenced in: 11 Publications (2005–2020)
Related Software: HarmonicSums; Reduze; FORM; Axodraw; AMBRE; MATAD; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Approximations and expansions (41-XX)

Venture

Software Authors:   Vikash Mansinghka, Daniel Selsam, Yura Perov
Referenced in: 8 Publications (2016–2018)
Related Software: Church; Stan; BUGS; Figaro; Hakaru; JAGS; …
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Athena

Software Authors:   Konstantine Arkoudas
Referenced 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)

Charge!

Software Authors:   Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars
Referenced 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)

Cross

Software Authors:   Zhang, Anru
Referenced in: 10 Publications (2012–2022)
Related Software: Wirtinger Flow; Z; CLT; symrcm; OEIS; Petruchio; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)

DAGMan

Software Authors:   HTCondor
Referenced in: 3 Publications (2006–2012)
Related Software: GridFlow; Globus Toolkit; Pegasus; ASKALON; MM5; Nimrod/G; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

MARS

Software Authors:   Zhang, Qinghai; Fogelson, Aaron
Referenced in: 10 Publications (2014–2022)
Related Software: GePUP; Matlab; Gerris; PROST; SADoRe; AlexNet; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

MiniAgda

Software Authors:   Abel, A.
Referenced in: 10 Publications (2011–2021)
Related Software: Coq; Agda; GitHub; Paco; Isabelle; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

STAGS

Software Authors:   C.C. Rankin, F.A. Brogan, W.A. Loden, H.D. Cabiness
Referenced in: 10 Publications (1993–2017)
Related Software: USERMAT; ABAQUS/Standard; ADS; VICONOPT; CONMIN; PANDA
Main Fields: Mechanics of deformable solids (74-XX)

SusHi

Software Authors:   Harlander, Robert V.; Liebler, Stefan; Mantler, Hendrik
Referenced in: 10 Publications (2013–2022)
Related Software: HIGLU; HDECAY; SARAH; HiggsBounds; CHAPLIN; Herwig++; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

SUSY_FLAVOR

Software Authors:   Rosiek, J.; Chankowski, P.H.; Dedes, A.; Jäger, S.; Tanedo, P.
Referenced in: 7 Publications (2010–2017)
Related Software: Spheno; SuperLFV; micrOMEGAs; Mathematica; SUSEFLAV; SusyBSG; …
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)

TRACER

Software Authors:   Matthias Jamin; Markus E. Lautenbacher
Referenced in: 9 Publications (1995–2020)
Related Software: Mathematica; FORM; FeynCalc; FeynArts; HEPMath; CompHep; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)