×

Found 10 Software Packages (Results 1–10)

OSL

Software Authors:   IBM
Cited in: 105 Publications (1992–2018)
Related Software: CPLEX; MINTO; MINOS; GAMS; LINDO; AMPL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SG

Software Authors:   Holst, M.J.
Cited in: 38 Publications (2001–2022)
Related Software: APBS; FreeFem++; CHARMM; DelPhi; PDB2PQR; MIBPB; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Reluplex

Software Authors:   Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer
Cited in: 29 Publications (2017–2022)
Related Software: AI2; Marabou; Adam; NNV; MNIST; DeepFool; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

OPERA

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

PipLib

Software Authors:   Feautrier, P.
Cited in: 12 Publications (1988–2018)
Related Software: 4ti2; isl; Macaulay2; IML - Integer Matrix Library; Lucid; Sehwa; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SIAD

Software Authors:   –
Cited in: 4 Publications (2008–2017)
Related Software: ISYDS
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SimpleS

Software Authors:   Gonçalves, Eduardo N.; Palhares, Reinaldo M.; Takahashi, Ricardo H.C.; Mesquita, Renato C.
Cited in: 4 Publications (2006–2016)
Related Software: LGO; Global Optimization Toolbox For Maple; Qhull; LMI toolbox
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)

ISYDS

Software Authors:   L. Angulo Meza, L. Biondi Neto, J.C.C.B. Soares de Mello, E.G. Gomes
Cited in: 2 Publications (2009–2017)
Related Software: SIAD
Main Fields: Operations research, mathematical programming (90-XX)

DyLP

Software Authors:   Hafer, L.
Cited in: 1 Publication (2016)
Related Software: MiniZinc; KQML; pyCMPL; CMPL; XMLSpy; NEOS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

ECOBAS

Software Authors:   Benz J, Hoch R, Legovic T
Cited in: 0 Publications
Related Software: R; Matlab; AQUASIM; Proto; qualV; R.oo; …
Main Fields: