×

Found 537 Software Packages (Results 1–100)

Matlab

Software Authors:   MathWorks Inc
Referenced in: 12,958 Publications (1982–2024)
Related Software: Simulink; LMI toolbox; Maple; MATLAB ODE suite; ode23; ode45; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Python

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

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Referenced in: 1,816 Publications (1993–2022)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Gurobi

Software Authors:   Zonghau Gu; Ed Rothberg; Bob Bixby; Gurobi Optimization, Inc.
Referenced in: 742 Publications (2010–2022)
Related Software: CPLEX; SCIP; Ipopt; GitHub; JuMP; Mosek; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

ALGOL 60

Software Authors:   Naur, P.; Backus, J.W.; et. al.
Referenced in: 646 Publications (1959–2022)
Related Software: ALGOL 68; Euler; PL/I; Simula 67; COBOL; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Julia

Software Authors:   Bezanson J, Karpinski S, Shah VB, Edelman A
Referenced in: 409 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)

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)

NAG

Software Authors:   Numerical Algorithms Group
Referenced in: 417 Publications (1976–2022)
Related Software: nag; Matlab; LAPACK; mctoolbox; Maple; LINPACK; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

nag

Software Authors:   Numerical Algorithms Group (NAG)
Referenced in: 313 Publications (1979–2022)
Related Software: NAG; Matlab; LAPACK; IMSL Numerical Libraries; QUADPACK; Maple; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX)

Ada95

Software Authors:   Jean Ichbiah
Referenced in: 274 Publications (1979–2022)
Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; MPFR; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

ALGOL 68

Software Authors:   van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G.
Referenced in: 280 Publications (1969–2019)
Related Software: ALGOL 60; Simula 67; Ada95; PL/I; SNOBOL; LCF; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Eiffel

Software Authors:   Bertrand Meyer
Referenced in: 225 Publications (1989–2020)
Related Software: JML; Smalltalk; Spec#; Z; ESC/Java; Simula 67; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

COBOL

Software Authors:   Grace Hopper
Referenced in: 170 Publications (1960–2020)
Related Software: PL/I; ALGOL 60; Ada95; dBase; ASF+SDF; DB2; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Numerical analysis (65-XX)

Smalltalk

Software Authors:   Alan Kay, Dan Ingalls, Adele Goldberg, Ted Kaehler, Scott Wallace
Referenced in: 167 Publications (1983–2018)
Related Software: Eiffel; Simula 67; Ada95; CLOS; Squeak; Modula; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Twelf

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

Esterel

Software Authors:   Gérard Berry
Referenced in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-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)

Simula 67

Software Authors:   Dahl, O.J.; Nygaard, K.
Referenced in: 130 Publications (1963–2021)
Related Software: Eiffel; Smalltalk; ALGOL 68; ALGOL 60; Ada95; BETA; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Numerical analysis (65-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)

Clingo

Software Authors:   Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub
Referenced in: 105 Publications (2009–2022)
Related Software: Gringo; clasp; WASP; Potassco; iClingo; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Referenced 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)

JStatCom

Software Authors:   Markus Krätzig
Referenced in: 77 Publications (2007–2022)
Related Software: KEEL; UCI-ml; C4.5; SMOTE; R; SMOTEBoost; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX)

LARCH

Software Authors:   Guttag, John V.; Horning, James J.
Referenced in: 94 Publications (1989–2021)
Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

LLVM

Software Authors:   Lattner, C., Adve, V.; University of Illinois
Referenced in: 68 Publications (2006–2022)
Related Software: z3; GitHub; Julia; Isabelle/HOL; Python; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Visual C++

Software Authors:   Microsoft
Referenced in: 83 Publications (1993–2021)
Related Software: Visual Basic; OpenGL; VisualStudio.NET; Matlab; BabelFish; STRONgrid; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

pandas

Software Authors:   Wes McKinney
Referenced in: 14 Publications (2016–2022)
Related Software: Python; NumPy; SciPy; Matplotlib; Scikit; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

APL

Software Authors:   Kenneth E. Iverson
Referenced 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)

COMET

Software Authors:   Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Referenced in: 75 Publications (2004–2021)
Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; SCIP; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

PostgreSQL

Software Authors:   –
Referenced in: 52 Publications (2000–2022)
Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-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)

CasADi

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Referenced in: 66 Publications (2012–2022)
Related Software: Ipopt; ACADO; Matlab; qpOASES; SUNDIALS; ADOL-C; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

OMNet++

Software Authors:   András Varga
Referenced in: 33 Publications (2001–2021)
Related Software: ns-2; Chord; GloMoSim; Gurobi; SSFNet; ns-3; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PoplMark

Software Authors:   Aydemir, B.E., Bohannon, A., Fairbairn, M., Foster, J.N., Pierce, B.C., Sewell, P., Vytiniotis, D., Washburn, G., Weirich, S., Zdancewic, S.
Referenced in: 66 Publications (2005–2021)
Related Software: Coq; Twelf; Nominal Isabelle; Isabelle/HOL; Abella; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Jason

Software Authors:   Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
Referenced in: 46 Publications (1977–2021)
Related Software: AgentSpeak; Jadex; 2APL; CArtAgO; GOLOG; JADE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ECOS

Software Authors:   Alexander Domahidi, Eric Chu, Santiago Akle, Han Wang
Referenced in: 56 Publications (2014–2022)
Related Software: CVXPY; Mosek; SCS; SeDuMi; CVXGEN; YALMIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)

COMAL

Software Authors:   Benedict Løfstedt; Børge R. Christensen
Referenced in: 1 Publication (1982)
Related Software:
Main Fields: Computer science (68-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)

K Prover

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

Curry

Software Authors:   M. Hanus, H. Kuchen, J.J. Moreno-Navarro
Referenced 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)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Referenced in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

AsmL

Software Authors:   Microsoft Research; Grieskamp, W.; Gurevich Y.
Referenced in: 44 Publications (2001–2021)
Related Software: ML; SpecExplorer; Korat; LPTP; XASM; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Handel-C

Software Authors:   –
Referenced in: 28 Publications (2001–2020)
Related Software: Circus; Haskell; Xilinx; Z; Isabelle/UTP; Isabelle/Circus; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

Elf

Software Authors:   Frank Pfenning
Referenced in: 44 Publications (1989–2021)
Related Software: Nuprl; Twelf; Coq; Automath; Isabelle; Lolli; …
Main Fields: Mathematical logic and foundations (03-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)

Locales

Software Authors:   Ballarin, Clemens
Referenced in: 42 Publications (1999–2022)
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)

CHARM++

Software Authors:   Laxmikant V. Kale; Sanjeev Krishnan
Referenced in: 30 Publications (1997–2020)
Related Software: PETSc; ParFUM; Cilk; libMesh; ParaView; Trilinos; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Ltur

Software Authors:   Minoux, M.
Referenced in: 39 Publications (1988–2020)
Related Software: Datalog; HgMUS; EL2MCS; XPath; JBool; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

FLAME

Software Authors:   Bientinese, Paolo; Quintana-Ortí, Enrique S.; van de Geijn, Robert A
Referenced in: 38 Publications (1997–2021)
Related Software: LAPACK; BLAS; ATLAS; SPIRAL; PLAPACK; libflame; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Lucid

Software Authors:   Wadge, William W.; Ashcroft, Edward A.
Referenced in: 34 Publications (1978–2015)
Related Software: Haskell; Esterel; LUSTRE; SIGNAL; TransLucid; Sisal; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); General topology (54-XX)

Carsim

Software Authors:   Mechanical Simulation Corporation
Referenced in: 38 Publications (2006–2022)
Related Software: Simulink; Matlab; AUTO; Sostools; qpOASES; NPSOL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

CLAIRE

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François
Referenced 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)

MoDeST

Software Authors:   D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
Referenced in: 31 Publications (2001–2021)
Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; CADP; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

OPL

Software Authors:   Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois
Referenced in: 35 Publications (2000–2022)
Related Software: SALSA; CHIP; AMPL; CPLEX; ILOG SCHEDULE; CSPLib; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Referenced in: 33 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

JUnit

Software Authors:   Cheon, Yoonsik; Leavens, Gary T.
Referenced in: 15 Publications (2002–2020)
Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Multilisp

Software Authors:   Halstead, Robert H.jun.
Referenced in: 29 Publications (1985–2019)
Related Software: Creol; Eiffel; Maude; ABS; Featherweight Java; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Quipper

Software Authors:   Green, Alexander S.; Lumsdaine, Peter LeFanu; Ross, Neil J.; Selinger, Peter; Valiron, Benoît
Referenced in: 30 Publications (2013–2021)
Related Software: QPL; ScaffCC; LIQUi; Python; HYBRID; ProjectQ; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MESS

Software Authors:   Saak, J., Mena, H., Benner, P.
Referenced in: 32 Publications (2012–2022)
Related Software: Matlab; RADI; MORLAB; LYAPACK; Loewner; Algorithm 432; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Referenced in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MANIFOLD

Software Authors:   Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutella, A.
Referenced in: 27 Publications (1993–2012)
Related Software: Linda; Reo; LIME; KLAIM; Oz; Rapide; …
Main Fields: Computer science (68-XX)

PHREEQC

Software Authors:   Parkhurst, D.L., Appelo, C.J
Referenced in: 29 Publications (2004–2022)
Related Software: PhreeqcRM; HYDROGEOCHEM; MoMaS; HYTEC; CrunchFlow; OpenGeoSys; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Beluga

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

BETA

Software Authors:   Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
Referenced in: 21 Publications (1985–2016)
Related Software: Eiffel; Simula 67; Smalltalk; BetaSim; PolyTOIL; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

SETL

Software Authors:   Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E.
Referenced in: 27 Publications (1986–2021)
Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-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)

JFlow

Software Authors:   Andrew C. Myers
Referenced in: 22 Publications (2002–2022)
Related Software: Haskell; TALx86; TaintDroid; Jif; Laminar; NaCl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MetaPRL

Software Authors:   Jason Hickey, Alexey Nogin, Eli Barzilay
Referenced in: 25 Publications (2000–2018)
Related Software: Coq; Nuprl; PVS; Agda; HOL; ML; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Doxygen

Software Authors:   D. van Heesch
Referenced in: 16 Publications (2004–2021)
Related Software: Python; GitHub; CVODE; SUNDIALS; libMesh; PETSc; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

MTT

Software Authors:   Durán, F., Lucas, S., Meseguer, J.
Referenced in: 25 Publications (2008–2022)
Related Software: Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

PROSPER

Software Authors:   Dennis, Louise A.; Collins, Graham; Norrish, Michael; Boulton, Richard; Slind, Konrad; Robinson, Graham; Gordon, Mike; Melham, Tom
Referenced in: 23 Publications (2000–2009)
Related Software: PVS; OMRS; Gandalf; HOL; Maple; ML; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

2APL

Software Authors:   Dastani, Mehdi
Referenced in: 13 Publications (2009–2020)
Related Software: Jason; AgentSpeak; Jadex; Linda; JADE; 3APL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PITA

Software Authors:   Riguzzi, Fabrizio; Swift, Terrance
Referenced in: 24 Publications (2010–2022)
Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

PLT Redex

Software Authors:   Felleisen, Matthias; Findler, Bruce; Flatt, Matthew
Referenced in: 22 Publications (2009–2022)
Related Software: K Prover; Coq; Haskell; K tool; Ott; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Essence

Software Authors:   Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
Referenced in: 23 Publications (2008–2022)
Related Software: MiniZinc; Zinc; ESRA; COMET; MINION; Sugar; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

BCPL

Software Authors:   Martin Richards
Referenced in: 22 Publications (1971–2009)
Related Software: REDUCE; CAMAL; ALGOL 68; ALGOL 60; Ada95; FESTER; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); 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)

UniTESK

Software Authors:   Institute for System Programming of the Russian Academy of Sciences
Referenced in: 14 Publications (2002–2015)
Related Software: SpecExplorer; DART; CUTE; NModel; Symstra; SPIN; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 19 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

GPGPU

Software Authors:   Luebke, D., Harris, M., Govindaraju, N., Lefohn, A., Houston, M., Owens, J., Segal, M., Papakipos, M., Buck, I.
Referenced in: 14 Publications (2006–2018)
Related Software: CUDA; OpenACC; OpenCL; HOSTA; MPI; ATLAS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

IPSEN

Software Authors:   Schürr, Andy
Referenced in: 20 Publications (1991–2010)
Related Software: mctoolbox; LAPACK; GRAS; DRAGOS; PostgreSQL; Fujaba; …
Main Fields: History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-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)

Evolino

Software Authors:   Schmidhuber, J., Wierstra, D., Gomez, F. J.
Referenced in: 12 Publications (2007–2021)
Related Software: Clockwork RNN; LSTM; darch; DARPA TIMIT; Flickr30K; MS-COCO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

K tool

Software Authors:   David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu
Referenced in: 17 Publications (2010–2022)
Related Software: K Prover; Maude; PLT Redex; z3; K-Maude; MMT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Klava

Software Authors:   Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
Referenced in: 18 Publications (2002–2020)
Related Software: KLAIM; Linda; LIME; SCEL; MetaKlaim; Sumatra; …
Main Fields: Computer science (68-XX)

cc(FD)

Software Authors:   Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
Referenced in: 17 Publications (1998–2021)
Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

CircStat

Software Authors:   Philipp Berens
Referenced in: 13 Publications (2011–2021)
Related Software: R; CircStats; circular; Directional; CircSiZer; CircOutlier; …
Main Fields: Differential geometry (53-XX); Statistics (62-XX); Numerical analysis (65-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)

JXTA

Software Authors:   Gong, L.
Referenced in: 8 Publications (2002–2012)
Related Software: Chord; Twister; MapReduce; C4.5; EvAg; Eureqa; …
Main Fields: Computer science (68-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)

DLV-EX

Software Authors:   Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista
Referenced in: 16 Publications (2007–2021)
Related Software: Clingcon; Clingo; OntoDLV; Potassco; Gringo; ezcsp; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

FAdo

Software Authors:   André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis
Referenced in: 15 Publications (2010–2021)
Related Software: GUItar; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

LIQUi

Software Authors:   Dave Wecker, Krysta M. Svore
Referenced in: 8 Publications (2018–2021)
Related Software: qHiPSTER; ProjectQ; Python; Quipper; ScaffCC; OpenFermion; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

MMT

Software Authors:   Chalub, Fabricio; Braga, Christiano
Referenced in: 13 Publications (2007–2019)
Related Software: Maude; K Prover; JavaFAN; PMaude; CafeOBJ; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mtac

Software Authors:   Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
Referenced in: 16 Publications (2013–2021)
Related Software: Coq; Agda; Idris; seL4; VeriML; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ALGLIB

Software Authors:   Bochkanov, S.; Bystritsky, V.
Referenced in: 14 Publications (2006–2022)
Related Software: PRMLT; CubeCover; libQEx; QEx; Fizzy; Lingvo; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Computer science (68-XX)

CoolProp

Software Authors:   Bell, IH; Wronski, J; Quoilin, S; Lemort, V
Referenced in: 14 Publications (2015–2022)
Related Software: Refprop; Matlab; MRST; Python; MCycle; Spalart-Allmaras; …
Main Fields: Partial differential equations (35-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

CARIBOO

Software Authors:   O. Fissore, I. Gnaedig, H. Kirchner
Referenced in: 14 Publications (2004–2012)
Related Software: Maude; AProVE; ELAN; MU-TERM; Tsukuba; REVE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CArtAgO

Software Authors:   Alessandro Ricci; Andrea Santi; Michele Piunti; Mirko Viroli; Andrea Omicini; Marco Guidi; Mattia Minotti
Referenced in: 7 Publications (2009–2011)
Related Software: Jason; Jadex; AgentSpeak; 2APL; ReSpecT; simpA; …
Main Fields: Computer science (68-XX)

Fiat

Software Authors:   Delaware, B., Claudel, C.P., Gross, J., Chlipala, A.
Referenced in: 14 Publications (2015–2019)
Related Software: Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

HOL-Boogie

Software Authors:   Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart
Referenced in: 13 Publications (2008–2015)
Related Software: Isabelle/HOL; Boogie; Why3; z3; Caduceus; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)