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; UOBYQA; … 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; Octagon; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-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: LMI toolbox; LGO; Global Optimization Toolbox For Maple; Qhull 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; Cbc; KQML; pyCMPL; CMPL; XMLSpy; … 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: –