×

Found 422 Software Packages (Results 1–100)

Maple

Software Authors:   Waterloo Maple Inc.
Referenced in: 5,177 Publications (1983–2023)
Related Software: Mathematica; Matlab; MACSYMA; Magma; SINGULAR; REDUCE; …
Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

GAP

Software Authors:   GAP Group
Referenced in: 3,228 Publications (1990–2023)
Related Software: Magma; SageMath; ATLAS Group Representations; CHEVIE; nauty; GRAPE; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

Python

Software Authors:   Guido van Rossum
Referenced in: 1,028 Publications (1991–2023)
Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ML

Software Authors:   Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Referenced in: 484 Publications (1978–2021)
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)

Julia

Software Authors:   Bezanson J, Karpinski S, Shah VB, Edelman A
Referenced in: 394 Publications (2014–2022)
Related Software: GitHub; JuMP; DifferentialEquations.jl; R; Gurobi; Python; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Automath

Software Authors:   N. G. de Bruijn; Wiedijk, Freek; Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob
Referenced in: 411 Publications (1970–2022)
Related Software: Coq; Nuprl; ML; Isabelle; LEGO; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

OCaml

Software Authors:   INRIA; X. Leroy, D. Rémy, J. Vouillon, D. Doligez
Referenced in: 260 Publications (1998–2022)
Related Software: Coq; Haskell; Isabelle/HOL; ML; HOL; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

CHEVIE

Software Authors:   Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz
Referenced in: 238 Publications (1994–2022)
Related Software: GAP; Magma; Maple; SageMath; Coxeter; SINGULAR; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

Agda

Software Authors:   Ulf Norell
Referenced in: 206 Publications (1999–2022)
Related Software: Coq; Haskell; HOL Light; Isabelle/HOL; Nuprl; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

AXIOM

Software Authors:   Tim Daly, et al.; http://wiki.axiom-developer.org/axiom-website/community.html
Referenced in: 171 Publications (1992–2022)
Related Software: Maple; Mathematica; REDUCE; MACSYMA; Magma; SINGULAR; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

Twelf

Software Authors:   Twelf Project; Frank Pfenning; Carsten Schürmann
Referenced in: 167 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; Abella; Isabelle; Nuprl; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-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)

Miranda

Software Authors:   Turner, D.A.
Referenced 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)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Referenced in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-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)

Featherweight Java

Software Authors:   Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip
Referenced in: 86 Publications (2001–2021)
Related Software: ML; MJ; JML; Scala; Eiffel; Creol; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

SAS/IML

Software Authors:   SAS Institute Inc
Referenced in: 54 Publications (1988–2019)
Related Software: SAS; SAS/STAT; R; MIXED; SPSS; POWERLIB; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ILOG SCHEDULE

Software Authors:   Le Pape, C
Referenced in: 74 Publications (1996–2022)
Related Software: CPLEX; JOBSHOP; CHIP; Tabu search; CP Optimizer; PSPLIB; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BoosTexter

Software Authors:   Schapire, Robert E.; Singer, Yoram
Referenced in: 61 Publications (1999–2021)
Related Software: ML-KNN; MULAN; AdaBoost.MH; UCI-ml; C4.5; RCV1; …
Main Fields: Statistics (62-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)

DIMSYM

Software Authors:   James Sherring; Geoff Prince; Michael Jerie
Referenced in: 74 Publications (1993–2021)
Related Software: LIE; REDUCE; SYMMGRP; SPDE; CRACK; LIEPDE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-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)

KLAIM

Software Authors:   De Nicola, R.; Ferrari, G.L.; Pugliese, R.
Referenced in: 62 Publications (2000–2021)
Related Software: Linda; Klava; LIME; SCEL; Maude; SLMC; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

REVE

Software Authors:   Pierre Lescanne
Referenced in: 67 Publications (1984–2018)
Related Software: RRL; AProVE; Tyrolean; CiME; Coq; NQTHM; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

Mincer

Software Authors:   S.G. Gorishny; S.A. Larin; L.R. Surguladze; F.V. Tkachov
Referenced in: 68 Publications (1991–2021)
Related Software: FORM; Reduze; MATAD; Axodraw; Forcer; LiteRed; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Computer science (68-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)

CLEAN

Software Authors:   Plasmeijer, M.J.
Referenced 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)

DENFIS

Software Authors:   Kasabov NK, Song Q
Referenced in: 27 Publications (2004–2020)
Related Software: ANFIS; ElemStatLearn; UCI-ml; JStatCom; MPI; GenSoFNN; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

Lean

Software Authors:   Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
Referenced in: 53 Publications (2015–2022)
Related Software: Coq; Isabelle/HOL; Agda; HOL Light; Mizar; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

CakeML

Software Authors:   Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Owens, Scott
Referenced in: 53 Publications (2014–2021)
Related Software: Isabelle/HOL; Coq; HOL; HOL Light; seL4; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Abella

Software Authors:   Andrew Gacek
Referenced in: 50 Publications (2008–2022)
Related Software: Twelf; Beluga; Coq; Isabelle/HOL; Bedwyr; PoplMark; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-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)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Referenced 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)

PcGive

Software Authors:   Doornik JA, Hendry DF
Referenced in: 50 Publications (1998–2020)
Related Software: PcGets; Ox; Stata; R; EViews; SHAZAM; …
Main Fields: Difference and functional equations (39-XX); Statistics (62-XX); Numerical analysis (65-XX)

Freshml

Software Authors:   Shinwell, M.R., Pitts, A.M., Gabbay, M.
Referenced in: 48 Publications (2003–2021)
Related Software: Coq; Nominal Isabelle; Twelf; Isabelle/HOL; OCaml; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

MiniML

Software Authors:   Davies, Rowan; Pfenning, Frank
Referenced in: 49 Publications (2000–2021)
Related Software: Coq; ML; Pesca; Haskell; Automath; cubicaltt; …
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
Referenced 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)

K Prover

Software Authors:   Roşu, Grigore et.al
Referenced in: 46 Publications (2007–2022)
Related Software: Maude; K tool; z3; JavaFAN; MMT; K-Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Ninf-G/MPI

Software Authors:   Sakurai, Tetsuya; Kodaki, Yoshihisa; Umeda, Hiroaki; Inadomi, Yuichi; Watanabe, Toshio; Nagashima, Umpei
Referenced in: 38 Publications (2001–2016)
Related Software: NetSolve; OmniRPC; Globus Toolkit; Nimrod/G; Diet; GridSolve; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

TALx86

Software Authors:   Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic
Referenced in: 40 Publications (1998–2019)
Related Software: Coq; ML; Haskell; TIL; OCaml; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mathemagix

Software Authors:   Joris van der Hoeven, Grégoire Lecerf, Bernard Mourrain
Referenced in: 41 Publications (2006–2021)
Related Software: gmp; Maple; Kronecker; SageMath; FLINT; MPFR; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

Chebfun2

Software Authors:   Townsend, Alex; Trefethen, Lloyd N.
Referenced in: 41 Publications (2013–2022)
Related Software: Chebfun; Matlab; DLMF; rootsb; mctoolbox; Bertini; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Locales

Software Authors:   Ballarin, Clemens
Referenced in: 41 Publications (1999–2021)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Coq; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

Pse-in-One

Software Authors:   Liu, B.; Liu, F.; Wang, X.; Chen, J.; Fang, L.; Chou, K. -C.:
Referenced in: 41 Publications (2015–2019)
Related Software: iRSpot-PseDNC; PseKNC; iPro54-PseKNC; pLoc-mEuk; iRNA-PseColl; pLoc-mAnimal; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Memtype-2L

Software Authors:   Chou, K. C.; Shen, H. B.
Referenced in: 39 Publications (2008–2019)
Related Software: Cell-PLoc; ProtIdent; Signal-CF; Euk-mPLoc; GPCR-CA; EzyPred; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Algorithm 922

Software Authors:   X. Ji, T. Turner; J. Sun
Referenced in: 38 Publications (2012–2022)
Related Software: iFEM; JDQZ; FEAST; Matlab; DLMF; lobpcg.m; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CIL

Software Authors:   Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.
Referenced in: 29 Publications (2002–2022)
Related Software: BLAST; SLAM; CBMC; CUTE; veriSoft; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

MR and LTV Synthesis Tools

Software Authors:   Pirie, Carol; Dullerud, Geir E.
Referenced in: 35 Publications (1999–2021)
Related Software: YALMIP; SeDuMi; LMI toolbox; Sostools; Matlab; Mosek; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX)

Prodigy

Software Authors:   Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn, D., Knoblock, C., Minton, S., Pérez, M.A., Reilly, S., Veloso, M., Wang, X.
Referenced in: 24 Publications (1992–2019)
Related Software: UCPOP; Graphplan; KQML; Bliksem; Waldmeister; SPASS; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

IBM Scratchpad

Software Authors:   Richard Jenks; IBM
Referenced in: 34 Publications (1974–2021)
Related Software: Maple; MACSYMA; AXIOM; REDUCE; SageMath; Haskell; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Group theory and generalizations (20-XX)

CCSTM

Software Authors:   N. G. Bronson, H. Cha., K. Olukotun
Referenced in: 34 Publications (2010)
Related Software:
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GF

Software Authors:   Ranta, Aarne
Referenced 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)

Oyster

Software Authors:   Horn, Christian; Smaill, Alan
Referenced in: 32 Publications (1989–2021)
Related Software: CLAM; Nuprl; HOL; Isabelle; Coq; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

MOVCOL

Software Authors:   W. Huang; R. D. Russell
Referenced in: 33 Publications (1996–2019)
Related Software: DASSL; CWRESX; CWRESU; Algorithm 731; PDECOL; EPDCOL; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Referenced in: 29 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)

NLPLIB

Software Authors:   Holmström, Kenneth; Björkman, Mattias
Referenced in: 30 Publications (1999–2020)
Related Software: OPERA; TOMLAB; Matlab; EGO; SNOPT; UOBYQA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PROMELA

Software Authors:   Natarajan, V.; Holzmann, Gerard J.
Referenced in: 29 Publications (1997–2018)
Related Software: SPIN; jSpin; ProB; Uppaal; Isabelle/HOL; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CRYPTIM

Software Authors:   Ustimenko, Vasyl
Referenced in: 29 Publications (2001–2015)
Related Software: CRYPTALL; Galois Field Arithmetic Library
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Computer science (68-XX)

DrScheme

Software Authors:   Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
Referenced 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)

PIPER

Software Authors:   Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob
Referenced in: 28 Publications (2002–2017)
Related Software: SLMC; Cyclone; PiDuce; Automath; TyPiCal; COWS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ALDOR

Software Authors:   aldor.org; Bronstein, Manuel
Referenced 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)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Referenced in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

IBAL

Software Authors:   Avi Pfeffer
Referenced in: 27 Publications (2003–2019)
Related Software: Church; BLOG; PRISM; FACTORIE; PR-OWL; BUGS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Referenced in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

CWENO

Software Authors:   Kleimann, Jens; Kopp, Andreas; Fichtner, Horst; Grauer, Rainer; Germaschewski,Kai
Referenced in: 26 Publications (2004–2021)
Related Software: NIRVANA; FLASH; MAP; HE-E1GODF; CARMEN-MHD; GRADSPMHD; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

SNOBFIT

Software Authors:   Arnold Neumaier
Referenced in: 23 Publications (2009–2022)
Related Software: MultiMin; MCS; NOMAD; EGO; BOBYQA; OrthoMADS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

CCured

Software Authors:   Necula, G.C., McPeak, S., Weimer, W.
Referenced in: 18 Publications (2002–2018)
Related Software: Cyclone; Java PathFinder; DART; SLAM; Bandera; z3; …
Main Fields: Computer science (68-XX)

Eff

Software Authors:   Bauer, Andrej; Pretnar, Matija
Referenced 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)

Epigram

Software Authors:   McBride, Conor
Referenced in: 22 Publications (2005–2020)
Related Software: Coq; Agda; Haskell; LEGO; Irdis; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

JastAdd

Software Authors:   Hedin, Görel; Magnusson, Eva
Referenced in: 16 Publications (2003–2016)
Related Software: Stratego; ANTLR; Spoofax; Polyglot; ASF+SDF; TXL; …
Main Fields: Computer science (68-XX)

PiDuce

Software Authors:   Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Referenced in: 18 Publications (2006–2020)
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; …
Main Fields: Computer science (68-XX)

Quaternion

Software Authors:   S.J. Sangwine, N. Le Bihan
Referenced in: 21 Publications (2006–2022)
Related Software: Matlab; Clifford Multivector Toolbox; CLICAL; Gaigen; Gaalop; CLIFFORD; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)

Volcano

Software Authors:   Graefe, G.
Referenced in: 6 Publications (2000–2018)
Related Software: DB2; POTENTIAL; IQ-Meter; LUBM; E Theorem Prover; SPARQL; …
Main Fields: Computer science (68-XX)

ALLTYPES

Software Authors:   Schwarz, Fritz
Referenced in: 18 Publications (1999–2017)
Related Software: REDUCE; Maple; SINGULAR; SDeval; NCPOLY; Plural; …
Main Fields: Field theory and polynomials (12-XX); Associative rings and algebras (16-XX); Ordinary differential equations (34-XX)

D-Claw

Software Authors:   George, David L.; Iverson, Richard M.
Referenced in: 20 Publications (2014–2022)
Related Software: GEOCLAW; PVM; CLAWPACK; HE-E1GODF; MPAS-Ocean; SWASHES; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

F*

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
Referenced 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)

Oberon

Software Authors:   Wirth, N.
Referenced in: 18 Publications (1988–2007)
Related Software: Modula; CHARM++; REXX; Visual Basic; COBOL; Maple; …
Main Fields: Computer science (68-XX)

SCOTS

Software Authors:   Rungger, Matthias; Zamani, Majid
Referenced in: 19 Publications (2016–2022)
Related Software: PESSOA; CoSyma; TuLiP; ROCS; Sostools; pFaces; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

ArchJava

Software Authors:   Aldrich, Jonathan; Chambers, Craig; Notkin, David
Referenced in: 10 Publications (2002–2017)
Related Software: SOFA 2.0; Rapide; UMLDiff; PICCOLA; Squeak; JavAdaptor; …
Main Fields: Computer science (68-XX)

Felix

Software Authors:   Joachim Apel, Uwe Klaus
Referenced in: 18 Publications (1991–2020)
Related Software: Plural; SINGULAR; Macaulay2; BERGMAN; CoCoA; MAS; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)

ASPARTIX

Software Authors:   Uwe Egly; Sarah Alice Gaggl; Stefan Woltran
Referenced in: 17 Publications (2011–2019)
Related Software: Dungine; CoQuiAAS; MiniSat; Pregel; SMAC; claspfolio 2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

libAlgebra

Software Authors:   Vogel, Andreas; Reiter, Sebastian; Rupp, Martin; Nägel, Arne; Wittum, Gabriel
Referenced in: 18 Publications (2013–2021)
Related Software: pcl; libDiscretization; libGrid; UG4; SuperLU; UG; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

NPspinor

Software Authors:   Chu, K.C.; Czapor, S.R.; McLenaghan, R.G.
Referenced in: 18 Publications (1991–2021)
Related Software: NP; Maple; xTensor; Invar; Mathematica; CosmoMC; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Quantum theory (81-XX)

PFC2D

Software Authors:   Itasca Consulting Group, Inc.
Referenced in: 18 Publications (2003–2021)
Related Software: PFC; OpenGeoSys; Code_Bright; ANSYS-CFX; DEMPack; FLAC; …
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

Clifford Multivector Toolbox

Software Authors:   Sangwine, S.J., Hitzer, E.
Referenced in: 16 Publications (2017–2022)
Related Software: CLIFFORD; Gaigen; Gaalop; GABLE; Garamon; Quaternion; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

FLICA-OVAP

Software Authors:   –
Referenced in: 16 Publications (2011–2022)
Related Software: AUSM; HLLE; HE-E1GODF; CATHARE; L2Roe; AUSMPW+; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Fortress

Software Authors:   E. Allan, D. Chase, V. Luchangco, J. Maessen, S. Ryu, G. Steele, S. Tobin-Hochstadt
Referenced in: 15 Publications (2006–2015)
Related Software: Chapel; Scala; CLOS; Eiffel; Featherweight Java; Multilisp; …
Main Fields: Computer science (68-XX)

JCLEC

Software Authors:   Sebastián Ventura, Cristóbal Romero, Amelia Zafra, José A. Delgado, César Hervás
Referenced in: 2 Publications (2009–2015)
Related Software: KEEL; UCI-ml; ECJ; ParaDisEO; C4.5; SPEA2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-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)

JAS

Software Authors:   Heinz Kredel
Referenced in: 13 Publications (2008–2020)
Related Software: SINGULAR; AXIOM; Plural; Orbital library; ALDOR; REDLOG; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)

Packmol

Software Authors:   Martínez, L., Andrade, R., Birgin, E.G., Martínez, J.M.
Referenced in: 13 Publications (2012–2022)
Related Software: ALGENCAN; SPG; nanoHUB; nusimm; Polymatic; Mdtraj; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Mechanics of deformable solids (74-XX)

Ariadne

Software Authors:   Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
Referenced in: 13 Publications (2008–2021)
Related Software: HyTech; PHAVer; SpaceEx; HSolver; RSOLVER; KeYmaera; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

Dylan

Software Authors:   Shalit A
Referenced in: 12 Publications (1996–2014)
Related Software: Python; Eiffel; Cecil; Ruby; LISP; R; …
Main Fields: Statistics (62-XX); Computer science (68-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)

PFC3D

Software Authors:   Itasca Consulting Group, Inc.
Referenced in: 13 Publications (2004–2021)
Related Software: ABAQUS; PFC2D
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-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)

ANCFIS

Software Authors:   Zhifei Chen; Sara Aghakhani; James Man; Scott Dick
Referenced in: 12 Publications (2012–2022)
Related Software: ANFIS; TISEAN; TSDL; FLANN; TDSL; FFTW; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Figaro

Software Authors:   Avi Pfeffer
Referenced in: 11 Publications (2015–2022)
Related Software: Church; ProbLog; Venture; BLOG; PRISM; Pyro; …
Main Fields: Statistics (62-XX); Computer science (68-XX)