×

Found 152 Software Packages (Results 1–100)

Chaff

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Cited in: 540 Publications (2001–2022)
Related Software: MiniSat; BerkMin; SATO; Walksat; Siege; Velev SAT Benchmarks; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

AdaBoost.MH

Software Authors:   Freund, Yoav; Schapire, Robert E.
Cited in: 411 Publications (1995–2022)
Related Software: UCI-ml; C4.5; ElemStatLearn; R; LIBSVM; bootstrap; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SATzilla

Software Authors:   Xu, L.; Hutter, F.; Hoos, H.H.; Leyton-Brown, K.
Cited in: 87 Publications (2008–2022)
Related Software: Paramils; MiniSat; SMAC; irace; SUNNY; MiniZinc; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

FPC_AS

Software Authors:   Zaiwen Wen, Wotao Yin
Cited in: 72 Publications (2010–2022)
Related Software: PDCO; SPGL1; NESTA; TwIST; CoSaMP; L-BFGS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

ParEGO

Software Authors:   Knowles, Joshua; Hughes, Evan J.
Cited in: 61 Publications (2005–2022)
Related Software: EGO; MOEA/D; SPEA2; HypE; DACE; Spearmint; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HOGWILD

Software Authors:   Feng Niu, Benjamin Recht, Christopher Re, Stephen J. Wright
Cited in: 63 Publications (2012–2022)
Related Software: Saga; ARock; AdaGrad; ImageNet; Adam; RCV1; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

NIMBUS

Software Authors:   Miettinen K.; Mäkelä M.M.
Cited in: 63 Publications (1993–2022)
Related Software: IND-NIMBUS; Pareto navigator; NAG; PAINT; NBI; GAMS-NIMBUS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

RealPaver

Software Authors:   Laurent Granvilliers
Cited in: 51 Publications (2003–2017)
Related Software: Numerica; INTOPT_90; gaol; ICOS; dReal; RSOLVER; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SLIQ

Software Authors:   Manish Mehta; Rakesh Agrawal; Jorma Rissanen
Cited in: 40 Publications (1997–2022)
Related Software: SPRINT; C4.5; UCI-ml; RainForest; AutoClass; Fuzzy ARTMAP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

DepQBF

Software Authors:   Lonsing, F., Biere, A.
Cited in: 46 Publications (2010–2022)
Related Software: Bloqqer; MiniSat; Quaffle; sQueezeBF; CAQE; Nenofex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BPMPD

Software Authors:   Csaba Mészáros
Cited in: 41 Publications (1999–2022)
Related Software: NETLIB LP Test Set; CPLEX; Decision tree for optimization software; MINOS; DEVEX; symrcm; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

COMPASS

Software Authors:   Hong, L.Jeff; Nelson, Barry L.
Cited in: 39 Publications (1999–2022)
Related Software: EGO; R-SPLINE; DiceOptim; DiceKriging; SimOpt; Scatter Search; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

RM-MEDA

Software Authors:   Qingfu Zhang; Aimin Zhou; Yaochu Jin
Cited in: 33 Publications (2010–2022)
Related Software: MOEA/D; SPEA2; HypE; SMS-EMOA; PlatEMO; GDE3; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SPRINT

Software Authors:   Shafer CJ, Agrawal R, Mehta M
Cited in: 27 Publications (1998–2021)
Related Software: SLIQ; C4.5; UCI-ml; RainForest; AutoClass; Fuzzy ARTMAP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PGSolver

Software Authors:   Oliver Friedmann; Martin Lange
Cited in: 36 Publications (2009–2022)
Related Software: Strix; BEEM; GitHub; SPIN; PRISM-games; GIST; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

R-MAX

Software Authors:   Brafman, Ronen I.; Tennenholtz, Moshe
Cited in: 32 Publications (2002–2016)
Related Software: AWESOME; AdaBoost.MH; PRMLT; ElemStatLearn; POMDPS; GAMUT
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Jellyfish

Software Authors:   Recht, Benjamin; Ré, Christopher
Cited in: 30 Publications (2013–2022)
Related Software: RTRMC; Saga; ADMiRA; softImpute; SDPLR; glmnet; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

PySP

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

VOLNA

Software Authors:   Dutykh, Denys; Poncet, Raphaël; Dias, Frédéric
Cited in: 20 Publications (2011–2021)
Related Software: MOST; HLLE; CENALT; COMCOT; OP2; Volna-OP2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

DeepStack

Software Authors:   Moravčík, Matej; Schmid, Martin; Burch, Neil; Lisý, Viliam; Morrill, Dustin; Bard, Nolan; Davis, Trevor; Waugh, Kevin; Johanson, Michael; Bowling, Michael
Cited in: 19 Publications (2017–2022)
Related Software: Libratus; Pluribus; GameShrink; AlexNet; ImageNet; holdem; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX)

Spacer

Software Authors:   Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
Cited in: 18 Publications (2015–2022)
Related Software: z3; Yices; HMC; Princess; Mjollnir; Boogie; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

YAPA

Software Authors:   Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie
Cited in: 18 Publications (2009–2020)
Related Software: AVISPA; Akiss; Maude-NPA; ProVerif; OFMC; FAST; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

RainForest

Software Authors:   Gehrke J., Ramakrishnan R., and Ganti V.
Cited in: 8 Publications (2002–2022)
Related Software: C4.5; SLIQ; SPRINT; UCI-ml; AdaBoost.MH; WEKA; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ENDER

Software Authors:   K. Dembczynski, W. Kot lowski, R. S lowinski
Cited in: 12 Publications (2012–2021)
Related Software: UCI-ml; C4.5; R; rpart; randomForest; pre; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FODD-Planner

Software Authors:   Joshi, S.; Khardon, R.
Cited in: 13 Publications (2008–2021)
Related Software: FluCaP; Graphplan; ProbLog; GOLOG; PEORL; REBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CoLoSS

Software Authors:   G. Calin, R. Myers, D. Pattinson, L. Schröder
Cited in: 13 Publications (2009–2020)
Related Software: FaCT++; Pellet; Imogen; JTabWb; Cool; MetTeL; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

numericaluniversality

Software Authors:   Deift, Percy A.; Menon, Govind; Olver, Sheehan; Trogdon, Thomas
Cited in: 14 Publications (2014–2022)
Related Software: GitHub; Genius; Proof General; MNIST; Eigtool; Mathematica; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

azove

Software Authors:   Behle, Markus
Cited in: 13 Publications (2007–2021)
Related Software: PPL; PORTA; barvinok; lrs; LattE; CPLEX; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

SIMANN

Software Authors:   Bill Goffe
Cited in: 13 Publications (1996–2020)
Related Software: L-BFGS; LBFGS-B; PSwarm; GAUSS; DFSA; DDFSA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX)

acebayes

Software Authors:   Antony Overstall, David Woods, Maria Adamou
Cited in: 10 Publications (2018–2020)
Related Software: R; BayesDA; OptimalDesign; SSN; geospt; spsurvey; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CDT

Software Authors:   Carpaneto, G.; Dell'Amico, M.; Toth, P.
Cited in: 10 Publications (1995–2012)
Related Software: TSPLIB; CPLEX; TSPTW; Tabu search; MCF; VRP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DCUTRI

Software Authors:   Berntsen, Jarle; Espelid, Terje O.
Cited in: 12 Publications (1992–2016)
Related Software: adsimp; Algorithm 720; TRIEX; DCUHRE; IFPACK; STREAM benchmark; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

NeC4.5

Software Authors:   Zhou, Zhi-Hua; Jiang, Yuan
Cited in: 8 Publications (2007–2021)
Related Software: UCI-ml; AdaBoost.MH; OpenDT; WEKA; t-SNE; CIFAR; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

R-SPLINE

Software Authors:   Wang, Honggang; Pasupathy, Raghu; Schmeiser, Bruce W.
Cited in: 12 Publications (2013–2021)
Related Software: COMPASS; EGO; SimOpt; ASTRO-DF; PyMOSO; Tabu search; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

FluCaP

Software Authors:   Hölldobler, S.; Karabaev, E.; Skvortsova, O.
Cited 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)

Soccer server

Software Authors:   Noda, I., Matsubara, H., Hiraki, K., Frank, I.
Cited in: 3 Publications (2007–2010)
Related Software: Society Visualiser; ISLANDER; CCalc; NuSMV
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

STR2

Software Authors:   Christophe Lecoutre
Cited in: 10 Publications (2011–2018)
Related Software: MiniZinc; Chaff; Concrete; GitHub; Scala; maxRPWC+; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TacticToe

Software Authors:   Gauthier, T., Kaliszyk, C., Urban, J.
Cited in: 10 Publications (2017–2021)
Related Software: E Theorem Prover; MaLeCoP; FEMaLeCoP; HOL; Coq; ENIGMA; …
Main Fields: Computer science (68-XX)

CirCUs

Software Authors:   Jin, HoonSang; Somenzi, Fabio
Cited 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)

FSMRDE

Software Authors:   Jiang, Feng; Sui, Yuefei; Zhou, Lin
Cited 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)

MCS

Software Authors:   Le Huédé, F.; Grabisch, M.; Labreuche, C.; Savéant, P.
Cited in: 9 Publications (1997–2017)
Related Software: Tabu search; Hyperheuristics; M-MACBETH; FIRBS; EasyLocal++; ToOLS; …
Main Fields: Measure and integration (28-XX); Statistics (62-XX); Numerical analysis (65-XX)

PAGAI

Software Authors:   Julien Henry , David Monniaux , Matthieu Moy
Cited in: 9 Publications (2014–2022)
Related Software: Apron; PPL; HyTech; PHAVer; Sawja; ASTREE; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

RIONA

Software Authors:   Góra, Grzegorz; Wojna, Arkadiusz
Cited in: 8 Publications (2002–2018)
Related Software: LERS; C4.5; Rseslib; RSES; ElemStatLearn; ROSETTA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

STCT

Software Authors:   Zhang, Zhonghua; Wonham, W.M.
Cited in: 9 Publications (2002–2009)
Related Software: UMDES; BuDDy
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

TEXPLORE

Software Authors:   Hester, Todd
Cited in: 8 Publications (2013–2021)
Related Software: Safety Gym; QT-Opt; IMPALA; Horizon; POMDP; SHOP2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ARVis

Software Authors:   Blanchard, Julien; Guillet, Fabrice; Briand, Henri
Cited in: 4 Publications (2007–2018)
Related Software: CViz; UCI-ml; DB2; eggNOG; kohonen; rapidminer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DEMORS

Software Authors:   Santana-Quintero, Luis V.; Hernández-Díaz, Alfredo G.; Molina, Julián; Coello Coello, Carlos A.; Caballero, Rafael
Cited in: 4 Publications (2010–2015)
Related Software: MOEA/D; SPEA2; WBMOAIS; D2MOPSO; AbYSS; jMetal; …
Main Fields: Operations research, mathematical programming (90-XX)

KeyGraph

Software Authors:   Ohsawa Y, Benson NE, Yachida M
Cited in: 3 Publications (2001–2015)
Related Software: KEA; C4.5
Main Fields: Computer science (68-XX)

Synthia

Software Authors:   Peter, H.-J., Ehlers, R., Mattmüller, R.
Cited in: 7 Publications (2012–2020)
Related Software: UPPAAL TIGA; Uppaal; PRISM; REDLIB; CMC; Kronos; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Systems theory; control (93-XX)

Algorithm 720

Software Authors:   Berntsen, J.; Cools, R.; Espelid, T.O.
Cited in: 7 Publications (1993–2015)
Related Software: adsimp; DCUTRI; CUBTRI; CUBPACK; Cubpack++; DCUHRE; …
Main Fields: General and overarching topics; collections (00-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

ARTMAP

Software Authors:   Vigdor, B.; Lerner, B.
Cited in: 5 Publications (2013–2020)
Related Software: Fuzzy ARTMAP; UCI-ml; NuART-Py; FuzzyART; Julia; AdaptiveResonance.jl; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AutoFolio

Software Authors:   Lindauer, M., Hoos, H., Hutter, F., Schaub, T.
Cited in: 6 Publications (2016–2022)
Related Software: SMAC; Auto-WEKA; SATzilla; irace; auto-sklearn; ASlib; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CART

Software Authors:   Dan Steinberg: Mikhail Golovnya; Salford Systems
Cited in: 3 Publications (2018–2020)
Related Software: gbm; C4.5; randomForest; R; rpart; bst; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FIRBS

Software Authors:   Pais, Tiago Cardal; Amaral, Paula
Cited 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)

SQVAM

Software Authors:   Fathi, Yahya
Cited in: 7 Publications (1991–2009)
Related Software: GLIM; GQTPAR; Excel; LINDO
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Algorithm 628

Software Authors:   Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H.
Cited in: 6 Publications (1985–2009)
Related Software: SYMMGRP; FGb
Main Fields: History and biography (01-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)

Algorithm 687

Software Authors:   Addison, C.A.; Enright, W.H.; Gaffney, P.W.; Gladwell, I.; Hanson, P.M.
Cited in: 6 Publications (1991–2002)
Related Software: ODEXPERT; PYTHIA; PELLPACK; SPARSKIT; ITSOL; ELLPACK; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Apte

Software Authors:   V. Cheval; David Baelde, Stephanie Delaune, Lucca Hirschi
Cited in: 5 Publications (2017–2018)
Related Software: Akiss; TAMARIN; AVISPA; FAST; scyther; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

BACP

Software Authors:   Lambert, Tony; Castro, Carlos; Monfroy, Eric; Riff, María Cristina; Saubion, Frédéric
Cited in: 4 Publications (2005–2014)
Related Software: CSPLib; EasyLocal++
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

BDI-POMDP

Software Authors:   Nair, R.; Tambe, M.
Cited in: 3 Publications (2005–2011)
Related Software: Jason; PSPLIB; BioWar; TuCSoN; Boids; LIME
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CoqMT

Software Authors:   Pierre-Yves Strub
Cited in: 6 Publications (2010–2020)
Related Software: Coq; CoqMTU; Boogie; ArchSAT; CoqInE; HARP; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

DESPOT

Software Authors:   Ye, Nan; Somani, Adhiraj; Hsu, David; Lee, Wee Sun
Cited in: 6 Publications (2016–2022)
Related Software: POMDPS; Pybullet; PILCO
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

IT-CEMOP

Software Authors:   Osman, M.S.; Abo-Sinna, Mahmoud A.; Mousa, A.A.
Cited in: 5 Publications (2006–2014)
Related Software: Genocop; WBMOAIS; GENLS; SPEA2; PAES
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

LIPSAT

Software Authors:   Finger, Marcelo; Preto, Sandro
Cited in: 6 Publications (2018–2021)
Related Software: Lingeling; MiniSat; Yices; SCIP
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Measure and integration (28-XX)

WPM3

Software Authors:   Ansótegui, Carlos; Gabàs, Joel
Cited in: 6 Publications (2017–2020)
Related Software: CCLS; Sat4j; QMaxSAT; Open-WBO-Inc; CCEHC; RC2; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DIVCLUS-T

Software Authors:   Chavent, Marie; Lechevallier, Yves; Briant, Olivier
Cited in: 5 Publications (2007–2011)
Related Software: UCI-ml; clusfind; DIVFRP; clus; GAP; impute; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

ROBDD

Software Authors:   Brace, K. S.; Rundell, R. L.; Bryant, R. E.
Cited in: 5 Publications (1992–2003)
Related Software: NQTHM
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-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)

CacBDD

Software Authors:   Guanfeng Lv, Kaile Su, Yanyan Xu
Cited in: 3 Publications (2015–2021)
Related Software: CUDD; GitHub; HasCacBDD; SMCDEL; JDD; BDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CASPA

Software Authors:   Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus
Cited in: 4 Publications (2008–2015)
Related Software: PRISM; PARAM; CUDD
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CloudGenius

Software Authors:   Menzel, Michael; Ranjan, Rajiv; Wang, Lizhe; Khan, Samee U.; Chen, Jinjun
Cited in: 2 Publications (2015–2019)
Related Software: CumulusGenius; Amazon EC2; OpenNebula; Hadoop; G-Hadoop; MapReduce; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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; GDE3; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

FCM4DD

Software Authors:   Kesemen, O.; Tezel, Ö.; Özkul, E.
Cited in: 4 Publications (2017–2021)
Related Software: energy; sphunif; bpDir; season; RiemBase; VMF-SNE; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX)

HHCART

Software Authors:   Wickramarachchi, D. C.; Robertson, B. L.; Reale, M.; Price, C. J.; Brown, J.
Cited in: 4 Publications (2016–2021)
Related Software: C4.5; UCI-ml; rpart; CRIO; sirus; obliqueRF; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MINDFUL

Software Authors:   Ciro Castiello; Giovanna Castellano; Anna Maria Fanelli
Cited in: 0 Publications
Related Software: ANFIS; UCI-ml; MLC++; PRTools; KEEL; C4.5; …
Main Fields:

NeXCLass

Software Authors:   Rigopoulos, George; Askounis, Dimitrios Th.; Metaxiotis, Konstantinos
Cited in: 4 Publications (2010–2020)
Related Software: ELECTRE; UTA Plus; VIKOR; Rubis; IRIS; PREFDIS
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NSVMOOP

Software Authors:   Tian, Ying-Jie; Ju, Xu-Chan
Cited in: 4 Publications (2015–2022)
Related Software: UCI-ml; RSVM; TPMSVM; SSVM; LIBSVM
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Rborist

Software Authors:   Mark Seligman
Cited in: 2 Publications (2020)
Related Software: R; ranger; randomForest; CRAN Task Views; rpart; C4.5; …
Main Fields: Statistics (62-XX); Computer science (68-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)

SOFT-CBR

Software Authors:   Aggour, Kareem S.; Pavese, Marc; Bonissone, Piero P.; Cheetham, William E.
Cited in: 4 Publications (2001–2004)
Related Software:
Main Fields: Computer science (68-XX)

TASC

Software Authors:   Yen-Liang Chen, Wu-Hsien Hsu, Yu-Hsuan Lee
Cited in: 4 Publications (2006–2010)
Related Software: HIP; TestEra; Spec#; JML; C4.5
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

Algorithm 632

Software Authors:   Martello, Silvano; Toth, Paolo
Cited in: 3 Publications (1985–1997)
Related Software:
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

AS 165

Software Authors:   Sturt, E.
Cited in: 3 Publications (1981–1997)
Related Software: AS 88; AS 101; AS 119; AS 114; AS 205; AS 209; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Comet

Software Authors:   Basilico, J. D., Munson, M. A., Kolda, T. G., Dixon, K. R., & Kegelmeyer, W. P.
Cited in: 2 Publications (2020)
Related Software: randomForest; UCI-ml; BartPy; VSURF; GitHub; TensorFlow; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

LMS evaluation

Software Authors:   Cavus, Nadire
Cited in: 2 Publications (2010–2014)
Related Software: FLINTSTONES
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OPTGAME3

Software Authors:   Blueschke, Dmitri; Neck, Reinhard; Behrens, Doris A.
Cited in: 3 Publications (2013–2020)
Related Software: Matlab
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

RaSEn

Software Authors:   Ye Tian; Yang Feng
Cited in: 2 Publications (2021–2022)
Related Software: UCI-ml; R; CRAN; GitHub; QDA by Projection; rda; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

RTextTools

Software Authors:   Timothy P. Jurka, Loren Collingwood, Amber E. Boydstun, Emiliano Grossman, Wouter van Atteveldt
Cited in: 2 Publications (2016–2018)
Related Software: Python; tm; R; spaa; haven; Stata; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

T3C

Software Authors:   Tzirakis, P., Tjortjis, C.
Cited in: 3 Publications (2017–2020)
Related Software: C4.5; UCI-ml; R; nodeHarvest; propOverlap; OTE; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TrafficPredict

Software Authors:   Yuexin Ma, Xinge Zhu, Sibo Zhang, Ruigang Yang, Wenping Wang, Dinesh Manocha
Cited in: 1 Publication (2022)
Related Software: AutoRVO; Social GAN; YOLO; DeepSORT; TraPHic; OpenCV; …
Main Fields: Computer science (68-XX)

UCI++

Software Authors:   Soares, C.
Cited in: 1 Publication (2018)
Related Software: rpart; ReliefF; GAUSS; OpenML; ElemStatLearn; e1071; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

AREA

Software Authors:   Jiang, Shouyong; Li, Hongru; Guo, Jinglei; Zhong, Mingjun; Yang, Shengxiang; Kaiser, Marcus; Krasnogor, Natalio
Cited in: 2 Publications (2020–2021)
Related Software: MOEA/D; SPEA2; NBI
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

BisimDist

Software Authors:   Giorgio Bacci; Giovanni Bacci; Kim Guldstrand Larsen; Radu Mardare
Cited in: 1 Publication (2021)
Related Software: prob-black-reach; NModel; PRISM; Mathematica
Main Fields: Computer science (68-XX)

CLA

Software Authors:   Bailey, David H.; López de Prado, Marcos
Cited in: 1 Publication (2013)
Related Software: Python; NumPy; pandas; PyPortfolioOpt; OSQP; ECOS; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Crocoddyl

Software Authors:   Carlos Mastalli, Rohan Budhiraja, Wolfgang Merkt, Guilhem Saurel, Bilal Hammoud, Maximilien Naveau, Justin Carpentier, Ludovic Righetti, Sethu Vijayakumar, Nicolas Mansard
Cited in: 1 Publication (2021)
Related Software: ADOL-C; Drake; CAZSL; MuJoCo; Optimica; JModelica; …
Main Fields: Mechanics of particles and systems (70-XX)

Ecole

Software Authors:   Antoine Prouvost, Justin Dumouchelle, Maxime Gasse, Didier Chételat, Andrea Lodi
Cited in: 0 Publications
Related Software: OpenGraphGym; Python; OpenAI Gym; Seaborn; SciPy; xtensor; …
Main Fields:

Eureka

Software Authors:   Alexander Nadel; Moran Gordon; Amit Palti; Ziyad Hanna
Cited in: 2 Publications (2010–2011)
Related Software: Chaff; Zchaff2004; MiniSat; RSat; BerkMin; Siege; …
Main Fields: Computer science (68-XX)

Eureka!

Software Authors:   Manco, Giuseppe; Pizzuti, Clara; Talia, Domenico
Cited in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

glmtree

Software Authors:   Adrien Ehrhardt
Cited in: 0 Publications
Related Software: R; RcppArmadillo; Rcpp; VGAM; knitr; spatialprobit; …
Main Fields:

GSPeeDI

Software Authors:   Hansen, Hallstein Asheim; Schneider, Gerardo
Cited in: 1 Publication (2017)
Related Software: SPeeDI; ParaPlan; dReach; Flow*; KeYmaera
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)