×

Found 662 Software Packages (Results 1–100)

Mathematica

Cited in 6,329 Documents (1986–2024)
Software Authors: Wolfram Research
Related Software: Maple; Matlab; R; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Ipopt

Cited in 819 Documents (2005–2023)
Software Authors: Andreas Waechter, Carl Laird
Related Software: AMPL; SNOPT; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

SCIP

Cited in 601 Documents (2005–2023)
Software Authors: Tristan Gally, Gerald Gamrath, Patrick Gemander, Ambros Gleixner, Robert Gottwald, Gregor Hendel, Christopher Hojny, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Stefan Vigerske, Dieter Weninger, Jakob Witzig
Related Software: CPLEX; MIPLIB; Gurobi; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

SNOPT

Cited in 568 Documents (1997–2023)
Software Authors: Gill, Philip E.; Murray, Walter; Saunders, Michael A.
Related Software: Ipopt; AMPL; KNITRO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

glasso

Cited in 562 Documents (2008–2023)
Software Authors: Mazumder, Rahul; Hastie, Trevor; J. Friedman, T.; R. Tibshirani
Related Software: R; glmnet; huge; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Mosek

Cited in 528 Documents (1999–2023)
Software Authors: MOSEK ApS
Related Software: YALMIP; SeDuMi; SDPT3; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

CGAL

Cited in 385 Documents (2000–2023)
Software Authors: CGAL Editorial Board
Related Software: LEDA; 2D triangulations; 2D Arrangement; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …

BARON

Cited in 398 Documents (1996–2023)
Software Authors: Sahinidis, Nikolaos V.
Related Software: CPLEX; GAMS; SCIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

XFEM

Cited in 389 Documents (2002–2022)
Software Authors: Bordas, Stéphane Author Profile; Nguyen, Phu Vinh; Dunant, Cyrille; Guidoum, Amor; Nguyen-Dang, Hung
Related Software: Matlab; Gmsh; ABAQUS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

MIPLIB

Cited in 354 Documents (1994–2023)
Software Authors: Achterberg, Tobias; Koch, Thorsten; Martin, Alexander
Related Software: SCIP; MIPLIB2003; CPLEX; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GloptiPoly

Cited in 350 Documents (2003–2023)
Software Authors: Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg
Related Software: SeDuMi; YALMIP; Sostools; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

Smodels

Cited in 229 Documents (1999–2022)
Software Authors: Niemelä, Ilkka; Simons, P; Syrjänen, Tommi
Related Software: ASSAT; Cmodels; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

LOQO

Cited in 211 Documents (1994–2023)
Software Authors: Vanderbei, Robert J.
Related Software: AMPL; Ipopt; MINOS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

CSDP

Cited in 205 Documents (1999–2023)
Software Authors: Borchers, Brian
Related Software: SeDuMi; SDPT3; SDPA; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GLPK

Cited in 188 Documents (2004–2023)
Software Authors: Andrew Makhorin
Related Software: CPLEX; Gurobi; AMPL; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

JuMP

Cited in 173 Documents (2017–2023)
Software Authors: I. Dunning, J. Huchette, M. Lubin
Related Software: Julia; Gurobi; GitHub; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

SDPA

Cited in 188 Documents (1997–2023)
Software Authors: Fujisawa, Katsuki; Kojima, Masakazu; Nakata, Kazuhide
Related Software: SeDuMi; SDPT3; CSDP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

KEEL

Cited in 94 Documents (2009–2023)
Software Authors: Alcalá-Fdez, J.; Sánchez, L.; García, S.; del Jesus, M.J.; Ventura, S.; Garrell, J.M.; Otero, J.; Romero, C.; Bacardit, J.; Rivas, V.M.; Fernández, J.C.; Herrera, F.
Related Software: JStatCom; UCI-ml; C4.5; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CUDD

Cited in 152 Documents (1997–2022)
Software Authors: Fabio Somenzi
Related Software: NuSMV; SPIN; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Miranda

Cited in 155 Documents (1985–2023)
Software Authors: Turner, D.A.
Related Software: Haskell; ML; CLEAN; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX); …

NQTHM

Cited in 146 Documents (1979–2022)
Software Authors: Boyer, Robert S.; Moore, J. Strother
Related Software: HOL; ACL2; PVS; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); …

ROME

Cited in 149 Documents (2010–2023)
Software Authors: Goh, Joel; Sim, Melvyn
Related Software: YALMIP; CVX; CPLEX; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX); …

FEASPUMP

Cited in 135 Documents (1979–2023)
Software Authors: Fischetti, Matteo; Salvagnin, Domenico
Related Software: MIPLIB; CPLEX; MIPLIB2003; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GRASP

Cited in 133 Documents (1996–2023)
Software Authors: Paola Festa; Resende, Mauricio G.C.; Pardalos, Panos M.; Li, Yong
Related Software: Tabu search; PERL; TTTPLOTS; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

AspectJ

Cited in 99 Documents (2001–2022)
Software Authors: Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey
Related Software: CaesarJ; JBoss; JAsCo; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …

Java PathFinder

Cited in 91 Documents (2000–2021)
Software Authors: Havelund, Klaus; Pressburger, Thomas
Related Software: SPIN; Bandera; veriSoft; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

PARAMESH

Cited in 105 Documents (2000–2023)
Software Authors: P. MacNeice, K.M. Olson, C. Mobarry, R. de Fainchtein, C. Packer
Related Software: Chombo; FLASH; Gerris; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

ABACUS

Cited in 117 Documents (1996–2022)
Software Authors: Elf, Matthias; Gutwenger, Carsten; Jünger, Michael; Rinaldi, Giovanni
Related Software: CPLEX; MINTO; SYMPHONY; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Diffpack

Cited in 112 Documents (1996–2021)
Software Authors: Bruaset, Are Magnus; Langtangen, Hans Petter
Related Software: PETSc; LAPACK; UG; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LARCH

Cited in 105 Documents (1989–2023)
Software Authors: Guttag, John V.; Horning, James J.
Related Software: JML; Eiffel; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); …

PENNON

Cited in 112 Documents (2003–2022)
Software Authors: Kočvara, Michal; Stingl, Michael
Related Software: SeDuMi; SDPT3; COMPleib; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

MSLiP

Cited in 111 Documents (1990–2022)
Software Authors: Gassmann, Horand I.
Related Software: GAMS; CPLEX; SLP-IOR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ProbLog

Cited in 106 Documents (2007–2023)
Software Authors: Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried
Related Software: PRISM; PITA; CP-logic; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …

C-XSC

Cited in 107 Documents (1992–2021)
Software Authors: Lawo, Christian
Related Software: C-XSC 2.0; INTLAB; PROFIL/BIAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ELAN

Cited in 106 Documents (1996–2020)
Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Related Software: Maude; CafeOBJ; OBJ3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

MINLPLib

Cited in 105 Documents (2002–2023)
Software Authors: Bussieck, Michael R.; Drud, Arne Stolbjerg; Meeraus, Alexander
Related Software: SCIP; Ipopt; BARON; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Linda

Cited in 77 Documents (1985–2020)
Software Authors: Gelernter, David
Related Software: KLAIM; LIME; ReSpecT; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …

Scala

Cited in 85 Documents (2005–2023)
Software Authors: Loverdos, Christos K. K.; Syropoulos, Apostolos
Related Software: Coq; z3; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX); …

CHIP

Cited in 82 Documents (1989–2022)
Software Authors: Dincbas, M.; Simonis, H.; van Hentenryck, P.
Related Software: Oz; ILOG SCHEDULE; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

SoPlex

Cited in 86 Documents (1996–2020)
Software Authors: Roland Wunderling
Related Software: SCIP; CPLEX; MIPLIB; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

CasADi

Cited in 81 Documents (2012–2023)
Software Authors: Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Related Software: Ipopt; SUNDIALS; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

Meschach

Cited in 82 Documents (1994–2022)
Software Authors: Stewart, David E.; Leyk, Zbigniew
Related Software: Chrono; SIMEM3 Renault; RODAS; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX); …

SAS/IML

Cited in 57 Documents (1988–2023)
Software Authors: SAS Institute Inc
Related Software: SAS; SAS/STAT; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

Potassco

Cited in 77 Documents (2008–2023)
Software Authors: Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
Related Software: Clingo; Gringo; clasp; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

APL

Cited in 77 Documents (1962–2022)
Software Authors: Kenneth E. Iverson
Related Software: Haskell; ML; PySB; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Computer science (68-XX); …

COMET

Cited in 75 Documents (2004–2021)
Software Authors: Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Related Software: CPLEX; Localizer; SALSA; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

Couenne

Cited in 77 Documents (2009–2023)
Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas
Related Software: BARON; CPLEX; Bonmin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SDPNAL+

Cited in 77 Documents (2014–2023)
Software Authors: Yang, Liuqin; Sun, Defeng; Toh, Kim-Chuan
Related Software: SDPT3; SeDuMi; QSDPNAL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); …

BABEL

Cited in 72 Documents (1988–2013)
Software Authors: Mario Rodriguez-Artalejo
Related Software: Kernel-LEAF; TOY; Curry; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ipfilter

Cited in 73 Documents (2003–2022)
Software Authors: Renata Silva; Luís Nunes Vicente; Michael Ulbrich; Stefan Ulbrich
Related Software: Ipopt; CUTEr; SNOPT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

Prolog

Cited in 57 Documents (1984–2020)
Software Authors: Daniel Diaz
Related Software: SICStus; CHIP; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …

PROGRES

Cited in 51 Documents (1994–2022)
Software Authors: Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Related Software: AGG; VIATRA2; Fujaba; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

RestoreTools

Cited in 70 Documents (2003–2021)
Software Authors: Nagy, James G.; Palmer, Katrina; Perrone, Lisa
Related Software: Regularization tools; IR Tools; UTV; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

OrthoMADS

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

GALAHAD

Cited in 66 Documents (2003–2023)
Software Authors: Nicholas I.M. Gould, Dominique Orban, Philippe L. Toint
Related Software: CUTEr; SifDec; CUTEst; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SDPLIB

Cited in 66 Documents (1999–2022)
Software Authors: Brian Borchers
Related Software: SDPT3; SeDuMi; CSDP; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

filterSQP

Cited in 58 Documents (2001–2022)
Software Authors: Roger Fletcher; Sven Leyffer
Related Software: SNOPT; Ipopt; Bonmin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PyMC

Cited in 36 Documents (2010–2022)
Software Authors: Chris Fonnesbeck, Anand Patil, David Huard, John Salvatier
Related Software: Stan; Python; NUTS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

COMAL

Cited in 1 Document (1982)
Software Authors: Benedict Løfstedt; Børge R. Christensen
Related Software:
Main Fields: Computer science (68-XX)

FilMINT

Cited in 53 Documents (2008–2022)
Software Authors: Abhishek, Kumar; Leyffer, Sven; Linderoth, Jeff
Related Software: Bonmin; Ipopt; SCIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

SAMRAI

Cited in 49 Documents (2002–2023)
Software Authors: Hornung, Richard D.; Kohn, Scott R.
Related Software: PETSc; hypre; Chombo; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

SIGNAL

Cited in 50 Documents (1987–2020)
Software Authors: Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Related Software: Esterel; LUSTRE; Ptolemy; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …

QUALEX

Cited in 51 Documents (2002–2022)
Software Authors: Busygin, Stanislav
Related Software: DIMACS; Max-AO; Tabu search; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PCx

Cited in 50 Documents (1999–2022)
Software Authors: Czyzyk, Joseph; Mehrotra, Sanjay; Wagner, Michael; Wright, Stephen J.
Related Software: LIPSOL; HOPDM; NETLIB LP Test Set; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

ACRITH-XSC

Cited in 48 Documents (1985–2019)
Software Authors: Walter, Wolfgang V.
Related Software: C-XSC; C-XSC 2.0; PASCAL-XSC; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

Daikon

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

TRICE

Cited in 48 Documents (1997–2022)
Software Authors: Dennis, J.E.; Heinkenschloss, Matthias; Vicente, Lu'{i}s N.
Related Software: LANCELOT; Ipopt; SNOPT; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

ADVI

Cited in 47 Documents (2017–2023)
Software Authors: Alp Kucukelbir, Rajesh Ranganath, Andrew Gelman, David M. Blei
Related Software: Stan; PRMLT; NUTS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

QuadProgBB

Cited in 48 Documents (2012–2023)
Software Authors: Chen, Jieqiu; Burer, Samuel
Related Software: CPLEX; BARON; SeDuMi; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

LDGB

Cited in 47 Documents (2004–2023)
Software Authors: Haarala, M.; Miettinen, K.; M"akel"a, M.M.
Related Software: GradSamp; PNEW; QSM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

quadprog

Cited in 36 Documents (2007–2022)
Software Authors: A. Turlach; Andreas Weingessel
Related Software: R; Kernlab; kappalab; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …

GHC

Cited in 36 Documents (1986–2014)
Software Authors: Ueda, Kazunori
Related Software: PARLOG; Kima; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …

DFL

Cited in 42 Documents (2012–2022)
Software Authors: Liuzzi, G.; Lucidi, S.; Rinaldi, F.
Related Software: DFN; NOMAD; DFLBOX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

SDPHA

Cited in 41 Documents (1997–2022)
Software Authors: Brixius, Nathan; Potra, Florian A.; Sheng, Rongqin
Related Software: SDPT3; SDPA; SeDuMi; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

DUNE-FEM

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

OOQP

Cited in 38 Documents (2003–2022)
Software Authors: Mike Gertz; Steve Wright
Related Software: qpOASES; Ipopt; HSL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PARLOG

Cited in 37 Documents (1984–1993)
Software Authors: Clark, Keith; Gregory, Steve
Related Software: GHC; NARROWER; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

PDNET

Cited in 40 Documents (1996–2019)
Software Authors: Portugal, L.F.; Resende, M.G.C.; Veiga, G.; Júdice, J.J.
Related Software: DIMACS; PCx; IPM; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

PESTO

Cited in 40 Documents (2016–2022)
Software Authors: Taylor, Adrien B.; Hendrickx, Julien M.; Glineur, F.
Related Software: YALMIP; CVX; SeDuMi; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

CppAD

Cited in 33 Documents (2008–2022)
Software Authors: Bell, Bradley M.; Burke, James V.
Related Software: Ipopt; ADOL-C; SCIP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX); …

MpCCI

Cited in 38 Documents (2002–2022)
Software Authors: Fraunhofer Institut SCAI; W. Joppich, M. Kürschner
Related Software: preCICE; OpenFOAM; DTK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

nimble

Cited in 31 Documents (2017–2023)
Software Authors: Perry de Valpine, Christopher Paciorek, Daniel Turek, Cliff Anderson- Bergman, Duncan Temple Lang
Related Software: R; JAGS; Stan; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

LUPS

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

OPL

Cited in 37 Documents (2000–2023)
Software Authors: Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois
Related Software: AMPL; CHIP; SALSA; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Quipper

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

DSPCA

Cited in 35 Documents (2005–2015)
Software Authors: Alexandre d'Aspremont, Laurent El Ghaoui, Michael I. Jordan, Gert R. G. Lanckriet, Ronny Luss
Related Software: SeDuMi; SDPT3; SDPLR; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ZQPCVX

Cited in 34 Documents (1985–2022)
Software Authors: Powell, M.J.D.
Related Software: QPSchur; QPOPT; MA57; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Multilisp

Cited in 30 Documents (1985–2019)
Software Authors: Halstead, Robert H.jun.
Related Software: Creol; Eiffel; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

ParaSCIP

Cited in 32 Documents (2006–2023)
Software Authors: Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch
Related Software: SCIP; UG; MIPLIB; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PARPAP

Cited in 33 Documents (2006–2022)
Software Authors: Bertels, Stefan; Fahle, Torsten
Related Software: VRP; Hyperheuristics; XPRESS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Pueblo

Cited in 33 Documents (1998–2021)
Software Authors: Sheini, Hossein M.; Sakallah, Karem A.
Related Software: MiniSat; Chaff; Sat4j; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

CMARS

Cited in 32 Documents (2011–2022)
Software Authors: Weber, Gerhard-Wilhelm; Batmaz, İNci; Köksal, Gülser; Taylan, Pakize; Yerlikaya-Özkurt, Fatma
Related Software: ElemStatLearn; car; ARESLab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

DSDP5

Cited in 30 Documents (2004–2023)
Software Authors: Steven J. Benson; Yinyu Ye
Related Software: SDPT3; SeDuMi; SDPA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PariTOP

Cited in 30 Documents (2001–2018)
Software Authors: Kettani, Ossama; Khelifi, Karim
Related Software: LINDO; Tabu search; MOAPPS; …
Main Fields: History and biography (01-XX); Statistics (62-XX); Numerical analysis (65-XX); …

SymbolicC++

Cited in 31 Documents (1998–2018)
Software Authors: Shi, Tan Kiat; Steeb, Willi-Hans; Hardy, Yorick
Related Software: Maxima; Maple; Mathematica; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); …

BETA

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

JPAX

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

Pascal-SC

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

SIMSCRIPT

Cited in 30 Documents (1965–2008)
Software Authors: Markowitz, H.M.; Hausner, B.; Karr, H.W.
Related Software: GASP IV; Ada95; Simula 67; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

DrScheme

Cited in 27 Documents (1997–2016)
Software Authors: Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
Related Software: ACL2; Haskell; LISP; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mathematics education (97-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field