×

Found 349 Software Packages (Results 1–100)

PSI-BLAST

Software Authors:   Altschul, S.F., Madden, T.L., Schäffer, A.A., Zhang, J., Zhang, Z., Miller, W., Lipman, D.J.
Referenced in: 140 Publications (1999–2022)
Related Software: BLAST; Pfam; UniProt; ClustalW; MUSCLE; LIBSVM; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

BoomerAMG

Software Authors:   Henson, Van Emden; Meier Yang, Ulrike
Referenced in: 206 Publications (2002–2022)
Related Software: hypre; PETSc; ML; MUMPS; Trilinos; FEniCS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

LKH

Software Authors:   Helsgaun, Keld
Referenced in: 153 Publications (2000–2022)
Related Software: TSPLIB; Concorde; VRP; Tabu search; CPLEX; DIMACS; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hyperheuristics

Software Authors:   Cowling, Peter; Kendall, Graham; Soubeiga, Eric; Burke E
Referenced in: 122 Publications (2001–2022)
Related Software: Tabu search; Paramils; HyFlex; DIMACS; SATzilla; OR-Library; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

GSA

Software Authors:   Rashedi, Esmat; Nezamabadi-Pour, Hossein; Saryazdi, Saeid
Referenced in: 116 Publications (2009–2022)
Related Software: ABC; GWO; WOA; CEC 05; BGSA; JADE; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FEASPUMP

Software Authors:   Fischetti, Matteo; Salvagnin, Domenico
Referenced in: 130 Publications (1979–2022)
Related Software: CPLEX; MIPLIB; MIPLIB2003; SCIP; Bonmin; Ipopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

GWO

Software Authors:   Mirjalili, S.; Mirjalili, S. M.; Lewis, A.
Referenced in: 110 Publications (2014–2022)
Related Software: WOA; GSA; ABC; SSA; ALO; Krill herd; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

LiteRed

Software Authors:   R. Lee
Referenced in: 74 Publications (2013–2022)
Related Software: FIRE; FIRE5; Reduze; FORM; FIESTA; AIR; …
Main Fields: Algebraic geometry (14-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX)

GeneSrF

Software Authors:   Ramón Díaz-Uriarte; Sara Alvarez de Andrés
Referenced in: 57 Publications (2008–2022)
Related Software: R; randomForest; UCI-ml; varSelRF; ElemStatLearn; party; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

J-MEANS

Software Authors:   Hansen, Pierre; Mladenović, Nenad
Referenced in: 74 Publications (2001–2022)
Related Software: UCI-ml; TSPLIB; clusfind; Tabu search; k-means++; OR-Library; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CAPUSHE

Software Authors:   Baudry, Jean-Patrick; Maugis, Cathy; Michel, Bertrand
Referenced in: 62 Publications (2011–2022)
Related Software: R; mclust; ElemStatLearn; wbs; clusfind; PRMLT; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MOPSO

Software Authors:   Coello, C.A.C., Lechuga, M.S.
Referenced in: 52 Publications (2007–2022)
Related Software: SPEA2; MOEA/D; HypE; SMPSO; SMS-EMOA; PlatEMO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

YAGO

Software Authors:   J. Hoffart, F. Suchanek, K. Berberich, G. Weikum, G. Kasneci
Referenced in: 46 Publications (2009–2022)
Related Software: Freebase; DBpedia; WordNet; word2vec; ProBase; BabelNet; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

QUALEX

Software Authors:   Busygin, Stanislav
Referenced in: 50 Publications (2002–2020)
Related Software: DIMACS; Max-AO; Tabu search; BHOSLIB; GQTPAR; MaxCliqueDyn; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Algorithm 39

Software Authors:   Späth, H
Referenced in: 46 Publications (1980–2022)
Related Software: UCI-ml; flexmix; AS 136; CRIO; Silhouettes; SODAS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

bc-prod

Software Authors:   Belvaux, Gaetan; Wolsey, Laurence A.
Referenced in: 44 Publications (2000–2022)
Related Software: CPLEX; XPRESS; MULTILSB; FEASPUMP; PORTA; Mosel; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CirCut

Software Authors:   Burer, Samuel; Monteiro, Renato D. C.; Zhang, Yin
Referenced in: 41 Publications (1990–2017)
Related Software: Outward rotations; SDPLR; Tabu search; COL; SeDuMi; SDPpack; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

POMDPS

Software Authors:   Ross, S.; Pineau, J.; Paquet, S.; Chaib-Draa, B.
Referenced in: 38 Publications (1998–2022)
Related Software: DESPOT; EGO; PRMLT; Clingo; Anglican; ProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

MULKNAP

Software Authors:   You, Byungjun; Yamada, Takeo
Referenced in: 38 Publications (1999–2021)
Related Software: Knapsack; CPLEX; Gurobi; RAMP; BiqCrunch; SDP_S; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SINTEF

Software Authors:   Hasle, Geir (ed.); Lie, Knut-Andreas (ed.); Quak, Ewald (ed.)
Referenced in: 37 Publications (2007–2022)
Related Software: Matlab; VRP; CPLEX; Cython; Plotly; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Flow*

Software Authors:   Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
Referenced in: 31 Publications (2015–2022)
Related Software: SpaceEx; KeYmaera; HyTech; PHAVer; dReach; Breach; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

ADMAT

Software Authors:   Cayuga Research
Referenced in: 31 Publications (1999–2020)
Related Software: Matlab; ADOL-C; ADMIT; ADIFOR; MAD; ADIC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

COOLCAT

Software Authors:   Barbará, D., Li, Y., Couto, J.
Referenced in: 21 Publications (2006–2021)
Related Software: UCI-ml; ROCK; clusfind; AS 136; AutoClass; SpectralCAT; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

LSSPER

Software Authors:   Palpant, Mireille; Artigues, Christian; Michelon, Philippe
Referenced in: 24 Publications (2004–2020)
Related Software: PSPLIB; Scatter Search; PROGRESS; JOBSHOP; CSPLib; COMET; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

MALLBA

Software Authors:   Alba, E.; Almeida, F.; Blesa, M.; Cabeza, J.; Cotta, C.; Díaz, M.; Dorta, I.; Gabarró, J.; León, C.; Luna, J.; Moreno, L.; Pablos, C.; Petit, J.; Rojas, A.; Xhafa, F.
Referenced in: 24 Publications (2002–2021)
Related Software: ParaDisEO; PICO; ECJ; OPT4J; EasyLocal++; EOlib; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

POPMUSIC

Software Authors:   Taillard, Éric D.; Voss, Stefan
Referenced in: 27 Publications (2002–2022)
Related Software: CPLEX; VRP; ILOG SCHEDULE; JOBSHOP; OR-Library; Hyperheuristics; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

QuBE++

Software Authors:   Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Referenced in: 24 Publications (2001–2018)
Related Software: QUBE; Quaffle; MiniSat; Chaff; sKizzo; Quantor; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TenEig

Software Authors:   Chen, Liping; Han, Lixing; Zhou, Liangmin
Referenced in: 27 Publications (2016–2022)
Related Software: TensorToolbox; PHCpack; Matlab; PHoM; HOM4PS; NACLab; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

RelaxIV

Software Authors:   D.P. Bertsekas; P. Tseng
Referenced in: 24 Publications (1987–2022)
Related Software: CPLEX; RELAX4; DIMACS; NETGEN; PDNET; MCFClass; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BoxLib

Software Authors:   CCSE
Referenced in: 19 Publications (1998–2022)
Related Software: Chombo; PARAMESH; CASTRO; SAMRAI; Carpet; MAESTRO; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

LaGO

Software Authors:   Stefan Vigerske
Referenced in: 25 Publications (2003–2020)
Related Software: Ipopt; MINLPLib; Bonmin; MINLP; AlphaECP; SCIP; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Numerical analysis (65-XX)

Octane

Software Authors:   Berthold, Timo; Hendel, Gregor
Referenced in: 25 Publications (2001–2022)
Related Software: FEASPUMP; MIPLIB; CPLEX; MIPLIB2003; Tabu search; Benchmarks for Optimization Software; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PySP

Software Authors:   Watson, Jean-Paul; Woodruff, David L.; Hart, William E.
Referenced in: 23 Publications (2012–2022)
Related Software: Pyomo; CPLEX; Gurobi; DSP; AIMMS; AMPL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

RSat

Software Authors:   Knot Pipatsrisawat; Adnan Darwiche
Referenced in: 18 Publications (2008–2016)
Related Software: MiniSat; Chaff; PicoSAT; BerkMin; SATzilla; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CCLS

Software Authors:   Luo, C.; Cai, S.; Wu, W.; Jie, Z.; Su, K.
Referenced in: 21 Publications (2015–2021)
Related Software: MaxHS; Sat4j; UBCSAT; NuMVC; CCASat; QMaxSAT; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

SymmSpin

Software Authors:   Bošnački, Dragan Author Profile; Dams, Dennis; Holenderski, Leszek
Referenced in: 15 Publications (2000–2010)
Related Software: SPIN; TopSpin; Bogor; Uppaal; dSPIN; Bandera; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

BGSA

Software Authors:   Rashedi, Esmat; Nezamabadi-pour, Hossein; Saryazdi, Saeid
Referenced in: 18 Publications (2010–2022)
Related Software: GSA; UCI-ml; MNIST; KGSA; Genocop; GWO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Krimp

Software Authors:   Vreeken J, Van Leeuwen M, Siebes A
Referenced in: 19 Publications (2011–2022)
Related Software: UCI-ml; MDL4BMF; StreamKrimp; gSpan; PrefixSpan; C4.5; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX)

BBMCL

Software Authors:   San Segundo, Pablo; Tapia, Cristobal
Referenced in: 17 Publications (2014–2022)
Related Software: MaxCliqueDyn; BBMCSP; DIMACS; CPLEX; Algorithm 457; BITSCAN; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

cosereg

Software Authors:   M. E. Hochstenbach, Y. Park, L. Reichel, G. Rodriguez, X. Yu
Referenced in: 17 Publications (2015–2022)
Related Software: Regularization tools; corner.m; UTV; ErresTools; FDEMtools; PicardREG; …
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Geophysics (86-XX)

SAPA

Software Authors:   Do, M.; Kambhampati, S.
Referenced in: 14 Publications (2002–2022)
Related Software: Graphplan; PDDL; Walksat; LPG; STAN; AltAlt; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SPARSE-QR

Software Authors:   Matstoms, P.
Referenced in: 17 Publications (1994–2013)
Related Software: Matlab; BLAS; NETLIB LP Test Set; UMFPACK; LSQR; CSparse; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

DibaP

Software Authors:   Henning Meyerhenke; Burkhard Monien; Thomas Sauerwald
Referenced in: 15 Publications (2008–2021)
Related Software: Bubble-FOS/C; KaFFPa; METIS; PT-Scotch; JOSTLE; DIMACS; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

HARP

Software Authors:   Oppacher, F.; Suen, E
Referenced in: 14 Publications (1994–2020)
Related Software: SETHEO; TPTP; 3TAP; SATCHMO; OTTER; METEOR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TABARIS

Software Authors:   Friden, C.; Hertz, A.; de Werra, Dominique
Referenced in: 16 Publications (1990–2013)
Related Software: Algorithm 457; Tabu search; DIMACS; Cliquer; NISPOC; nauty; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

HAS-SOP

Software Authors:   Gambardella, L., Dorigo, M.
Referenced in: 10 Publications (2003–2015)
Related Software: HAS-QAP; AntNet; MACS-VRPTW; TSPLIB; GTSP Instances Library; MatrixMarket; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HIBISCUS

Software Authors:   Bourdais, S., Galinier, P., Pesant, G.
Referenced in: 12 Publications (2005–2021)
Related Software: CPLEX; Gurobi; Hyperheuristics; CHUFFED; OR-tools; Gecode; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

HyFIS

Software Authors:   Kim J, Kasabov N
Referenced in: 9 Publications (2002–2021)
Related Software: ANFIS; DENFIS; R; CORElearn; fRegression; nnet; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NuMVC

Software Authors:   Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul
Referenced in: 13 Publications (2013–2022)
Related Software: CCLS; CCASat; DIMACS; SCCWalk; Walksat; CCEHC; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CCASat

Software Authors:   Cai, Shaowei; Su, Kaile
Referenced in: 13 Publications (2013–2021)
Related Software: CCLS; NuMVC; CCAnr; MiniSat; SCCWalk; CCEHC; …
Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

HeuristicLab

Software Authors:   Wagner, Stefan; Affenzeller, Michael
Referenced in: 9 Publications (2004–2022)
Related Software: ParaDisEO; ECJ; TSPLIB; JCLEC; Genocop; KEEL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

QuillenSuslin

Software Authors:   Anna Fabiańska
Referenced in: 12 Publications (2007–2020)
Related Software: SINGULAR; Macaulay2; Janet; QuillenSuslin; CHomP; REPSN; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Algebraic topology (55-XX)

tawSolver

Software Authors:   Tanbir Ahmed; Oliver Kullmann
Referenced in: 12 Publications (1962–2022)
Related Software: GitHub; Lynx; MathCheck; DRAT-trim; Mathematica; Maple; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

AMoRE

Software Authors:   O. Matz, A. Miller, A. Potthoff, W. Thomas, E. Valkema
Referenced in: 12 Publications (1998–2010)
Related Software: GAP; AUTOMATE; Grail; OEIS; MONOiD; Quicksort; …
Main Fields: General and overarching topics; collections (00-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

CLOVES

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

evtree

Software Authors:   Thomas Grubinger, Achim Zeileis, Karl-Peter Pfeiffer
Referenced in: 9 Publications (2015–2021)
Related Software: rpart; R; C4.5; partykit; UCI-ml; gbm; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GeneMANIA

Software Authors:   Mostafavi, S., Ray, D., Warde-Farley, D., Grouios, C., Morris, Q.
Referenced in: 9 Publications (2012–2021)
Related Software: Cytoscape; STRING; BioGRID; SHOGUN; BLAST; PSI-BLAST; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

HyFlex

Software Authors:   Ochoa, Gabriela; Hyde, Matthew; Curtois, Tim; Vazquez-Rodriguez, Jose A.; Walker, James; Gendreau, Michel; Kendall, Graham; McCollum, Barry; Parkes, Andrew J.; Petrovic, Sanja; Burke, Edmund K.
Referenced in: 6 Publications (2012–2020)
Related Software: Hyperheuristics; Hyperion; Paramils; irace; PISA; SGDR; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

OreMorphisms

Software Authors:   Cluzeau, T., Quadrat, A
Referenced in: 12 Publications (2007–2020)
Related Software: OreModules; OreAlgebraicAnalysis; Macaulay2; SINGULAR; Plural; Janet; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)

AOA

Software Authors:   Abualigah, Laith; Diabat, Ali; Mirjalili, Seyedali; Abd Elaziz, Mohamed; Gandomi, Amir H.
Referenced in: 11 Publications (2021–2022)
Related Software: SSA; GWO; WOA; ALO; GSA; Aquila optimizer; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

DistDLB

Software Authors:   Lan, Zhiling; Taylor, Valerie E.; Li, Yawei
Referenced in: 10 Publications (2006–2021)
Related Software: PETSc; PARAMESH; ParFUM; hypre; EXODUS II; GitHub; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

FANT

Software Authors:   E. D. Taillard
Referenced in: 11 Publications (2001–2015)
Related Software: QAPLIB; Tabu search; HAS-QAP; BG-WalkSAT; GIDEON; MACS-VRPTW
Main Fields: Operations research, mathematical programming (90-XX)

FastFDs

Software Authors:   Wyss, Catharine; Giannella, Chris; Robertson, Edward
Referenced in: 10 Publications (2001–2020)
Related Software: TANE; UCI-ml; MultiVis; ArnetMiner; MovieLens; N-way Toolbox; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX); Computer science (68-XX)

FluCaP

Software Authors:   Hölldobler, S.; Karabaev, E.; Skvortsova, O.
Referenced in: 11 Publications (2006–2021)
Related Software: FODD-Planner; ProbLog; CCalc; Graphplan; GOLOG; BLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

htd

Software Authors:   Abseher, Michael; Musliu, Nysret; Woltran, Stefan
Referenced in: 11 Publications (2018–2022)
Related Software: Clingo; selp; WASP; Lpopt; GANAK; eclingo; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

MAMMOTH

Software Authors:   Ortiz, A.R.; Strauss, C.E.M.; Olmea, O.
Referenced in: 8 Publications (2008–2017)
Related Software: TM-align; BLAST; PSI-BLAST; DIAL; GenThreader; PHYLIP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PathCrawler

Software Authors:   Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
Referenced in: 5 Publications (2008–2021)
Related Software: CUTE; DART; z3; Frama-C; Pex; SANTE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PIKAIA

Software Authors:   Metcalfe, Travis S.; Charbonneau, Paul
Referenced in: 11 Publications (2003–2020)
Related Software: Genocop; Wasserstein GAN; Inception-v4; ADADELTA; AlexNet; SMOTE; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Quantum theory (81-XX)

VHPOP

Software Authors:   Younes, H. L. S.; Simmons, R. G.
Referenced 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)

HadamardSearch

Software Authors:   Victor Alvarez Solano; Jose Andres Armario-Sampalo; Maria Dolores Frau-Garcia; Pedro Real-Jurado
Referenced in: 10 Publications (2006–2018)
Related Software: Mathematica; Kenzo; GAP; MINION; HAP; SgpViz; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX)

MAiNGO

Software Authors:   Bongartz, D., Najman, J., Sass, S., Mitsos, A.
Referenced in: 10 Publications (2019–2022)
Related Software: ANTIGONE; libMC; Ipopt; CPLEX; NLopt; FADBAD++; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

MUSCADET

Software Authors:   Pastre, Dominique
Referenced in: 9 Publications (1989–2021)
Related Software: OTTER; Automath; Isabelle/ZF; MACSYMA; REDUCE; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CirCUs

Software Authors:   Jin, HoonSang; Somenzi, Fabio
Referenced in: 9 Publications (2004–2017)
Related Software: Chaff; zChaff; CUDD; BerkMin; Circus; ZRC; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CRAG

Software Authors:   Alex Myasnikov; Diekert, Volker; Laun, Jürn; Ushakov, Alexander
Referenced in: 9 Publications (2010–2021)
Related Software: WalnutDSA; GitHub
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

DENDRAL

Software Authors:   Buchanan, Bruce G.; Sutherland, Georgia L.; Feigenbaum, E. A.
Referenced in: 7 Publications (1970–2005)
Related Software: Swift; BUGS; Venture; Church; Lasagne; Keras; …
Main Fields: History and biography (01-XX); Combinatorics (05-XX); Statistics (62-XX)

DINS

Software Authors:   Ghosh, Shubhashis
Referenced in: 9 Publications (2007–2022)
Related Software: FEASPUMP; MIPLIB; CPLEX; MIPLIB2003; SCIP; Octane; …
Main Fields: Operations research, mathematical programming (90-XX)

FORCE

Software Authors:   Aloul, F. A.; Markov, I. L.; Sakallah, K. A.
Referenced in: 9 Publications (2005–2016)
Related Software: SBSAT; Chaff; MiniSat; sharpSAT; BerkMin; CUDD; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

FSMRDE

Software Authors:   Jiang, Feng; Sui, Yuefei; Zhou, Lin
Referenced in: 9 Publications (2015–2021)
Related Software: UCI-ml; PRMLT; COOLCAT; clusfind; LOF; RSL; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

GCDHEU

Software Authors:   Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.
Referenced in: 9 Publications (1984–2021)
Related Software: Maple; MACSYMA; REDUCE; Telescopers; evalhf; MapleTensor
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

RationalFirstintegrals

Software Authors:   Bostan, Alin; Chèze, Guillaume; Cluzeau, Thomas; Weil, Jacques-Arthur
Referenced in: 9 Publications (2015–2022)
Related Software: Lsolver; Maple; PSsolver; gfun
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Ordinary differential equations (34-XX)

CCEHC

Software Authors:   Luo, Chuan, Cai, Shaowei; Su, Kaile; Huang, Wenxuan
Referenced in: 8 Publications (2017–2022)
Related Software: CCLS; Sat4j; WPM3; RC2; QMaxSAT; Paramils; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GeneMark

Software Authors:   Besemer, J., Borodovsky, M.
Referenced in: 6 Publications (1993–2016)
Related Software: FragGeneScan; SUMO; Pfam; GeneMarkS; UniProt; InterProScan; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

idr

Software Authors:   Qunhua Li
Referenced in: 6 Publications (2011–2022)
Related Software: GMCM; word2vec; darch; Puma; R; knitr; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ils-mwis

Software Authors:   Nogueira, Bruno; Pinheiro, Rian G. S.; Subramanian, Anand
Referenced in: 8 Publications (2018–2021)
Related Software: gpuls-mwcp; CUDA; DIMACS; DEAP; PBGL; ilsts-wvcp; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

iOpt

Software Authors:   Voudouris, Christos; Dorne, Raphael; Lesaint, David; Liret, Anne
Referenced in: 8 Publications (2001–2017)
Related Software: Localizer; EasyLocal++; COMET; LocalSolver; Localizer++; SALSA; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

kcnfs

Software Authors:   Gilles Dequen and Olivier Dubois
Referenced in: 8 Publications (2004–2016)
Related Software: Chaff; MiniSat; March_eq; Lingeling; Treengeling; DRAT-trim; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

NSPLib

Software Authors:   Vanhoucke, M., Maenhout, B.
Referenced in: 7 Publications (2008–2020)
Related Software: LINDO; Essence; SIMPLY; PicoSAT; MiniZinc; Yices; …
Main Fields: Operations research, mathematical programming (90-XX)

OPT4J

Software Authors:   Lukasiewycz,Martin; Glass,Michael; Reimann,Felix; Teich,Jürgen
Referenced in: 4 Publications (2013–2014)
Related Software: PISA; ParadisEO-MOEO; jMetal; ECJ; ParaDisEO; MALLBA; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

TUBA3

Software Authors:   Papanicolopulos, S.-A.; Zervos, A.
Referenced in: 8 Publications (2012–2019)
Related Software: ABAQUS; FEAPpv; Gmsh
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

AltAlt

Software Authors:   Romeo Sanchez Nigenda, XuanLong Nguyen, Subbarao Kambhampati
Referenced in: 6 Publications (2002–2009)
Related Software: Graphplan; STAN; SAPA; Walksat; PDDL; LPG; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Aquila optimizer

Software Authors:   Laith Abualigah
Referenced in: 7 Publications (2021–2022)
Related Software: GWO; SSA; AOA; WOA; ALO; GSA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

D*Lite

Software Authors:   Sven Koenig, Maxim Likhachev
Referenced in: 4 Publications (2004–2019)
Related Software: Genocop; ActHEX; Clingo; oClingo; Jason; D* Extra Lite; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

EdgeRewire

Software Authors:   Chan, Hau; Akoglu, Leman
Referenced in: 7 Publications (2016–2021)
Related Software: KONECT; NetComm; Pajek; NetworKit; igraph; SNAP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

FALCON

Software Authors:   Zhang, J.
Referenced in: 7 Publications (1996–2019)
Related Software: Mace4; ModGen; SATCHMO; FINDER; MiniSat; SCOTT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FIRBS

Software Authors:   Pais, Tiago Cardal; Amaral, Paula
Referenced in: 7 Publications (2012–2022)
Related Software: MCS; Hyperheuristics; GOAL; final exam scheduling; Tabu search
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

HotFrame

Software Authors:   Andreas Fink; Stefan Voß
Referenced in: 7 Publications (2003–2014)
Related Software: EasyLocal++; CBMix; METSlib; VRP; Eiffel; ParaDisEO; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

MOLE

Software Authors:   L. Eshelman
Referenced in: 6 Publications (1989–2000)
Related Software: SALT; Protege; LISP; RESUME; CLIPS
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MULTI-HOPE

Software Authors:   Kochhar, J.S.; Heragu, S.S.
Referenced in: 7 Publications (1998–2016)
Related Software: QAPLIB
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

RIATA-HGT

Software Authors:   Nakhleh, Luay; Ruths, Derek; Wang, Li-San
Referenced in: 7 Publications (2005–2021)
Related Software: PhyloNet; PAUP*; T-REX; MSCquartets; PhyloNetworks; Macaulay2; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SCARPA

Software Authors:   N. Donmez, M. Brudno
Referenced in: 7 Publications (2009–2021)
Related Software: GRASS; SOPRA; Bambus 2; BESST; ScaffMatch; Velvet; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)