×

Found 354 Software Packages (Results 1–100)

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)

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)

MapReduce

Software Authors:   Pan, Jie; Magoulès, Frédéric; Le Biannic, Yann
Referenced in: 193 Publications (2008–2022)
Related Software: Hadoop; Spark; Dryad; Apache Spark; UCI-ml; Haskell; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Scilab

Software Authors:   Scilab Enterprises; Ricardo Fabbri
Referenced in: 169 Publications (1999–2022)
Related Software: Matlab; Octave; R; Mathematica; Maple; Scicos; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

JavaScript

Software Authors:   Flanagan
Referenced in: 138 Publications (1996–2022)
Related Software: Python; PHP; Node.js; GitHub; MySQL; R; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Referenced in: 157 Publications (1996–2022)
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Cinderella

Software Authors:   Jürgen Richter-Gebert; Ulrich Kortenkamp
Referenced in: 91 Publications (1999–2021)
Related Software: Geometer's Sketchpad; GeoGebra; Mathematica; Cabri-geometry; GEX; Maple; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Numerical analysis (65-XX)

AspectJ

Software Authors:   Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey
Referenced in: 96 Publications (2001–2021)
Related Software: CaesarJ; JBoss; JAsCo; AspectC++; Eiffel; gbeta; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-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)

LISP-STAT

Software Authors:   Luke Tierney
Referenced in: 88 Publications (1977–2019)
Related Software: R; ViSta; XGobi; ARC; Mondrian; MacSpin; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Linda

Software Authors:   Gelernter, David
Referenced in: 76 Publications (1985–2020)
Related Software: KLAIM; LIME; ReSpecT; TuCSoN; Klava; Reo; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

LLVM

Software Authors:   Lattner, C., Adve, V.; University of Illinois
Referenced in: 64 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)

Biq Mac

Software Authors:   Rendl, Franz; Rinaldi, Giovanni; Wiegele, Angelika
Referenced in: 89 Publications (2010–2022)
Related Software: BiqMac; CPLEX; SDPT3; SCIP; SeDuMi; CSDP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pyomo

Software Authors:   Hart, William E.; Laird, Carl; Watson, Jean-Paul; Woodruff, David L.
Referenced in: 72 Publications (2012–2022)
Related Software: Gurobi; Ipopt; Python; CPLEX; GAMS; PySP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

Dafny

Software Authors:   Rustan Leino
Referenced in: 69 Publications (2010–2021)
Related Software: z3; Boogie; Why3; VeriFast; Coq; VCC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

CasADi

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Referenced in: 50 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)

XDuce

Software Authors:   Haruo Hosoya , Benjamin C. Pierce
Referenced in: 52 Publications (2003–2020)
Related Software: CDuce; XPath; PiDuce; XQuery; OCaml; XPi; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ToolboxLS

Software Authors:   Ian Mitchell
Referenced in: 52 Publications (2005–2022)
Related Software: top.m; Ellipsoidal Toolbox; Multivac; helperOC; ROC-HJ; MPT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CompEcon

Software Authors:   Paul Fackler, Mario Miranda
Referenced in: 50 Publications (2002–2022)
Related Software: Matlab; Gensys; nwSpGr; JBendge; Dynare; RECS; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

CVXGEN

Software Authors:   J. Mattingley; S. Boyd
Referenced in: 42 Publications (2010–2022)
Related Software: qpOASES; ECOS; fast_mpc; CVX; Gurobi; SeDuMi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Wolfram Demonstrations

Software Authors:   Wolfram
Referenced in: 42 Publications (2007–2021)
Related Software: Mathematica; OEIS; iRRAM; GeoGebra; astsa; WoLFram; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX)

Eraser

Software Authors:   Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.
Referenced in: 35 Publications (2000–2020)
Related Software: veriSoft; RacerX; Bandera; Java PathFinder; RELAY; SPIN; …
Main Fields: 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)

YAP-Prolog

Software Authors:   Vítor Santos Costa, Luís Damas, Rogério Reis, Rúben Azevedo
Referenced in: 43 Publications (1999–2020)
Related Software: XSB; ProbLog; B-Prolog; SICStus; SWI-Prolog; Aleph; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Referenced in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

DUNE-FEM

Software Authors:   Dedner, Andreas; Klöfkorn, Robert; Nolte, Martin; Ohlberger, Mario
Referenced in: 39 Publications (2010–2022)
Related Software: DUNE; deal.ii; PETSc; FEniCS; Feel++; UFL; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

Approxrl

Software Authors:   Lucian Busoniu
Referenced in: 33 Publications (2011–2022)
Related Software: ElemStatLearn; Scikit; Python; AlphaGo; Keras; TensorFlow; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LUPS

Software Authors:   Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C.
Referenced in: 37 Publications (1999–2019)
Related Software: XSB; Smodels; EVOLP; Jason; ConGolog; METATEM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MXNet

Software Authors:   T. Chen, M. Li, Y. Li, M. Lin, N. Wang, M. Wang, T. Xiao, B. Xu, C. Zhang, Z. Zhang
Referenced in: 11 Publications (2018–2021)
Related Software: TensorFlow; PyTorch; Caffe; Theano; Python; Keras; …
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)

OpenLB

Software Authors:   Jonas Latt; Mathias J. Krause
Referenced in: 28 Publications (2007–2022)
Related Software: Palabos; waLBerla; LB3D; p4est; Julia; OpenFOAM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Referenced in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OPERA

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

Pascal-SC

Software Authors:   Bohlender, Gerd; Ullrich, Christian; Wolff von Gudenberg, Jürgen; Rall, Louis B.
Referenced in: 27 Publications (1984–2016)
Related Software: JAKEF; Maple; DiffSharp; OPTRAGEN; VPLAN; MISER3; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

PAKCS

Software Authors:   M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, F. Steiner
Referenced in: 25 Publications (1994–2020)
Related Software: TOY; Curry; Haskell; BABEL; KiCS2; Kernel-LEAF; …
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)

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)

JoCaml

Software Authors:   Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan
Referenced in: 26 Publications (2000–2022)
Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

POMDP

Software Authors:   Cassandra, Anthony R.
Referenced in: 24 Publications (2001–2021)
Related Software: PRISM; Storm; Jani; z3; Reluplex; Adam; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CCured

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

ecp

Software Authors:   Nicholas A. James, Wenyu Zhang, David S. Matteson
Referenced in: 17 Publications (2015–2022)
Related Software: changepoint; R; wbs; cpm; strucchange; bcp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ViennaRNA

Software Authors:   Lorenz, Ronny and Bernhart, Stephan H. and Höner zu Siederdissen, Christian and Tafer, Hakim and Flamm, Christoph and Stadler, Peter F. and Hofacker, Ivo L.
Referenced in: 23 Publications (2002–2022)
Related Software: Rfam; VARNA; NNDB; RNAsubopt; KEGG; Mfold; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

FDRSeg

Software Authors:   Li, Housen; Munk, Axel; Sieling, Hannes
Referenced in: 14 Publications (2016–2022)
Related Software: wbs; R; stepR; changepoint; CRAN; breakfast; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 18 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)

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)

MaxSolver

Software Authors:   Zhao Xing , Weixiong Zhang
Referenced in: 19 Publications (2005–2013)
Related Software: Chaff; MiniMaxSat; Pueblo; MiniSat; PBS; UBCSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

SCIFF

Software Authors:   Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Referenced in: 19 Publications (2006–2022)
Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; DeepProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

Atomizer

Software Authors:   Flanagan C, Freund SN
Referenced in: 16 Publications (2004–2021)
Related Software: Velodrome; SingleTrack; Eraser; Java PathFinder; Goldilocks; ESC/Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

qpDUNES

Software Authors:   Janick Frasch; Hans Joachim Ferreau; Moritz Diehl; Milan Vukov
Referenced in: 15 Publications (2015–2022)
Related Software: qpOASES; ACADO; CVXGEN; Ipopt; LiftOpt; VIATOC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

ASPIDE

Software Authors:   Febbraro, Onofrio; Reale, Kristian; Ricca, Francesco
Referenced in: 11 Publications (2012–2021)
Related Software: SeaLion; Kara; APE; WASP; Potassco; spock; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Dyna

Software Authors:   Jason Eisner; Eric Goldlust; Noah A. Smith; Filardo, N. W.
Referenced in: 13 Publications (2008–2022)
Related Software: ProbLog; kProbLog; PRISM; Datalog; BLOG; Church; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

FODD-Planner

Software Authors:   Joshi, S.; Khardon, R.
Referenced in: 13 Publications (2008–2021)
Related Software: FluCaP; Graphplan; ProbLog; GOLOG; PEORL; REBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TM-align

Software Authors:   Zhang, Y., Skolnick, J.
Referenced in: 9 Publications (2009–2021)
Related Software: BLAST; PSI-BLAST; ClustalW; MAMMOTH; SSAP; Gephi; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

KAAPI

Software Authors:   Thierry Gautier; Xavier Besseron; Laurent Pigeon
Referenced in: 8 Publications (2007–2021)
Related Software: LinBox; Cilk; StarPU; SMCSolver; GXL; JaCoP; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

NSIPS

Software Authors:   Vaz, A.Ismael F.; Fernandes, Edite M.G.P.
Referenced in: 14 Publications (2003–2020)
Related Software: SIPAMPL; AMPL; NPSOL; Optimization Toolbox; Matlab; RPSALG; …
Main Fields: Functional analysis (46-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

PLUMP

Software Authors:   Beg, Ivan; Ling, Wu; M\"uller, Andreas; Przybyszewski, Piotr; R\"uhl, Roland; Sawyer, William
Referenced in: 14 Publications (1991–2009)
Related Software: PROGRES; SPARSKIT; ITSOL
Main Fields: Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); Real functions (26-XX)

PORGY

Software Authors:   Maribel Fernandez; Hélène Kirchner
Referenced in: 14 Publications (2011–2020)
Related Software: GP 2; ELAN; GROOVE; Stratego; visone; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

claspfolio 2

Software Authors:   Hoos, Holger; Lindauer, Marius; Schaub, Torsten
Referenced in: 11 Publications (2014–2021)
Related Software: SATzilla; SMAC; auto-sklearn; Proteus; Auto-WEKA; clasp; …
Main Fields: 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)

EDDIE

Software Authors:   Edward Tsang
Referenced in: 12 Publications (1992–2009)
Related Software: Matlab; EVIM; GAP
Main Fields: Group theory and generalizations (20-XX); Statistics (62-XX); Numerical analysis (65-XX)

kFOIL

Software Authors:   Landwehr, N., Passerini, A., De Raedt, L., Frasconi, P.
Referenced in: 12 Publications (2007–2022)
Related Software: Aleph; nFOIL; C4.5; QuickFOIL; XGBoost; UCI-ml; …
Main Fields: Mathematical logic and foundations (03-XX); Functional analysis (46-XX); Statistics (62-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)

StOpt

Software Authors:   Hugo Gevret, Nicolas Langrené, Jerome Lelong, Xavier Warin, Aditya Maheshwari
Referenced in: 10 Publications (2017–2022)
Related Software: MSPPy; StructDualDynProg.jl; StochDynamicProgramming.jl; SDDP; JuMP; KernSmooth; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

voFoam

Software Authors:   Tomislav Maric, Holger Marschall, Dieter Bothe
Referenced in: 12 Publications (2014–2021)
Related Software: Gerris; PROST; VOFTools; SLIC; OpenFOAM; KRAKEN; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

ATGen

Software Authors:   Christophe Meudec
Referenced in: 5 Publications (2005–2012)
Related Software: Pex; Lutess; GATeL; QuickCheck; SWI-Prolog; jPET; …
Main Fields: Computer science (68-XX)

DAGuE

Software Authors:   George Bosilca, Aurelien Bouteiller, Anthony Danalis, Thomas Herault, Pierre Lemarinier, Jack Dongarra
Referenced in: 9 Publications (2011–2019)
Related Software: LAPACK; PLASMA; MAGMA; StarPU; LINPACK; ScaLAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

htd

Software Authors:   Abseher, Michael; Musliu, Nysret; Woltran, Stefan
Referenced in: 11 Publications (2018–2022)
Related Software: Clingo; selp; WASP; Lpopt; GANAK; eclingo; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

JAsCo

Software Authors:   Cibrán, María Agustina; D’Hondt, Maja; Suvée, Davy; Vanderperren, Wim; Jonckers, Viviane
Referenced in: 6 Publications (2003–2008)
Related Software: AspectJ; JBoss; ASSAM; ReCrash; ASM; SPEC Benchmarks; …
Main Fields: Computer science (68-XX)

Jass

Software Authors:   Bartetzko, M.M.D., Fischer, C., Wehrheim, H.
Referenced in: 5 Publications (2005–2009)
Related Software: JML; Eiffel; Spec#; LOOP; KRAKATOA; KeY; …
Main Fields: Computer science (68-XX)

SDDP

Software Authors:   Dowson, O.; Kapelevich, L.
Referenced in: 9 Publications (2019–2022)
Related Software: Julia; JuMP; Gurobi; MSPPy; GitHub; SUTIL; …
Main Fields: Operations research, mathematical programming (90-XX)

Coala

Software Authors:   Gebser, Martin; Grote, Torsten; Schaub, Torsten
Referenced in: 10 Publications (2010–2013)
Related Software: CCalc; f2lp; Cplus2ASP; oClingo; PDDL; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MMC

Software Authors:   Yang, Ping; Ramakrishnan, C.R.; Smolka, Scott A.
Referenced in: 9 Publications (2003–2020)
Related Software: MWB; Uppaal; SPIN; HOL/SPIN; SLMC; MCK; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

VeriCool

Software Authors:   Smans, J., Jacobs, B., Piessens, F.
Referenced in: 9 Publications (2009–2012)
Related Software: Boogie; VeriFast; VCC; Spec#; KRAKATOA; ESC/Java; …
Main Fields: Computer science (68-XX)

CGH-Plotter

Software Authors:   Reija Autio; Sampsa Hautaniemi; Päivikki Kauraniemi; Olli Yli-Harja; Jaakko Astola; Maija Wolf; Anne Kallioniemi
Referenced in: 8 Publications (2004–2018)
Related Software: KernSeg; Segmentor3IsBack; ecp; wbs; CGHPRO
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

DEMO

Software Authors:   Jan van Eijck
Referenced in: 9 Publications (2007–2021)
Related Software: SMCDEL; MCK; MCMAS; Haskell; HasCacBDD; CacBDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GUSS

Software Authors:   Bussieck, Michael R.; Ferris, Michael C.; Lohmann, Timo
Referenced in: 8 Publications (2012–2021)
Related Software: GAMS; AIMMS; AMPL; SBB; LINGO; LINDO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Ibis

Software Authors:   Nieuwpoort R., Maassen J., Wrzesinska G., Hofman R.F.H., Jacobs C.J.H., Kielmann T., Bal H.E
Referenced in: 1 Publication (2009)
Related Software: MPJ Express; NAS Parallel Benchmarks; CUDA; OpenMPI; BEEM; DiVinE; …
Main Fields: Computer science (68-XX)

L2WPMA

Software Authors:   Ioannis C. Demetriou
Referenced in: 8 Publications (2002–2022)
Related Software: FITPACK; Sheppack; QSHEP5D; CSHEP2D; TSHEP2D; QSHEP3D; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

Segmentor3IsBack

Software Authors:   Alice Cleynen, Michel Koskas, Emilie Lebarbier, Guillem Rigaill, Stephane Robin
Referenced in: 5 Publications (2017–2021)
Related Software: changepoint; wbs; R; FDRSeg; stepR; not; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

AO4BPEL

Software Authors:   Charfi A, Mezini M
Referenced in: 2 Publications (2012–2013)
Related Software: WebSphere; JML; WSAT; JBoss; AspectJ; YASM; …
Main Fields: Computer science (68-XX)

Assimulo

Software Authors:   Andersson, C., Führer, C., Åkesson, J.
Referenced in: 5 Publications (2015–2022)
Related Software: Python; F2PY; SUNDIALS; PyBOX; DASSL; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

D-FLAT

Software Authors:   Bliem, B., Morak, M., Woltran, S.; Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M.
Referenced in: 8 Publications (2012–2020)
Related Software: Clingo; Jdrasil; ComputeTW; oClingo; Potassco; Gringo; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

EARTH--MANNA

Software Authors:   Sodan, Angela C.
Referenced in: 4 Publications (2002–2004)
Related Software: Cilk; Multilisp; NAS Parallel Benchmarks; ScaLAPACK; FGb
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

IMOST

Software Authors:   Lai, Young-Jou
Referenced in: 8 Publications (1995–2009)
Related Software: LINGO
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Impromptu

Software Authors:   Grishikashvili, Ella; Allen, M.; Taleb-Bendiab, A.
Referenced in: 8 Publications (2002–2011)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Functional analysis (46-XX)

Pnuts

Software Authors:   –
Referenced in: 8 Publications (2000–2010)
Related Software: JASP; Jasp; XploRe; R; PtPlot; LISP-STAT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PROCOL

Software Authors:   van den Bos, Jan; Laffa, Chris
Referenced in: 7 Publications (1991–2002)
Related Software: PICCOLA; AspectJ; JAsCo; Rapide; Simula 67; Eiffel; …
Main Fields: Computer science (68-XX)

SOPRA

Software Authors:   A. Dayarian, T.P. Michael, A.M. Sengupta
Referenced in: 7 Publications (2015–2021)
Related Software: GRASS; SCARPA; Bambus 2; BESST; Samtools; ScaffMatch; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

dynASP

Software Authors:   Morak, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
Referenced in: 7 Publications (2010–2022)
Related Software: Jdrasil; ToTo; Regina; Lparse; MiniSat; Gurobi; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

GeneScout

Software Authors:   Yin, Michael M.; Wang, Jason T.L
Referenced in: 3 Publications (2007–2009)
Related Software: iPiG; KNIME; MyriMatch; Peppy; PGTools; PGx; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

GPAW

Software Authors:   J. Enkovaara, N. A. Romero, S. Shende, J. J. Mortensen
Referenced in: 1 Publication (2016)
Related Software: Python; ASE; NumPy; ABINIT; LAMMPS; Scikit; …
Main Fields: Fluid mechanics (76-XX)

iTasks

Software Authors:   Plasmeijer, Rinus; Achten, Peter; Koopman, Pieter
Referenced in: 5 Publications (2008–2013)
Related Software: CLEAN; Miranda; Haskell; ML; GUM; Links; …
Main Fields: Computer science (68-XX)

LZeroSpikeInference

Software Authors:   Jewell, Sean; Witten, Daniela
Referenced in: 7 Publications (2018–2021)
Related Software: ElemStatLearn; CRAN; R; PROGRESS; ITSM2000; NEOS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

MSPPy

Software Authors:   Ding L, Ahmed S, Shapiro A
Referenced in: 6 Publications (2020–2022)
Related Software: SDDP; JuMP; StOpt; StochDynamicProgramming.jl; StructDualDynProg.jl; Python; …
Main Fields: Operations research, mathematical programming (90-XX)

MUSCOP

Software Authors:   Potschka, Andreas
Referenced in: 7 Publications (2001–2021)
Related Software: NewtonLib; ADOL-C; UFL; FEniCS; DOLFIN; MUMPS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX)

Orca

Software Authors:   Sutherland P, Rossini A, Lumley T, Lewin-Koh N, Dickerson J, Cox Z, Cook D
Referenced in: 6 Publications (2003–2020)
Related Software: R; XGobi; GGobi; ggplot2; knitr; plotly; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SSAP

Software Authors:   Orengo, C. A.; Taylor, W. R.
Referenced in: 5 Publications (2002–2017)
Related Software: TM-align; MultiProt; MAMMOTH; R; BLAST; PSI-BLAST; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)