×

Found 311 Software Packages (Results 1–100)

Uppaal

Software Authors:   Uppsala University, Sweden; Aalborg University in Denmark
Referenced in: 539 Publications (1990–2022)
Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TISEAN

Software Authors:   Rainer Hegger, Holger Kantz, Thomas Schreiber
Referenced in: 163 Publications (1999–2022)
Related Software: Matlab; K2; SciPy; igraph; pyunicorn; Python; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

ANTIGONE

Software Authors:   Misener, Ruth; Floudas, Christodoulos A.
Referenced in: 111 Publications (2014–2022)
Related Software: SCIP; BARON; Ipopt; LINDO; GloMIQO; LINDOGlobal; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

MSLiP

Software Authors:   Gassmann, Horand I.
Referenced in: 111 Publications (1990–2022)
Related Software: GAMS; CPLEX; SLP-IOR; SUTIL; AMPL; HOPDM; …
Main Fields: Calculus of variations and optimal control; optimization (49-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
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)

SpaceEx

Software Authors:   Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray,Olivier Lebeltel, Rodolfo Ripado, Antoine Girard,Thao Dang, Oded Maler
Referenced in: 76 Publications (2011–2021)
Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; dReach; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

OrthoMADS

Software Authors:   Abramson, Mark A.; Audet, Charles; Dennis, J.E.jun.; Le Digabel, S'ebastien
Referenced in: 62 Publications (2009–2022)
Related Software: NOMAD; MultiMin; DFL; EGO; DFN; SDPEN; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Church

Software Authors:   Goodman N., Mansinghka V.K., Roy D., Bonawitz K., Tenenbaum J.B.
Referenced in: 51 Publications (2008–2022)
Related Software: BLOG; IBAL; ProbLog; Figaro; FACTORIE; Stan; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX)

TOY

Software Authors:   F. J. López Fraguas, J. Sánchez Hernández
Referenced in: 54 Publications (2001–2020)
Related Software: BABEL; PAKCS; Haskell; Curry; Kernel-LEAF; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

WENO

Software Authors:   Carrillo, José A.; Gamba, Irene M.; Majorana, Armando; Shu, Chi-Wang
Referenced in: 54 Publications (2003–2021)
Related Software: Vador; HE-E1GODF; GaAs-MESFET; HLLE; KIOPS; imexLNL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

RAxML

Software Authors:   Stamatakis, Alexandros; Ludwig, Thomas; Meier, Harald
Referenced in: 30 Publications (2004–2022)
Related Software: MrBayes; BEAST; PAUP*; fastDNAml; R; ASTRAL-II; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Timbuk

Software Authors:   Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; ..
Referenced in: 47 Publications (2001–2020)
Related Software: Maude; AVISPA; Isabelle; ELAN; Isabelle/HOL; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Uppaal2k

Software Authors:   Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin
Referenced in: 38 Publications (2000–2017)
Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Algorithm 823

Software Authors:   Hong, Hee Sun; Hickernell, Fred J.
Referenced in: 38 Publications (2001–2022)
Related Software: TOMS659; sobol.cc; rhalton; TESTPACK; RandQMC; MersenneTwister; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Numerical analysis (65-XX)

GraphLog

Software Authors:   Consens, M.; Mendelzon
Referenced in: 32 Publications (1990–2022)
Related Software: XPath; SPARQL; Lorel; Datalog; nSPARQL; DLV2; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Associative rings and algebras (16-XX)

LASS

Software Authors:   Stilian A. Stoev
Referenced in: 29 Publications (1997–2021)
Related Software: longmemo; wmtsa; Matlab; NESToolbox; fArma; nlt; …
Main Fields: History and biography (01-XX); Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Referenced in: 26 Publications (2005–2021)
Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SpiNNaker

Software Authors:   Furber, S., Galluppi, F., Temple, S., Plana, L. A.
Referenced in: 16 Publications (2015–2021)
Related Software: NEURON; Pynn; NEST; Brian; AlexNet; ImageNet; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Breach

Software Authors:   Alexandre Donzé
Referenced in: 26 Publications (2011–2022)
Related Software: S-TaLiRo; Flow*; SpaceEx; Matlab; KeYmaera; C2e2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Duali

Software Authors:   Kendrick, David A.; Tucci, Marco P.; Amman, Hans M.
Referenced in: 26 Publications (1997–2020)
Related Software: DualPC; Dynare; LMI toolbox; System Identification Toolbox; PATH Solver; AMPL; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)

PINNsNTK

Software Authors:   Wang, Sifan; Yu, Xinling; Perdikaris, Paris
Referenced in: 25 Publications (2021–2022)
Related Software: Adam; DiffSharp; TensorFlow; XPINNs; DeepONet; NSFnets; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PySP

Software Authors:   Watson, Jean-Paul; Woodruff, David L.; Hart, William E.
Referenced in: 22 Publications (2012–2022)
Related Software: Pyomo; CPLEX; Gurobi; DSP; AIMMS; AMPL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

CORO

Software Authors:   Escudero, Laureano F.; Quintana, Francisco J.; Salmerón, Javier
Referenced in: 24 Publications (1999–2020)
Related Software: MSLiP; GAMS; ProPlan; ProSched; Aspen Refinery Multi-Blend Optimizer; Aspen Custom Modeler; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NICE

Software Authors:   Laurent Dinh, David Krueger, Yoshua Bengio
Referenced in: 18 Publications (2016–2022)
Related Software: Adam; Glow; ImageNet; Python; torchdiffeq; AlexNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SHOT

Software Authors:   Kronqvist, Jan; Lundell, Andreas; Westerlund, Tapio
Referenced in: 23 Publications (2016–2022)
Related Software: Ipopt; MINLPLib; Bonmin; ANTIGONE; SCIP; Decogo; …
Main Fields: General and overarching topics; collections (00-XX); Convex and discrete geometry (52-XX); Statistics (62-XX)

FLATA

Software Authors:   Marius Bozga; Radu Iosif; Filip Konecny; Tomas Vojnar
Referenced in: 21 Publications (2009–2021)
Related Software: Eldarica; Princess; z3; FAST; Aspic; Spacer; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Grail

Software Authors:   Raymond, Darrell; Wood, Derick
Referenced in: 20 Publications (1994–2021)
Related Software: AUTOMATE; AMoRE; Walnut; GitHub; OEIS; Python; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

hIPPYlib

Software Authors:   Villa, U.; Petra, N.; Ghattas, O.
Referenced in: 21 Publications (2017–2022)
Related Software: FEniCS; SyFi; PETSc; PETSc/TS; GemPy; PyYAML; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

Quantor

Software Authors:   Biere, Armin
Referenced in: 22 Publications (2005–2017)
Related Software: sKizzo; QUBOS; Bloqqer; DepQBF; MiniSat; QUBE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Be-CoDiS

Software Authors:   Ivorra, Benjamin; Ngom, Diène; Ramos, Ángel M.
Referenced in: 20 Publications (2015–2021)
Related Software: Matlab; GitHub; iOverbook; TopoChemie-2020; pomp
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX)

GPfit

Software Authors:   Blake MacDoanld, Hugh Chipman, Pritam Ranjan
Referenced in: 12 Publications (2014–2021)
Related Software: R; mlegp; laGP; tgp; DiceKriging; lhs; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Camino

Software Authors:   Cook, P., Bai, Y., Nedjati-Gilani, S., Seunarine, K., Hall, M., Parker, G., Alexander, D.
Referenced in: 20 Publications (2016–2021)
Related Software: ISTL; PDELab; DUNE; MTEX; pottslab; MVIRT; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

EVPI

Software Authors:   M.A.H. Dempster and R.T. Thompson
Referenced in: 20 Publications (1997–2020)
Related Software: MSLiP; GAMS; SLP-IOR; VRP; DDSIP; hmm; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

MIRPLib

Software Authors:   Papageorgiou, Dimitri J.; Nemhauser, George L.; Sokol, Joel; Cheon, Myun-Seok; Keha, Ahmet B.
Referenced in: 19 Publications (2014–2022)
Related Software: VRP; irace; CPLEX; claspfolio 2; pSMAC; auto-sklearn; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ProTDB

Software Authors:   A. Nierrman, H.V. Jagadish
Referenced in: 12 Publications (2005–2018)
Related Software: ProbView; PSQL; XPath; TAX; XSEarch; XQuery; …
Main Fields: Computer science (68-XX)

TorX

Software Authors:   Bohnenkamp, Henrik; Belinfante, Axel
Referenced in: 16 Publications (2005–2021)
Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Dizzy

Software Authors:   Ramsey, S., Orrell, D., Bolouri, H.
Referenced in: 16 Publications (2007–2019)
Related Software: PRISM; Bio-PEPA; Matlab; BioModels; COPASI; SpiCO; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

REGAL

Software Authors:   Bassino, Frédérique; David, Julien; Nicaud, Cyril
Referenced in: 18 Publications (1997–2017)
Related Software: Antichains; carData; car; ToXgene; minpack
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

sbtoolbox

Software Authors:   Henning Schmidt; Mats Jirstrand
Referenced in: 12 Publications (2009–2019)
Related Software: Matlab; SBML-SAT; libSBML; Sbmltoolbox; SymPy; Python; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-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)

RFSA

Software Authors:   Denis, Francois; Lemay, Aurelien; Terlutte, Alain
Referenced in: 15 Publications (2001–2021)
Related Software: libalf; EMILE
Main Fields: Computer science (68-XX)

DSPNexpress

Software Authors:   Lindemann
Referenced in: 14 Publications (1993–2011)
Related Software: SPNP; GreatSPN 1.7; GreatSPN; ESP; TimeNET; ILUT; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

EpiModel

Software Authors:   Samuel Jenness, Steven M. Goodreau, Martina Morris, Emily Beylerian, Skye Bender-deMoll, Kevis Weiss
Referenced in: 5 Publications (2020–2022)
Related Software: R; Python; SciPy; EoN; Surveillance; epinet; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

FAUST2

Software Authors:   S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate
Referenced in: 14 Publications (2017–2021)
Related Software: PRISM; StocHy; SReachTools; AMYTISS; MPT; Sostools; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

IRIS

Software Authors:   Tsai, J., Rathi, S., Kiekintveld, C., Ordóñez, F., Tambe, M.
Referenced in: 14 Publications (2010–2022)
Related Software: VRP
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KrigInv

Software Authors:   Clement Chevalier, Victor Picheny, David Ginsbourger
Referenced in: 11 Publications (2012–2021)
Related Software: DiceKriging; DiceOptim; R; EGO; rgenoud; lhs; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SIAN

Software Authors:   Hong, Hoon; Ovchinnikov, Alexey; Pogudin, Gleb; Yap, Chee
Referenced in: 13 Publications (2019–2022)
Related Software: DAISY; COMBOS; GenSSI; BLAD; MESSI; ObservabilityTest; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Ordinary differential equations (34-XX)

Strix

Software Authors:   Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon
Referenced in: 9 Publications (2019–2021)
Related Software: PGSolver; Acacia+; MONA; CUDD; contractLarva; Rabinizer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AUTOMATE

Software Authors:   Champarnaud, J.M.; Hansel, G.
Referenced in: 12 Publications (1990–2019)
Related Software: Grail; AMoRE; Semigroupe; libsemigroups; Semigroups; MONOiD; …
Main Fields: General algebraic systems (08-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

BoTorch

Software Authors:   Maximilian Balandat, Brian Karrer, Daniel R. Jiang, Samuel Daulton, Benjamin Letham, Andrew Gordon Wilson, Eytan Bakshy
Referenced in: 10 Publications (2021–2022)
Related Software: PyTorch; Hyperband; SMAC; Adam; Spearmint; GPflowOpt; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

C-Light

Software Authors:   Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Referenced in: 11 Publications (2002–2012)
Related Software: Atoment; Boogie; VCC; Dafny; OpenJML; Frama-C; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GP 2

Software Authors:   C. Bak; D. Plump
Referenced in: 12 Publications (2009–2021)
Related Software: PORGY; ELAN; GrGen; Stony Brook; GROOVE; PROGRES; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MC++

Software Authors:   Chachuat, B.
Referenced in: 12 Publications (2012–2022)
Related Software: libMC; ANTIGONE; BARON; GAMS; Ipopt; CONOPT; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

MRtrix

Software Authors:   –
Referenced in: 9 Publications (2015–2022)
Related Software: FreeSurfer; GraphML; Connectome Mapper; Brain-Graph-Tools; PRMLT; ANTs; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MUI

Software Authors:   Tang, Yu-Hang; Kudo, Shuhei; Bian, Xin; Li, Zhen; Karniadakis, George Em
Referenced in: 11 Publications (2015–2021)
Related Software: preCICE; AdResS; OpenFOAM; CEDRE; MpCCI; pyprecice; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Rabinizer

Software Authors:   Gaiser A, Křetínský J, Esparza J
Referenced in: 12 Publications (2012–2021)
Related Software: PRISM; ltl2dstar; SPOT; LTL2BA; TTM; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SPECTRODE

Software Authors:   Dobriban, Edgar
Referenced in: 12 Publications (2014–2022)
Related Software: OptShrink; QuEST; RMTool; GCTA; BRENT; leapp; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX)

UCFL

Software Authors:   Jurdziński, Tomasz; Lorys, Krzysztof
Referenced in: 11 Publications (2002–2011)
Related Software:
Main Fields: Computer science (68-XX)

VTDIRECT95

Software Authors:   Jian He; Layne T. Watson; Masha Sosonkina
Referenced in: 11 Publications (2009–2021)
Related Software: DIRECT; MrDIRECT; MultiMin; DIRDFN; UOBYQA; DFN; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Algorithm 971

Software Authors:   H. Li, G. C. Linderman, A. Szlam, K. P. Stanton, Y. Kluger, M. Tygert
Referenced in: 9 Publications (2017–2021)
Related Software: ARPACK; LAPACK; SparseMatrix; rsvd; RandNLA; SPQR_RANK; …
Main Fields: Combinatorics (05-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)

COSSAN

Software Authors:   G.I. Schuëller, H.J. Pradlwarter
Referenced in: 9 Publications (1997–2022)
Related Software: UQLab; COSSAN-X; PATRAN; propagate; SAFE Toolbox; SoilGrids250m; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

DREAM

Software Authors:   Vrugt, J. A
Referenced in: 10 Publications (2018–2022)
Related Software: NUTS; Glow; GitHub; Matlab; BayesDA; SUMO; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

DualPC

Software Authors:   H. M. Amman and D. Kendrick
Referenced in: 10 Publications (2004–2014)
Related Software: Duali; Dynare; GAMS; Gensys
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

IDP3

Software Authors:   Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco
Referenced in: 9 Publications (2015–2020)
Related Software: clasp; WASP; DLV; Clingo; Cmodels; DLV2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

KiCS2

Software Authors:   Braßel, Bernd; Hanus, Michael; Peemöller, Björn; Reck, Fabian
Referenced 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)

MAiNGO

Software Authors:   Bongartz, D., Najman, J., Sass, S., Mitsos, A.
Referenced in: 8 Publications (2019–2022)
Related Software: ANTIGONE; libMC; Ipopt; CPLEX; NLopt; FADBAD++; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

STeLP

Software Authors:   Cabalar, Pedro; Diéguez, Martín
Referenced in: 9 Publications (2011–2019)
Related Software: Coala; Gringo; CCalc; ASSAT
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Visual DSD

Software Authors:   Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A.
Referenced in: 10 Publications (2013–2020)
Related Software: PRISM; CRN++; MedOlDatschgerl; ERODE; PoplMark; z3
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

BAS

Software Authors:   Merlise Clyde, Michael Littman, Quanli Wang, Joyee Ghosh, Yingbo Li
Referenced in: 4 Publications (2012–2020)
Related Software: R; BMS; gretl; BMA; BayesVarSel; JASP; …
Main Fields: Statistics (62-XX)

Bison

Software Authors:   Free Software Foundation, Inc.; R. Corbett; R. Stallman
Referenced in: 8 Publications (2007–2021)
Related Software: YACC; Flex; GitHub; SMT Kit; BtorMC; lazybv2int; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

Decogo

Software Authors:   Nowak, Ivo; Breitfeld, Norman; Hendrix, Eligius M. T.; Njacheun-Njanzoua, Grégoire
Referenced in: 9 Publications (2018–2022)
Related Software: SHOT; Ipopt; ANTIGONE; MINLPLib; Pyomo; LINDO; …
Main Fields: Operations research, mathematical programming (90-XX)

fractal

Software Authors:   William Constantine, Donald Percival
Referenced in: 8 Publications (2017–2021)
Related Software: R; wavethresh; locits; costat; BootWPTOS; copula; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Computer science (68-XX)

GDINA

Software Authors:   Wenchao Ma, Jimmy de la Torre
Referenced in: 8 Publications (2019–2022)
Related Software: CDM; R; NPCD; Mplus; Latent GOLD; alabama; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Line-up

Software Authors:   Burckhardt, S., Dern, C., Musuvathi, M., Tan, R.
Referenced in: 9 Publications (2011–2021)
Related Software: Coq; SPIN; RGITL; Z; KIV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Metaopt

Software Authors:   Cropper, Andrew; Muggleton, Stephen H.
Referenced in: 9 Publications (2019–2022)
Related Software: Metagol; GitHub; GOLEM; Aleph; ProbLog; Clingo; …
Main Fields: Computer science (68-XX)

Motras

Software Authors:   Křetínský, Jan; Sickert, Salomon
Referenced in: 9 Publications (2013–2020)
Related Software: MIO Workbench; Mica; JML; ECDAR; APT; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RationalFirstintegrals

Software Authors:   Bostan, Alin; Chèze, Guillaume; Cluzeau, Thomas; Weil, Jacques-Arthur
Referenced in: 8 Publications (2015–2022)
Related Software: Lsolver; Maple; PSsolver; gfun
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Ordinary differential equations (34-XX)

TOP/DOMDEC

Software Authors:   C. Farhat, S. Lanteri, H.D. Simon
Referenced in: 9 Publications (1994–2017)
Related Software: Chaco; FIVER; MESHPART; PARTY; Scotch; PLUM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ABC-SysBio

Software Authors:   Liepe, J., Barnes, C., Cule, E., Erguler, K., Kirk, P., Toni, T., Stumpf, M. P. H.
Referenced in: 6 Publications (2012–2022)
Related Software: BioBayes; astroABC; EasyABC; SciPy; Python; BCM; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Dsharp

Software Authors:   Muise, C., McIlraith, S.A., Beck, J.C., Hsu, E.I.
Referenced in: 7 Publications (2015–2020)
Related Software: sharpSAT; htd; CP-logic; ProbLog; CUD@SAT; countAntom; …
Main Fields: Computer science (68-XX)

FiberSCIP

Software Authors:   Y Shinano, S Heinz, S Vigerske, M Winkler
Referenced in: 7 Publications (2015–2018)
Related Software: ParaSCIP; UG; SCIP; PEBBL; MIPLIB2003; SCIP-Jack; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

JSetL

Software Authors:   Andrea Fois, Gianfranco Rossi, Elisabetta Poleo & others
Referenced in: 4 Publications (2009–2021)
Related Software: Z; SETL; ProB; MiniZinc; Gecode; JaCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

not

Software Authors:   Rafal Baranowski, Yining Chen, Piotr Fryzlewicz
Referenced in: 6 Publications (2014–2021)
Related Software: R; wbs; Segmentor3IsBack; changepoint; FDRSeg; stepR; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

PSQL

Software Authors:   Dey, Debabrata; Sarkar, Sumit
Referenced in: 4 Publications (1998–2005)
Related Software: ProbView; ProTDB
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Computer science (68-XX)

SAMPLE

Software Authors:   Valente, Christian; Mitra, Gautam; Sadki, Mustapha; Fourer, Robert
Referenced in: 8 Publications (2008–2022)
Related Software: MSLiP; Gurobi; PySP; SUTIL; CPLEX; Mosel; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Sparse FFT small support

Software Authors:   Plonka, Gerlind; Wannenwetsch, Katrin
Referenced in: 8 Publications (2016–2021)
Related Software: DCT_shortsupp_oneblock; idct; Matlab; DFT_twoblock; FFTW; SFFT; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Computer science (68-XX)

ATTILA

Software Authors:   Wareing, T.A.; McGhee, J.M.; Morel, J.E.
Referenced in: 7 Publications (2008–2020)
Related Software: NumPy; DENOVO; PolyMesher
Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Numerical analysis (65-XX)

dugksFoam

Software Authors:   Zhu, Lianhua; Chen, Songze; Guo, Zhaoli
Referenced in: 6 Publications (2017–2021)
Related Software: OpenFOAM; dsmcFoam; OpenLB; CLAWPACK; Python; Julia; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

Kendo

Software Authors:   Olszewski, M.; Ansel, J.; Amarasinghe, S.
Referenced in: 4 Publications (2011–2018)
Related Software: CapoOne; MIPLIB2003; CHiPPS; ParaSCIP; MIPLIB; SCIP; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SABRE

Software Authors:   Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V
Referenced in: 5 Publications (2011–2016)
Related Software: PRISM; MARCIE; Bio-PEPA; SBML Test Suite; INFAMY; MRMC; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

VATA

Software Authors:   Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš
Referenced in: 7 Publications (2012–2019)
Related Software: MTBDD; Slide; MONA; Cyclist; Antichains; HIP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

amodMC

Software Authors:   Beckers, Markus; Mosenkis, Viktor; Naumann, Uwe
Referenced in: 6 Publications (2012–2021)
Related Software: libMC; ANTIGONE; dcc; BARON; GRANSO; DFO-TRNS; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX)

COSMOS

Software Authors:   Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.
Referenced in: 6 Publications (2013–2021)
Related Software: PRISM; Ymer; VESTA; HASL; Uppaal; Storm; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Finite Automata HF

Software Authors:   Lawrence C. Paulson
Referenced in: 6 Publications (2015–2020)
Related Software: Hereditarily Finite Sets; Coq; Coq/SSReflect; Myhill-Nerode; MSO_Regex_Equivalence; Presburger Automata; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

FortSP

Software Authors:   Ellison, E.F.D., Mitra, G., Zverovich, V.; OptiRisk Systems
Referenced in: 5 Publications (2009–2019)
Related Software: CPLEX; Julia; PySP; Gurobi; SUTIL; POSTS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

GOP

Software Authors:   Ivorra, Benjamin; Mohammadi, Bijan; Manuel Ramos, Angel
Referenced in: 6 Publications (2006–2019)
Related Software: Scatter Search; Matlab; L-BFGS
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Fluid mechanics (76-XX)

HOS-ocean

Software Authors:   Ducrozet, Guillaume; Bonnefoy, Félicien; Le Touzé, David; Ferrant, Pierre
Referenced in: 6 Publications (2016–2020)
Related Software: OceanWave3D; ROMS; GitHub; FFTW
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

MedianOfNinthers

Software Authors:   Alexandrescu, Andrei
Referenced in: 6 Publications (2017–2022)
Related Software: Find; GitHub
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MIXMAX

Software Authors:   Savvidy, Konstantin G.
Referenced in: 6 Publications (2015–2020)
Related Software: TestU01; RANLUX; MRG32k3a; MersenneTwister; K2; GitHub; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Geometry (51-XX)

MODIR

Software Authors:   Campana, E. F.; Diez, M.; Liuzzi, G.; Lucidi, S.; Pellegrini, R.; Piccialli, V.; Rinaldi, F.; Serani, A.
Referenced in: 6 Publications (2018–2021)
Related Software: INTLAB; MultiGLODS; DFMO; MINOS; GAMS; ParEGO; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)