×

Found 33 Software Packages (Results 1–33)

BARON

Software Authors:   Sahinidis, Nikolaos V.
Referenced in: 364 Publications (1996–2022)
Related Software: GAMS; CPLEX; SCIP; ANTIGONE; LINDO; Ipopt; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MISER3

Software Authors:   L S Jennings, M E Fisher, K L Teo, C J Goh
Referenced in: 83 Publications (1990–2022)
Related Software: Visual MISER; NLPQLP; Matlab; NLPQL; SNOPT; FFSQP(f77); …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PostgreSQL

Software Authors:   –
Referenced in: 51 Publications (2000–2022)
Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

ACRITH-XSC

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

INTBIS

Software Authors:   Kearfott, R.Baker; Novoa, Manuel III
Referenced in: 31 Publications (1990–2018)
Related Software: INTLIB; IbexOpt; Numerica; ANTIGONE; ICOS; C-XSC 2.0; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

cc(FD)

Software Authors:   Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
Referenced in: 17 Publications (1998–2021)
Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

ICOS

Software Authors:   Lebbah, Y.
Referenced in: 16 Publications (2005–2021)
Related Software: BARON; Numerica; COCONUT; RealPaver; ANTIGONE; LINDO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

IBEX

Software Authors:   Chabert, G; Ninin, Jordan
Referenced in: 13 Publications (2009–2022)
Related Software: Numerica; PROFIL/BIAS; filib++; IbexOpt; RealPaver; gaol; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

VSDP

Software Authors:   V. Härter; C. Jansson; M. Lange
Referenced in: 12 Publications (2009–2019)
Related Software: Mosek; SeDuMi; YALMIP; SDPT3; SDPA; CSDP; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Fran

Software Authors:   Elliott, Conal; Hudak, Paul
Referenced in: 8 Publications (1997–2020)
Related Software: Haskell; Esterel; Yampa; TBAG; Copilot; seL4; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Numerical analysis (65-XX)

Helios

Software Authors:   Laurent Michel, Pascal Van Hentenryck
Referenced in: 10 Publications (1997–2015)
Related Software: AMPL; Newton; FleetWave; Skyblue; Mozart; QOCA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

INTERVAL_ARITHMETIC

Software Authors:   Kearfott, R.Baker
Referenced in: 9 Publications (1996–2017)
Related Software: INTLIB; INTOPT_90; GSL; EISPACK; Matlab; LAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Statistics (62-XX)

TituRel

Software Authors:   Gunther Schmidt
Referenced in: 8 Publications (2007–2015)
Related Software: RelView; Haskell; Algorithm 97; Z; Ralf; Rath; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

MGTP

Software Authors:   Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki
Referenced in: 6 Publications (1995–2013)
Related Software: SATCHMO; TPTP; MiniSat; FINDER; QMaxSAT; Scsat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CaSPER

Software Authors:   Correia, M., Barahona, P., Azevedo, F.
Referenced in: 6 Publications (2007–2013)
Related Software: MINION; Gecode; CSPLib; Choco; CPLEX; Cardinal; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Newton

Software Authors:   Van Hentenryck, Pascal; Michel, Laurent; Benhamou, F.
Referenced in: 5 Publications (1997–2013)
Related Software: Helios; PASCAL-XSC; COMET; cc(FD); Skyblue; Mozart; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Transactors

Software Authors:   Field, John; Varela, Carlos A.
Referenced in: 6 Publications (2005–2018)
Related Software: Erlang; AmbientTalk; Timber; Cilk; ProActive; CauDEr; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CAMPARY

Software Authors:   Mioara Joldes; Jean-Michel Muller; Valentina Popescu; Warwick Tucker
Referenced in: 5 Publications (2016–2020)
Related Software: MPFR; CUDA; Flocq; Coq; CHEXVIS; 3D Alpha Shapes; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

CADAC

Software Authors:   Cohen, Marty S.; Hull, T.E.; Hamacher, V.Carl
Referenced in: 4 Publications (1983–2017)
Related Software: VPI; C-XSC; decNumber; dfp; PROFIL/BIAS; INTLIB; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Lurupa

Software Authors:   Keil, C.
Referenced in: 4 Publications (2009–2015)
Related Software: Numerica; COCONUT; INTOPT_90; INTLAB; YALMIP; SeDuMi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SONIC

Software Authors:   Beelitz, T., Bischof, C.H., Lang, B., Willems, P
Referenced in: 4 Publications (2006–2014)
Related Software: INTOPT_90; GlobSol; INTBIS; INTLAB; filib++; C-XSC 2.0; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GI-log

Software Authors:   Zhang, Zhizheng; Wang, Bin; Zhang, Shutao
Referenced in: 3 Publications (2016–2020)
Related Software: selp; Clingo; Gringo; Lpopt; htd; WASP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BiGGER

Software Authors:   Krippahl, Ludwig; Barahona, Pedro
Referenced in: 2 Publications (2005–2008)
Related Software: PSICO; Chimera; BIOCHAM; CaSPER; DYANA
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

DBT Simulator

Software Authors:   Seyyedi, Saeed; Cengiz, Kubra; Kamasak, Mustafa; Yildirim, Isa
Referenced in: 2 Publications (2013–2015)
Related Software: AIR tools; Matlab
Main Fields: Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

Moore

Software Authors:   Walter F. Mascarenhas
Referenced in: 1 Publication (2019)
Related Software: filib++; PROFIL/BIAS; MPFR; JInterval; gaol; C-XSC 2.0; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Octave Interval

Software Authors:   Oliver Heimlich
Referenced in: 2 Publications (2018–2020)
Related Software: kv; INTLAB; MPFR
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

CGPOPS

Software Authors:   Agamawi, Yunus M.; Rao, Anil V.
Referenced in: 1 Publication (2020)
Related Software: ICLOCS; PSOPT; ADiGator; GPOPS; Ipopt; DIRCOL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

DQSEGDB

Software Authors:   Ryan P. Fisher, Gary Hemming, Marie-Anne Bizouard, Duncan A. Brown, Peter F. Couvares, Florent Robinet, Didier Verkindt
Referenced in: 0 Publications
Related Software: GWSumm; PHP; MariaDB; Python
Main Fields:

KADDSTAT

Software Authors:   Kilmer, Brian; Harnett, Donald L.
Referenced in: 1 Publication (1998)
Related Software: Excel
Main Fields: Statistics (62-XX)

knights-and-liars

Software Authors:   Tabatabai, Paul; Gruber, Dieter P.
Referenced in: 1 Publication (2021)
Related Software: GitHub; OEIS; COIN-OR; Gurobi
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

SSP

Software Authors:   Safikhani, Z., et al.
Referenced in: 1 Publication (2022)
Related Software: Gurobi; MultiTrans; Scallop2; ShoRAH; StringTie; RefShannon; …
Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

TIV.lib

Software Authors:   António Ramires, Gilberto Bernardes, Matthew E. P. Davies, Xavier Serra
Referenced in: 0 Publications
Related Software: MixMash; madmom; LibROSA; Essentia; Python
Main Fields:

robustrao

Software Authors:   María del Carmen Calatrava Moreno, Thomas Auzinger
Referenced in: 0 Publications
Related Software:
Main Fields: