METIS Software Authors: Karypis, G.; Kumar, V. Cited in: 459 Publications (1992–2022) Related Software: PETSc; MUMPS; SparseMatrix; ParMETIS; Chaco; MPI; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPGL1 Software Authors: van den Berg, Ewout; Friedlander, Michael P. Cited in: 200 Publications (2008–2022) Related Software: PDCO; NESTA; CoSaMP; FPC_AS; TwIST; CVX; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
NPSOL Software Authors: P. E. Gill, W. Murray, M. A. Saunders, M. H. Wright Cited in: 144 Publications (1984–2019) Related Software: SNOPT; AMPL; OTIS; MINOS; Matlab; LANCELOT; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
CALMA Software Authors: Aardal, Karen; Hurkens, Cor; Lenstra, Jan Karel; Tiourine, Sergey Cited in: 102 Publications (1999–2022) Related Software: CPLEX; Tabu search; DIMACS; FASoft; Algorithm 457; ABACUS; … Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
clasp Software Authors: Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Cited in: 98 Publications (2007–2022) Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Gecode Software Authors: Christian Schulte, KTH Royal Institute of Technology Cited in: 81 Publications (2007–2023) Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
LFW Software Authors: Gary B. Huang, Manu Ramesh, Tamara Berg, Erik Learned-Miller Cited in: 43 Publications (2011–2022) Related Software: FaceNet; SIFT; PubFig; FERET; AR face; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
CFSQP Software Authors: Lawrence, C.; J. Zhou; A. Tits Cited in: 57 Publications (1996–2020) Related Software: SNOPT; CONOPT; Tabu search; Genocop; PROFIL/BIAS; INTOPT_90; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
RSVM Software Authors: Yuh-Jye Lee, Olvi L. Mangasarian Cited in: 50 Publications (2004–2019) Related Software: UCI-ml; LIBSVM; Matlab; SSVM; TPMSVM; SVMTorch; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
RealPaver Software Authors: Laurent Granvilliers Cited in: 51 Publications (2003–2017) Related Software: Numerica; INTOPT_90; gaol; ICOS; CPLEX; dReal; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
WEDGE Software Authors: Marazzi, Marcelo; Nocedal, Jorge Cited in: 41 Publications (2001–2022) Related Software: DFO; UOBYQA; NEWUOA; COBYLA2; BOBYQA; KELLEY; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
Clingcon Software Authors: Martin Gebser; Max Ostrowski; Torsten Schaub Cited in: 39 Publications (2009–2022) Related Software: Clingo; clasp; Gringo; WASP; ezcsp; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
QSDPNAL Software Authors: Li, X.D., Sun, D.F., Toh. K.-C. Cited in: 37 Publications (2016–2023) Related Software: SDPNAL+; QSDP; Matlab; QAPLIB; Gurobi; CPLEX; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
TSPTW Software Authors: Focacci, Filippo; Lodi, Andrea; Milano, Michela Cited in: 39 Publications (2001–2022) Related Software: LKH; VRP; TSPLIB; ILOG SCHEDULE; SCIL; SCIP; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
OPL Software Authors: Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois Cited in: 37 Publications (2000–2023) Related Software: AMPL; CHIP; SALSA; CPLEX; Zinc; COMET; … Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ParaSCIP Software Authors: Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch Cited in: 30 Publications (2006–2022) Related Software: SCIP; UG; MIPLIB; CPLEX; MIPLIB2003; XPRESS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
Zinc Software Authors: Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark Cited in: 28 Publications (2005–2022) Related Software: Essence; MiniZinc; Gecode; AMPL; COMET; ESRA; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
Benchmarks Software Authors: Ratschan, Stefan; She, Zhikun Cited in: 25 Publications (2005–2021) Related Software: RSOLVER; HSolver; HyTech; PHAVer; Sostools; QEPCAD; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
BL data set Software Authors: Philippe Baptiste, Claude Le Pape Cited in: 26 Publications (2000–2021) Related Software: PSPLIB; CHIP; CLAIRE; MiniSat; Gecode; Zinc; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
D-ADMM Software Authors: Mota, João F. C.; Xavier, João M. F.; Aguiar, Pedro M. Q.; Püschel, Markus Cited in: 26 Publications (2013–2022) Related Software: Saga; RACQP; lcmm; clusterpath; msgl; glmnet; … Main Fields: Operator theory (47-XX); Statistics (62-XX); Computer science (68-XX)
sbw Software Authors: Zubizarreta, José R. Cited in: 22 Publications (2015–2022) Related Software: R; CBPS; KBAL; Matching; MatchIt; optweight; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)
SDPEN Software Authors: G. Liuzzi, S. Lucidi, M. Sciandrone, K. Truemper Cited in: 23 Publications (2010–2022) Related Software: DFL; NOMAD; DFBOX_IMPR; SDBOX; DFN; DFLBOX; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
OPT++ Software Authors: Sandia Corporation; J. C. Meza, R. A. Oliva, P. D. Hough, P. J. Williams Cited in: 17 Publications (1999–2018) Related Software: TAO; DAKOTA; LAPACK; CVXOPT; CVX; SNOPT; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
GASP Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Cited in: 17 Publications (2008–2021) Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; … Main Fields: Computer science (68-XX)
BOSS-Quattro Software Authors: Siemens Cited in: 15 Publications (2009–2020) Related Software: top.m; SAMCEF Mecano; SAMCEF; ESOFRAME; XFEM; SAMCEF Field; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)
SQOPT Software Authors: P.E. Gill, W. Murray, M.A. Saunders Cited in: 18 Publications (2003–2020) Related Software: SNOPT; CUTEst; qpOASES; QPA; PDCO; ZQPCVX; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
TRIPACK Software Authors: Renka, R.J. Cited in: 16 Publications (1996–2021) Related Software: SRFPACK; Algorithm 761; TSPACK; STRIPACK; R; tripack; … Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Numerical analysis (65-XX)
CPGraph Software Authors: Deville, Y., Dooms, G., Zampelli, S., Dupont, P. Cited in: 16 Publications (2005–2022) Related Software: Cardinal; Gecode; Isabelle/HOL; Coq; sharpSAT; Lynx; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
AQCS Software Authors: Ratschan, S Cited in: 14 Publications (2000–2020) Related Software: QEPCAD; RSOLVER; mctoolbox; GloptiPoly; Acumen; MetiTarski; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Numerical analysis (65-XX)
DFMO Software Authors: Liuzzi, G.; Lucidi, S.; Rinaldi, F. Cited in: 15 Publications (2016–2022) Related Software: MOIF; MultiGLODS; NBI; OrthoMADS; SMS-EMOA; ALGENCAN; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)
LGS Software Authors: Ershov, Alexey; Ivanov, Ilia; Preis, Serge; Rukoleev, Eugene; Ushakov, Dmitry Cited in: 14 Publications (1992–2010) Related Software: Joinpoint Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX)
Norn Software Authors: Abdulla, P.A., Atig, M.F., Chen, Y.-F., Holík, L., Rezine, A., Rümmer, P., Stenman, J. Cited in: 13 Publications (2017–2023) Related Software: Z3str3; HAMPI; CVC4; S3; Stranger; z3; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
ezcsp Software Authors: Balduccini, Marcello; Lierler, Yuliya Cited in: 12 Publications (2009–2021) Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
RoVerGeNe Software Authors: Grégory Batt; Calin Belta Cited in: 13 Publications (2007–2019) Related Software: RAMAS; BIOCHAM; DiVinE; PRISM; GNA; HyTech; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
sCASP Software Authors: Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Cited in: 12 Publications (2018–2022) Related Software: Clingo; ezcsp; GASP; Clingcon; DLV-EX; kFOIL; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
reducedLP Software Authors: André L. Tits, P.-A. Absil, William P. Woessner Cited in: 12 Publications (1992–2019) Related Software: rMPC; SDPT3; NewtonKKTqp; LIPSOL; CVX; SeDuMi; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
S3 Software Authors: Trinh MT, Chu DH, Jaffar J Cited in: 11 Publications (2015–2023) Related Software: z3; HAMPI; Norn; Stranger; Z3-str; Z3str3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SUNNY Software Authors: Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo Cited in: 12 Publications (2014–2021) Related Software: SATzilla; MiniZinc; Proteus; sunny-cp; aspeed; SMAC; … Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
IRIS Software Authors: Luís Dias; Vincent Mousseau; Carlos Gomes Silva Cited in: 10 Publications (2008–2019) Related Software: ELECTRE; VisualUTA; UTA Plus; Rubis; M-MACBETH; VIKOR; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)
MDC-ELLIPSOIDs Software Authors: D.S. Lopes, M.T. Silva, J.A. Ambrósio, P. Flores Cited in: 11 Publications (2010–2022) Related Software: CONTACT; LIGGGHTS; ABAQUS; Mathematica; Matlab; MATLAB ODE suite; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
Skyblue Software Authors: Michael Sannella Cited in: 8 Publications (1998–2021) Related Software: QOCA; HiRise; Cassowary; Juno-2; Amulet; Python; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
VHPOP Software Authors: Younes, H. L. S.; Simmons, R. G. Cited in: 10 Publications (2003–2021) Related Software: Graphplan; PDDL; UCPOP; LPG; Walksat; SAPA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
aspeed Software Authors: Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten Cited in: 10 Publications (2012–2020) Related Software: SATzilla; SMAC; Paramils; SUNNY; MiniZinc; llama; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Cardinal Software Authors: Azevedo, Francisco Cited in: 10 Publications (2007–2020) Related Software: CPGraph; Z/EVES; Isabelle/HOL; Coq; CSPLib; CPLEX; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
IDP3 Software Authors: Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco Cited in: 9 Publications (2015–2020) Related Software: clasp; WASP; DLV; Cmodels; Clingo; DLV2; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
SBSAT Software Authors: Franco, John; Kouril, Michal; Schlipf, John; Ward, Jeffrey; Weaver, Sean; Dransfield, Michael; Vanfleet, W.Mark Cited in: 9 Publications (2004–2012) Related Software: FORCE; Chaff; BerkMin; zChaff; sharpSAT; MiniSat; … Main Fields: Computer science (68-XX)
DrAmpl Software Authors: Fourer, Robert; Orban, Dominique Cited in: 8 Publications (2006–2020) Related Software: CVX; MProbe; AMPL; MINLPLib; GAMS; MINOTAUR; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CP Optimizer Software Authors: Philippe Laborie; Jérôme Rogerie Cited in: 8 Publications (2015–2022) Related Software: ILOG SCHEDULE; CPLEX; CHIP; PSPLIB; MiniZinc; Gecode; … Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GPDOF Software Authors: Trombettoni, Gilles; Wilczkowiak, Marta Cited in: 8 Publications (2005–2015) Related Software: RealPaver; CPLEX; SBA; Cinderella; Numerica; IBEX Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
JSetL Software Authors: Andrea Fois, Gianfranco Rossi, Elisabetta Poleo & others Cited in: 4 Publications (2009–2021) Related Software: Z; SETL; ProB; MiniZinc; Gecode; JaCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
libDDD Software Authors: – Cited in: 6 Publications (2008–2019) Related Software: Renew; GreatSPN; LoLA; LOEWE; ITS-Tools; caesar.bdd; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
CLPS-B Software Authors: Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien Cited in: 2 Publications (2002–2009) Related Software: ProB; jbtools; Rodin; XSB; FDR2; Oz; … Main Fields: Computer science (68-XX)
CLUSTAG Software Authors: Ao, S., Yip, K., Ng, M., Cheung, D., Fong, P.Y., Melhado, I., Sham, P.C. Cited in: 5 Publications (2008–2018) Related Software: HaploBlockFinder; GERBIL; SplitsTree; CompLearn; BIONJ; fastDNAml; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
MGTP Software Authors: Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki Cited 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)
StochaTR Software Authors: Bazovkin P, Mosler K Cited in: 7 Publications (2014–2022) Related Software: Qhull; R; modQR; ddalpha; CompPD; mrfDepth; … Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)
bilevel Software Authors: Pineda, S.; Bylling, H.; Morales, J. M. Cited in: 6 Publications (2018–2023) Related Software: CPLEX; SAC94; MIPLIB; MacMPEC; GAMS; CONOPT Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)
CAgen Software Authors: Wagner, M., Kleine, K., Simos, D.E., Kuhn, R., Kacker, R. Cited in: 6 Publications (2020–2023) Related Software: ACTS; AETG; PinPoint Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
CaSPER Software Authors: Correia, M., Barahona, P., Azevedo, F. Cited 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)
FocalTest Software Authors: Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud Cited in: 6 Publications (2011–2018) Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
HyLAA Software Authors: Bak, Stanley; Duggirala, Parasara Sridhar Cited in: 6 Publications (2017–2023) Related Software: Flow*; SpaceEx; Breach; C2e2; CORA; HyTech; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
SemFix Software Authors: Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , Satish Chandra Cited in: 3 Publications (2017–2022) Related Software: Prophet; Angelix; MCGP; FlashMeta; FlowDroid; FlashRelate; … Main Fields: Computer science (68-XX)
SPARQ2L Software Authors: Kemafor Anyanwu; Angela Maduko; Amit Sheth Cited in: 4 Publications (2009–2017) Related Software: SPARQL; Jena; XPath; nSPARQL; Oracle; HPRD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CDOL Software Authors: Urban, Susan D.; Karadimce, Anton P.; Dietrich, Suzanne W.; Abdellatif, Taoufik Ben; Chan, Hon Wai Rene Cited in: 4 Publications (1997–2002) Related Software: – Main Fields: Computer science (68-XX)
FES Software Authors: E. Ozcan, E. Ersoy Cited in: 3 Publications (2012–2017) Related Software: Hyperheuristics; GGSA; Hyperion; HyFlex Main Fields: Operations research, mathematical programming (90-XX)
HyperBench Software Authors: Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler Cited in: 5 Publications (2020–2023) Related Software: EmptyHeaded; LogicBlox; iBench; Hypergraph Library; LUBM; JGraphT; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
PROC NLP Software Authors: SAS Cited in: 2 Publications (2014–2018) Related Software: SAS; R; glm2; logbin; PROC GENMOD; SAS/IML; … Main Fields: Statistics (62-XX)
Salsa Software Authors: Bharadwaj, R., Sims, S. Cited in: 4 Publications (2000–2010) Related Software: Omega; CADP; Ergo 6; Maude; E-LOTOS; Uppaal; … Main Fields: Computer science (68-XX)
TCAS Software Authors: Gotlieb, A. Cited in: 3 Publications (2012–2019) Related Software: z3; SMT-LIB; MiniSat; CPBPV; DART; S3; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
XASP Software Authors: Castro, L., Swift, T., Warren, D.S. Cited in: 5 Publications (2009–2012) Related Software: Smodels; Essence; ESRA; Clingcon; ACORDA; XSB; … Main Fields: Computer science (68-XX)
AtMostNValue Software Authors: Fages, Jean-Guillaume; Lapègue, Tanguy Cited in: 3 Publications (2014–2021) Related Software: ToulBar2; AllDifferent; Algorithm 457; ptsplib; Choco; SDPLR; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CAMA Software Authors: Cong Liu; Andreas Kuehlmann; Matthew W. Moskewicz Cited in: 4 Publications (2008–2016) Related Software: Mistral; iZplus; Chaff; MiniZinc; CSP2SAT4J Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
coco_gop_ex Software Authors: Markót, Mihály Csaba; Schichl, Hermann Cited in: 4 Publications (2014–2017) Related Software: COCONUT; BARON; ANTIGONE; Numerica; QuadProgBB; GlobSol; … Main Fields: Operations research, mathematical programming (90-XX)
EMOPSO Software Authors: Toscano-Pulido, G., Coello Coello, C.A., Santana-Quintero, L.V. Cited in: 2 Publications (2010–2016) Related Software: SMPSO; SPEA2; NSPSO; MOPSO; PAES; ParEGO; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
FaCiLe Software Authors: Barnier, N., Brisset, P. Cited in: 3 Publications (2005–2009) Related Software: Choco; ProB; Gecode; JaCoP; CLAIRE; Miranda; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HOL2P Software Authors: Völker, Norbert Cited in: 4 Publications (2007–2018) Related Software: HOL Light; HOL; Coq; HOL Light QE; reFLect; Agda; … Main Fields: Computer science (68-XX)
MSCRA_rankmin Software Authors: Bi, Shujun; Pan, Shaohua; Sun, Defeng Cited in: 4 Publications (2019–2022) Related Software: Gurobi; SDPLR; QSDPNAL Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
OCL2AC Software Authors: Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele Cited in: 4 Publications (2019–2020) Related Software: Henshin; OCLinEcore; ENFORCe; DrAGoM; CheckVML; Augur 2; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
TimeSquare Software Authors: Julien DeAntoni, Frédéric Mallet Cited in: 3 Publications (2015–2016) Related Software: Esterel; Uppaal; SIGNAL; GenCCSL; CCSL Main Fields: Computer science (68-XX)
ToOLS Software Authors: de Givry S., Jeannin L. Cited in: 4 Publications (2005–2006) Related Software: OPL; SALSA; Modeler; Localizer++; Oz; CPLEX; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CHRAnimation Software Authors: Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom Cited in: 2 Publications (2015) Related Software: BALSA; Zeus; ANIMAL; JAWAA Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ConRad Software Authors: Fu, Anqi; Ungun, Barıṣ; Xing, Lei; Boyd, Stephen Cited in: 3 Publications (2019–2022) Related Software: SNOPT; 3D Slicer; SCS; Python; CVXPY; ECOS Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
cosmo Software Authors: Oliver Bembom, Fabian Gallusser, and Sandrine Dudoit Cited in: 3 Publications (2007–2016) Related Software: GASpAR; DUNE; MM5; ExnerFOAM; DYNAMICO; AROME; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
DEGEN Software Authors: Izmailov, A.F.; Solodov, M.V.; Uskov, E.I. Cited in: 3 Publications (2012–2022) Related Software: SNOPT; MacMPEC; AMPL; LOQO; SQPlab; PLCP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
DynIbex Software Authors: Julien Alexandre dit Sandretto, Alexandre Chapoutot, Olivier Mullier Cited in: 3 Publications (2018–2022) Related Software: Flow*; Codac; Acumen; JuliaReach; IBEX; ValEncIA-IVP; … Main Fields: Systems theory; control (93-XX)
GMO Software Authors: Xin Qi; M.H. Khammash; M.V. Salapaka Cited in: 3 Publications (2002–2008) Related Software: QDES Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
InC++ Software Authors: Hyvönen, E., De Pascale, S. Cited in: 3 Publications (2002–2017) Related Software: INTOPT_90; JGloptLab; UniCalc; NeMo+; PSICO; COCONUT; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
M-DPOP Software Authors: Petcu, A.; Faltings, B.; Parkes, D.C. Cited in: 3 Publications (2008–2017) Related Software: SICStus; Potassco Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MESA VERDE Software Authors: Wittenburg, J.; Wolz, U. Cited in: 3 Publications (1989–1996) Related Software: NEWEUL; Neweul Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
MPGENR Software Authors: Michaels, William M.; O'Neill, Richard P. Cited in: 3 Publications (1980–1993) Related Software: NETGEN Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MuSiC Software Authors: Yin Te Tsai, Yen Pin Huang, Ching Ta Yu, Chin Lung Lu Cited in: 3 Publications (2007) Related Software: PROSITE; PSIPRED Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ReHaG Software Authors: Ciaramella, G.; Borzì, A. Cited in: 3 Publications (2015–2021) Related Software: SKRYN; LONE; Matlab; Maple Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Quantum theory (81-XX)
SeaPearl Software Authors: Chalumeau, Félix; Coulon, Ilan; Cappart, Quentin; Rousseau, Louis-Martin Cited in: 3 Publications (2021–2022) Related Software: AlphaGo; Adam; Concorde; Tensor2Tensor; TensorFlow; Gurobi; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Simbody Software Authors: Seth, Ajay; Sherman, Michael; Eastman, Peter; Delp, Scott Cited in: 2 Publications (2010–2015) Related Software: OpenSim; Puppeteer; Simox; RBDL; Matlab; Octave; … Main Fields: Mechanics of particles and systems (70-XX); Biology and other natural sciences (92-XX)
SKRYN Software Authors: Ciaramella, G.; Borzì, A. Cited in: 3 Publications (2015–2021) Related Software: ReHaG; LONE; Matlab; Maple Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Quantum theory (81-XX)
SYSBIONS Software Authors: Johnson, R, Kirk, P, Stumpf, M P Cited in: 2 Publications (2018–2019) Related Software: BioBayes; abc; BCM; PyMC; ABC-SysBio; SciPy; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
CLab Software Authors: Jensen, Rune Cited in: 1 Publication (2016) Related Software: – Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)
CLISTE Software Authors: Mc Carthy, P.J.; Martin, P.; Schneider, W. Cited in: 2 Publications (2017–2022) Related Software: CREATE-NL+; CEDRES++; Spinterp; iFEM; Matlab; LIUQE; … Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
contigclust Software Authors: Anthony Recchia Cited in: 1 Publication (2015) Related Software: SAS; TAG Main Fields: Statistics (62-XX); Computer science (68-XX)
DualityGapAnalyzer Software Authors: Astaf’ev, N. N.; Ivanov, A. V.; Trofimov, S. P. Cited in: 2 Publications (2018–2019) Related Software: GitHub; RPSALG; SHOGUN; SIPAMPL Main Fields: Operations research, mathematical programming (90-XX)
GRASPER Software Authors: R.D. Viegas; F.A. Azevedo Cited in: 1 Publication (2009) Related Software: CPGraph; CaSPER; Cardinal Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)