×

Found 27 Software Packages (Results 1–27)

Mosek

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

PDDL

Software Authors:   Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.
Cited in: 92 Publications (2000–2022)
Related Software: Graphplan; Walksat; SAPA; LPG; MiniSat; UCPOP; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MCF

Software Authors:   Löbel, Andreas
Cited in: 27 Publications (1998–2021)
Related Software: DIMACS; CPLEX; XPRESS; SNAP; BGL; CS2; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

MIRPLib

Software Authors:   Papageorgiou, Dimitri J.; Nemhauser, George L.; Sokol, Joel; Cheon, Myun-Seok; Keha, Ahmet B.
Cited in: 20 Publications (2014–2022)
Related Software: VRP; irace; CPLEX; Apache Spark; SATzilla; Paramils; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CLOVES

Software Authors:   Ganesh, K.; Narendran, T.T.
Cited in: 12 Publications (2007–2021)
Related Software: VRP; AlexNet; LBFGS-B; BinaryConnect; Reluplex; Adam; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OptiRisk

Software Authors:   –
Cited in: 10 Publications (2008–2022)
Related Software: TwitterMonitor; PySP; Pyomo; MPI
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Saucy

Software Authors:   Paul T. Darga; Hadi Katebi; Mark Liffiton; Igor L. Markov; Karem Sakallah
Cited in: 8 Publications (2014–2019)
Related Software: bliss; nauty; MiniSat; conauto; Easychair; Traces; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PVM-RPC

Software Authors:   Krantz, A.T.; Sunderam, V.S.
Cited in: 5 Publications (1997–2002)
Related Software: PVM; NetSolve
Main Fields: Computer science (68-XX)

EMiT

Software Authors:   van Dongen, Boudewijn F.; van der Aalst, Wil M.P.
Cited in: 3 Publications (2002–2005)
Related Software: JViews; ProM; PNML; Woflan
Main Fields: Computer science (68-XX)

PyTOPS

Software Authors:   Vinay Yadav, Subhankar Karmakar, Pradip P. Kalbar, A.K. Dikshit
Cited in: 0 Publications
Related Software: Python; Super Decisions; Visual PROMETHEE; Excel; Guimoo; Decisionarium; …
Main Fields:

ODEA

Software Authors:   Oellrich, Martin
Cited in: 3 Publications (2008–2015)
Related Software: CPLEX; PlaNet
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PMLP

Software Authors:   Birov, L., Prokofiev, A., Bartenev, Y., Vargin, A., Purkayastha, A., Skjellum, A., Dandass, Y., Erzunov, V., Shanikova, E., Ovechkin, V., Bangalore, P., Shuvalov, E., Orlov, N.F.A., Egorov, S
Cited in: 2 Publications (2002–2004)
Related Software: CPPX; ESSL; MTL4; PHiPAC; BLAS; GEMMW; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

VIGOLT

Software Authors:   Bukharov, D.S.; Kazakov, A.L.
Cited in: 3 Publications (2013–2016)
Related Software: Protege; OLSIM; CLIPS
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Controlled Optimal Design

Software Authors:   Jiaqiao Hu, Wei Zhu, Yi Su, Weng Kee Wong
Cited in: 1 Publication (2020)
Related Software: PROC LOGISTIC; Matlab; PROC NLMIXED; SAS/STAT; PsN; PERL
Main Fields: Statistics (62-XX)

DataLad

Software Authors:   Halchenko et al.
Cited in: 0 Publications
Related Software: Python; FitLins; BIDS apps; FMRIPrep; PyBIDS; TemplateFlow; …
Main Fields:

LogiLab

Software Authors:   Sébastien Lemieux, Sophie D'Amours, Mathieu Bouchard, Martin Simard Line Simoneau, Maxime Morneau-Pereira, Jonathan Gaudreault, Amélie Tremblay, Mustapha Ouhimmou
Cited in: 2 Publications (2017–2018)
Related Software: SilviLab
Main Fields: Operations research, mathematical programming (90-XX)

Matlog

Software Authors:   Michael G. Kay
Cited in: 1 Publication (2017)
Related Software: Matlab
Main Fields: Operations research, mathematical programming (90-XX)

MEFISTO

Software Authors:   Cardeneo, Andreas; Heid, Werner; Radaschewski, Frank; Scheffermann, Robert; Spallek, Johannes
Cited in: 2 Publications (2009)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OR-Gym

Software Authors:   Christian D. Hubbs, Hector D. Perez, Owais Sarwar, Nikolaos V. Sahinidis, Ignacio E. Grossmann, John M. Wassick
Cited in: 0 Publications
Related Software: Gurobi; OpenAI Gym; MIPLIB; SciPy; xtensor; Seaborn; …
Main Fields:

Polyrun

Software Authors:   Krzysztof Ciomek, Miłosz Kadziński
Cited in: 1 Publication (2022)
Related Software: Billiard walk; diviz; walkr; COBRA Toolbox; Matlab; VolEsti; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ANP

Software Authors:   Super Decisions; Thomas Saaty.; ANP Team; Chen, Kejia; Yu, Xiankang
Cited in: 1 Publication (2012)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Aspen Fleet Optimizer

Software Authors:   Aspen Technology
Cited in: 1 Publication (2017)
Related Software: ProPlan; ProSched; Aspen Refinery Multi-Blend Optimizer; Aspen Custom Modeler; Aspen Petroleum Scheduler; aspenONE; …
Main Fields: Operations research, mathematical programming (90-XX)

crossoverOX

Software Authors:   –
Cited in: 1 Publication (2022)
Related Software: VRPSolver; Cvrplib; VRP
Main Fields: Operations research, mathematical programming (90-XX)

osBrain

Software Authors:   OpenSistemas
Cited in: 0 Publications
Related Software: JAM; Jupyter; Node.js; Eve; TensorFlow.js; ZeroMQ; …
Main Fields:

asprilo

Software Authors:   Gebser, Martin; Obermeier, Philipp; Otto, Thomas; Schaub, Torsten; Sabuncu, Orkunt; Nguyen, Van; Son, Tran Cao
Cited in: 0 Publications
Related Software:
Main Fields:

4flow

Software Authors:   4flow.de
Cited in: 0 Publications
Related Software:
Main Fields:

Magentix2

Software Authors:   Valero, S.; del Val, E.; Alemany; Botti, V.
Cited in: 0 Publications
Related Software:
Main Fields: