FODE Software Authors: Deng, Weihua Cited in: 329 Publications (2007–2022) Related Software: ma2dfc; Matlab; Fractional Order Chaotic Systems; Adaptative L1 TE and Predictive; FracPECE; Mittag-Leffler; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
plfit Software Authors: Clauset A, Shalizi CR, Newman MEJ Cited in: 267 Publications (2008–2022) Related Software: bootstrap; R; poweRlaw; Gephi; SNAP; KONECT; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Bonmin Software Authors: Bonami, Pierre; Biegler, Lorenz T.; Conn, Andrew R.; Cornuéjols, Gérard; Grossmann, Ignacio E.; Laird, Carl D.; Lee, Jon; Lodi, Andrea; Margot, François; Sawaya, Nicolas; Wächter, Andreas Cited in: 217 Publications (1995–2022) Related Software: Ipopt; CPLEX; SCIP; BARON; FilMINT; Gurobi; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
Saga Software Authors: Aaron Defazio, Francis Bach, Simon Lacoste-Julien Cited in: 129 Publications (2015–2022) Related Software: AdaGrad; LIBSVM; Finito; Adam; ProxSARAH; HOGWILD; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
Wirtinger Flow Software Authors: Emmanuel Candes, Xiaodong Li, Mahdi Soltanolkotabi Cited in: 129 Publications (2015–2022) Related Software: PhaseLift; PhaseMax; GESPAR; SparsePR; CVX; PhaseCut; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
PHAVer Software Authors: Frehse, Goran Cited in: 115 Publications (2005–2022) Related Software: HyTech; SpaceEx; Uppaal; RSOLVER; HSolver; d/dt; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
impute Software Authors: Troyanskaya, O.; Cantor, M.; Sherlock, G.; Brown, P.; Hastie, T.; Tibshirani, R.; Botstein, D.; Altman, R. Cited in: 90 Publications (2002–2022) Related Software: R; softImpute; VIM; missForest; MICE; AS 136; … 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: 88 Publications (2008–2022) Related Software: Paramils; MiniSat; SMAC; irace; MiniZinc; SUNNY; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
RATH Software Authors: Z. Li, Y. Liu Cited in: 89 Publications (2001–2022) Related Software: MACSYMA; ATFM; Maple; RAEEM; PDESpecialSolutions; DDESpecialSolutions; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
ROCK Software Authors: Guha, S.; Rastogi, R.; Shim, K. Cited in: 40 Publications (2002–2021) Related Software: clusfind; UCI-ml; COOLCAT; LOF; ElemStatLearn; AutoClass; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
SSVM Software Authors: Lee, Yuh-Jye; Mangasarian, O.L. Cited in: 64 Publications (2001–2022) Related Software: UCI-ml; RSVM; LIBSVM; Pegasos; SVMlight; LIBLINEAR; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
GpBiCg Software Authors: Fujino, Seiji; Zhang, Shao-Liang Cited in: 64 Publications (1997–2022) Related Software: CGS; BiCGstab; SparseMatrix; CORS; BiCOR; ILUT; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
GiD Software Authors: R Ribó, MA de Riera Pasenau, E Escolano; CIMNE Cited in: 55 Publications (2000–2022) Related Software: COMET; deal.ii; ParaView; PETSc; FreeFem++; FEniCS; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
FPINNs Software Authors: Guofei Pang, Lu Lu, George Em Karniadakis Cited in: 54 Publications (2019–2022) Related Software: DGM; Adam; DeepXDE; TensorFlow; DiffSharp; DeepONet; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
na10 Software Authors: Bini, Dario Andrea Cited in: 53 Publications (1996–2022) Related Software: na20; mctoolbox; ISOLATE; Eigensolve; SYNAPS; Matlab; … Main Fields: Field theory and polynomials (12-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX)
DnCNN Software Authors: Kai Zhang, Wangmeng Zuo, Yunjin Chen, Deyu Meng, Lei Zhang Cited in: 52 Publications (2017–2022) Related Software: FFDNet; Adam; ImageNet; AlexNet; UNLocBoX; BSDS; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
SimRank Software Authors: Jeh G, Widom J Cited in: 35 Publications (2008–2022) Related Software: node2vec; LCE; DeepWalk; clusfind; UCI-ml; Matlab; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
SPARK Software Authors: Foulger, Darren; King, Steve Cited in: 37 Publications (1990–2016) Related Software: JML; ESC/Java; Spec#; KRAKATOA; SIMPLIFY; Ada95; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
Eraser Software Authors: Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T. Cited in: 36 Publications (2000–2021) Related Software: veriSoft; RacerX; Bandera; Java PathFinder; RELAY; SPIN; … Main Fields: Computer science (68-XX)
ORBIT Software Authors: Wild S, Regis R, Shoemaker C Cited in: 41 Publications (2008–2022) Related Software: EGO; NOMAD; UOBYQA; DFO; MLMSRBF; BOBYQA; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
SPIKE Software Authors: Polizzi, Eric; Sameh, Ahmed Cited in: 39 Publications (2004–2022) Related Software: PARDISO; SparseMatrix; MUMPS; LAPACK; PSPIKE; ScaLAPACK; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
SATIRE Software Authors: Whittemore J, Kim J, Sakallah K Cited in: 36 Publications (2003–2021) Related Software: Chaff; MiniSat; BerkMin; SATO; SATORI; PicoSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TR-BDF2 Software Authors: Hosea, M.E.; Shampine, L.F. Cited in: 38 Publications (1996–2022) Related Software: RODAS; Matlab; MATLAB ODE suite; ode23s; ode113; Ode15s; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
NeNMF Software Authors: N. Guan, D. Tao, Z. Luo, B. Yuan Cited in: 28 Publications (2012–2021) Related Software: FERET; RCV1; CLUTO; SPGL1; CVX; clusfind; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)
XPINNs Software Authors: Zheyuan Hu, Ameya D. Jagtap, George Em Karniadakis, Kenji Kawaguchi Cited in: 34 Publications (2020–2023) Related Software: Adam; PyTorch; TensorFlow; DiffSharp; FPINNs; PINNsNTK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
jStar Software Authors: DiStefano, D., Parkinson, M. Cited in: 30 Publications (2008–2022) Related Software: VeriFast; Smallfoot; Boogie; Coq; Spec#; ESC/Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DDDAS Software Authors: Frederica Darema Cited in: 23 Publications (2008–2022) Related Software: Exshall; QUESO; libMesh; DAKOTA; FEniCS; PMTK; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
QPCOMP Software Authors: Billups, Stephen C.; Ferris, Michael C. Cited in: 32 Publications (1996–2021) Related Software: PATH Solver; MCPLIB; GAMS; LANCELOT; MINOS; Matlab; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
MobileNets Software Authors: Andrew G. Howard, Menglong Zhu, Bo Chen, Dmitry Kalenichenko, Weijun Wang, Tobias Weyand, Marco Andreetto, Hartwig Adam Cited in: 26 Publications (2019–2022) Related Software: ImageNet; Xception; SqueezeNet; TensorFlow; AlexNet; ShuffleNet; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SINDy Software Authors: Loiseau, Jean-Christophe; Brunton, Steven L. Cited in: 31 Publications (2017–2022) Related Software: redbKIT; Nek5000; PDE-Net; VAMPnets; Adam; Loewner; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
SUPG Software Authors: Kler, Pablo A.; Dalcin, Lisandro D.; Paz, Rodrigo R.; Tezduyar, Tayfun E. Cited in: 31 Publications (2012–2021) Related Software: XFOIL; libMesh Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
VCFEM-HOMO Software Authors: Ghosh, Somnath; Lee, Kyunghoon; Moorthy, Suresh Cited in: 31 Publications (1996–2022) Related Software: ABAQUS; top.m; UMAT; FEAPpv; DGM; U-Net; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
APMC Software Authors: Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain Cited in: 28 Publications (2004–2021) Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PINNsNTK Software Authors: Wang, Sifan; Yu, Xinling; Perdikaris, Paris Cited in: 29 Publications (2021–2022) Related Software: Adam; DiffSharp; TensorFlow; DeepXDE; DeepONet; XPINNs; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
PYTHIA Software Authors: Houstis, Elias N.; Catlin, Ann C.; Rice, John R.; Verykios, Vassilios S.; Ramakrishnan, Naren; Houstis, Catherine E., Weerawarana, Sanjiva; Houstis, Elias N.; Rice, John R.; Joshi, Anupam; Houstis, Catherine E. Cited in: 28 Publications (1996–2018) Related Software: PELLPACK; GAUSS; PYTHIA8; LAPACK; ODEXPERT; ELLPACK; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
OFMC Software Authors: Sebastian Mödersheim, Luca Viganò Cited in: 25 Publications (2005–2021) Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
QUBE Software Authors: Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Cited in: 26 Publications (2001–2018) Related Software: QuBE++; Quaffle; Chaff; semprop; DepQBF; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)
AILU Software Authors: Gander, Martin J.; Nataf, Frédéric Cited in: 27 Publications (2000–2022) Related Software: clique; PSP; STRUMPACK; MUMPS; UMFPACK; CGS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
TenEig Software Authors: Chen, Liping; Han, Lixing; Zhou, Liangmin Cited 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)
GraphScope Software Authors: Sun J, Papadimitriou S, Yu P.S, Faloutsos C Cited in: 23 Publications (2011–2021) Related Software: FacetNet; GenLouvain; HPStream; LCM; Algorithm 457; gSpan; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
EfficientNet Software Authors: Mingxing Tan, Quoc V. Le Cited in: 18 Publications (2019–2022) Related Software: ImageNet; PyTorch; CIFAR; Adam; GitHub; TensorFlow; … Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
YalSAT Software Authors: Armin Biere Cited in: 24 Publications (2017–2021) Related Software: Lingeling; Plingeling; Treengeling; CaDiCaL; Splatz; MiniSat; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
COFFEE Software Authors: Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H.J. Kelly Cited in: 20 Publications (2016–2021) Related Software: Firedrake; PETSc; TSFC; UFL; petsc4py; FEniCS; … Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)
FREEFLOW Software Authors: A. Castello; F.M.F. Tomé; C.N.L. César; S. McKee; J.A. Cuminato Cited in: 23 Publications (1995–2017) Related Software: GENSMAC; GENSMAC3D; Flow-3D; SOLA-VOF; HE-E1GODF; CLAWPACK; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
GeoFEM Software Authors: Fujishiro, Issei; Chen, Li; Takeshima, Yuriko; Nakamura, Hiroko; Suzuki, Yasuko Cited in: 22 Publications (2001–2022) Related Software: PETSc; Eigtool; OpenDX; ADVENTURE Autogl; VTK; METIS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
LAS Software Authors: Shabalin, Andrey A.; Weigman, Victor J.; Perou, Charles M.; Nobel, Andrew B. Cited in: 23 Publications (2009–2022) Related Software: FABIA; PMA; GitHub; COSA; ElemStatLearn; SSLB; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
SeaHorn Software Authors: Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A. Cited in: 23 Publications (2015–2022) Related Software: z3; CPAchecker; VeriMAP; SMACK; JayHorn; RAHFT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
ADASYN Software Authors: Haibo He, Yang Bai, Edwardo A Garcia, Shutao Li Cited in: 19 Publications (2017–2022) Related Software: SMOTE; MWMOTE; SMOTEBoost; JStatCom; KEEL; C4.5; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
BinaryNet Software Authors: Matthieu Courbariaux, Itay Hubara, Daniel Soudry, Ran El-Yaniv, Yoshua Bengio Cited in: 21 Publications (2017–2022) Related Software: ImageNet; AlexNet; BinaryConnect; Adam; XNOR-Net; CIFAR; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)
HPStream Software Authors: Aggarwal C, Han J, Wang J, Yu P Cited in: 7 Publications (2007–2017) Related Software: UCI-ml; clusfind; LCM; GraphScope; ROCK; TelegraphCQ; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
SOLAR Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Cited in: 19 Publications (1993–2022) Related Software: E Theorem Prover; SPASS; SCIFF; SBGN; MiniSat; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SymmSpin Software Authors: Bošnački, Dragan Author Profile; Dams, Dennis; Holenderski, Leszek Cited 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)
TELOS Software Authors: Grigoroudis, Evangelos; Siskos, Yannis; Saurais, Olivier Cited in: 19 Publications (1992–2009) Related Software: Mathematica; UTA Plus; XSB; TRIPLE; OilEd; Matlab; … Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)
AFRYCA Software Authors: Álvaro Labella; Francisco J. Estrella; Luis Martínez Cited in: 18 Publications (2015–2021) Related Software: FLINTSTONES; EMD; Wasserstein GAN; AlphaGo; SCIP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Dizzy Software Authors: Ramsey, S., Orrell, D., Bolouri, H. Cited in: 16 Publications (2007–2019) Related Software: PRISM; Bio-PEPA; Matlab; BioModels; COPASI; SpiCO; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
WKPtest Software Authors: G.-Q. Xu, Z.-B. Li. Cited in: 18 Publications (2004–2022) Related Software: Maple; PainleveTest; RATH; PDEPtest; CONSLAW; HIROTA.MAX; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
ASKALON Software Authors: Thomas Fahringer; Alexandru Jugravu; Sabri Pllana; Radu Prodan; Clovis Seragiotto Jr; Hong-Linh Truong Cited in: 6 Publications (2002–2012) Related Software: Java CoG Kit; SCALEA; GridFlow; Globus Toolkit; Condor-G; Taverna; … Main Fields: Computer science (68-XX)
GKB-FP Software Authors: Viloche Bazán, Fermín S.; Borges, Leonardo S. Cited in: 16 Publications (2010–2021) Related Software: Regularization tools; LSQR; RestoreTools; LSMR; UTV; HyBR; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Integral equations (45-XX)
LocalSolver Software Authors: Benoist, Thierry; Estellon, Bertrand; Gardi, Frédéric; Megel, Romain; Nouioua, Karim Cited in: 16 Publications (2010–2019) Related Software: COMET; CPLEX; SCIP; OscaR; Gecode; MiniZinc; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
TEIRESIAS Software Authors: Rigoutsos I., Floratos A. Cited in: 9 Publications (2004–2019) Related Software: Pfam; BioProspector; MEME; TRANSFAC; ELM; Cd-hit; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
extended-MIQCP Software Authors: Vielma, Juan Pablo; Dunning, Iain; Huchette, Joey; Lubin, Miles Cited in: 15 Publications (2016–2022) Related Software: Bonmin; CPLEX; Gurobi; FilMINT; JuMP; Julia; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FASTA Software Authors: Tom Goldstein, Christoph Studer, Richard Baraniuk Cited in: 13 Publications (2018–2022) Related Software: SPGL1; R; PhaseLift; UNLocBoX; k-Wave; SparseMatrix; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
INMOST Software Authors: Kirill Terekhov; et al. Cited in: 14 Publications (2015–2022) Related Software: GeRa; BiCGstab; PETSc; Gmsh; ParaView; METIS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
RAEEM Software Authors: Li, Zhi-Bin; Liu, Yin-Ping Cited in: 14 Publications (2004–2017) Related Software: RATH; Maple; PDESpecialSolutions; ATFM; MACSYMA; GiNaC; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
SEMINT Software Authors: Li, W.-S.; Clifton, C. Cited in: 9 Publications (2000–2009) Related Software: WordNet; Etuner; AdaBoost.MH; JGraphT; Anchor-PROMPT; PROMPT; … Main Fields: General algebraic systems (08-XX); Computer science (68-XX)
Spartacus Software Authors: Daniel Götzmann; Mark Kaminski; Gert Smolka Cited in: 14 Publications (2010–2021) Related Software: HTab; FaCT++; InKreSAT; HyLoTab; HyLoRes; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NOA Software Authors: Kiwiel, Krzysztof C.; Stachurski, Andrzej Cited in: 14 Publications (1989–2013) Related Software: CPLEX; LaGO; BARON; COL; CirCut; SDPLR; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
NuMVC Software Authors: Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul Cited in: 13 Publications (2013–2022) Related Software: CCLS; CCASat; DIMACS; QUALEX; SCCWalk; Walksat; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Ts2pack Software Authors: Crainic, Teodor Gabriel; Perboli, Guido; Tadei, Roberto Cited in: 14 Publications (2009–2021) Related Software: Algorithm 864; Packlib2; 2DCPackGen; SCIP; LINGO; LINDO; … Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
BIANCA Software Authors: Vincenti, Angela; Ahmadian, Mohammad Reza; Vannucci, Paolo Cited in: 13 Publications (2009–2020) Related Software: ALE-PSO; SIGOA; Concorde; LKH; UBCSAT; TSPLIB; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
CensMixReg Software Authors: Lachos, Víctor H.; Moreno, Edgar J.López; Chen, Kun; Cabral, Celso Rômulo Barbosa Cited in: 13 Publications (2017–2022) Related Software: tlmec; MomTrunc; R; lmec; AS 136; mixsmsn; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Astronomy and astrophysics (85-XX)
DeepMath Software Authors: Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban Cited in: 12 Publications (2017–2021) Related Software: Mizar; E Theorem Prover; VAMPIRE; MPTP 0.2; Coq; ENIGMA; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-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)
ICENI Software Authors: Furmento, Nathalie; Mayer, Anthony; McGough, Stephen; Newhouse, Steven; Field, Tony; Darlington, John Cited in: 4 Publications (2002–2010) Related Software: Condor-G; Cactus; GRID Infoware; Java CoG Kit; Globus Toolkit; GrADS; … Main Fields: Computer science (68-XX)
IMPALA Software Authors: Lasse Espeholt, Hubert Soyer, Remi Munos, Karen Simonyan, Volodymir Mnih, Tom Ward, Yotam Doron, Vlad Firoiu, Tim Harley, Iain Dunning, Shane Legg, Koray Kavukcuoglu Cited in: 12 Publications (2019–2022) Related Software: Adam; OpenAI Gym; MuJoCo; Agent57; AlexNet; MiniGrid; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
iPIC3D Software Authors: Stefano Markidis, Giovanni Lapenta, Rizwan-uddin Cited in: 12 Publications (2010–2021) Related Software: Parsek2D; Vador; ViDA; Chombo; Mathematica; CRASH; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
MProbe Software Authors: Chinneck, John W. Cited in: 12 Publications (2001–2021) Related Software: CVX; DrAmpl; GAMS; AMPL; Excel; SNOPT; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
PUMI Software Authors: D. A. Ibanez, E. S. Seol, C. W. Smith, M. S. Shephard Cited in: 11 Publications (2016–2022) Related Software: Gmsh; PETSc; Zoltan; CGAL; SUNDIALS; hypre; … Main Fields: Combinatorics (05-XX); Manifolds and cell complexes (57-XX); Numerical analysis (65-XX)
VTDIRECT95 Software Authors: Jian He; Layne T. Watson; Masha Sosonkina Cited in: 12 Publications (2009–2022) Related Software: DIRECT; DFL; MultiMin; NOMAD; MrDIRECT; DFBOX_IMPR; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CkAnalytic Software Authors: Lessard, Jean-Philippe; Mireles James, J.D. Cited in: 11 Publications (2017–2022) Related Software: INTLAB; RODES; CAPD; Matlab; Taylor; galepu; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
DeepSurv Software Authors: Katzman, JL; Shaham, U.; Cloninger, A.; Bates, J.; Jiang, T.; Kluger, Y Cited in: 10 Publications (2019–2022) Related Software: Adam; pycox; survival; GitHub; PyTorch; SVRc; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
htd Software Authors: Abseher, Michael; Musliu, Nysret; Woltran, Stefan Cited 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)
2LEV-D2P4 Software Authors: Buttari, Alfredo; D'Ambra, Pasqua; di Serafino, Daniela; Filippone, Salvatore Cited in: 10 Publications (2007–2021) Related Software: MLD2P4; PSBLAS; BoomerAMG; Trilinos; SParC-LES; hypre; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
LSUN Software Authors: Fisher Yu, Ari Seff, Yinda Zhang, Shuran Song, Thomas Funkhouser, Jianxiong Xiao Cited in: 7 Publications (2019–2022) Related Software: ImageNet; TensorFlow; Adam; Wasserstein GAN; CIFAR; Python; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
PicoDBMS Software Authors: Pucheral, Philippe; Bouganim, Luc; Valduriez, Patrick; Bobineau, Christophe Cited in: 7 Publications (2001–2003) Related Software: POTENTIAL; OrientXA; Volcano Main Fields: Computer science (68-XX)
QuEST Software Authors: Ledoit, Olivier; Wolf, Michael Cited in: 11 Publications (2017–2022) Related Software: OptShrink; SPECTRODE; RMTool; CVXOPT; spcov; Manopt; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
r2d2lri Software Authors: Robinson, Ian; Hill, Michael Cited in: 10 Publications (2002–2010) Related Software: d2lri; CUBPACK; ParInt; elrint3d; ORTHPOL; TESTPACK; … Main Fields: Number theory (11-XX); Sequences, series, summability (40-XX); Approximations and expansions (41-XX)
VeriMAP Software Authors: De Angelis E, Fioravanti F, Pettorossi A, Proietti M Cited in: 10 Publications (2015–2021) Related Software: z3; SeaHorn; TRACER; ARMC; HSF; Datalog; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
AMIGO Software Authors: J. A. Martínez, L. G. Casado, I. García, B. Tóth Cited in: 10 Publications (2004–2014) Related Software: INTOPT_90; PROFIL/BIAS; C-XSC; C-XSC 2.0 Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
BLINC Software Authors: T. Karagiannis, K. Papagiannaki, M. Faloutsos Cited in: 5 Publications (2009–2019) Related Software: Autograph; FCP; Tmix; NTools; WEKA; Snort; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DEDALE Software Authors: S. Grumbach, P. Rigaux, L. Segoufin Cited in: 7 Publications (2001–2010) Related Software: CCUBE; LyriC; Oracle; LIBSVM; MLPQ; XPERANTO; … Main Fields: Approximations and expansions (41-XX); Computer science (68-XX)
FESTA Software Authors: Paulino, G.H.; Menezes, I.F.M.; Cavalcante Neto, J.B.; Martha, L.F. Cited in: 10 Publications (1999–2012) Related Software: PLTMG Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
SA-cluster Software Authors: Cheng, Hong; Zhou, Yang; Huang, Xin; Yu, Jeffrey Xu Cited in: 10 Publications (2012–2022) Related Software: Inc-cluster; SimRank; GenLouvain; CRIO; DAVID; AppliedPredictiveModeling; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
SOCRATES Software Authors: Schulz, M., Trischler, E., Sarfert, T. Cited in: 9 Publications (1992–2018) Related Software: BerkMin; Chaff; MiniSat; PASSAT; HITEC; HANNIBAL; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
StarGAN Software Authors: Yunjey Choi, Minje Choi, Munyoung Kim, Jung-Woo Ha, Sunghun Kim, Jaegul Choo Cited in: 6 Publications (2020–2022) Related Software: ImageNet; Adam; Python; CycleGAN; SinGAN; EfficientNet; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
XRules Software Authors: Zaki, Mohammed J.; Aggarwal, Charu C. Cited in: 8 Publications (2006–2018) Related Software: LIBSVM; CloseGraph; gSpan; RTED; TED; KEGG; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
AI2 Software Authors: Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T. Cited in: 9 Publications (2020–2021) Related Software: Reluplex; DeepFool; Marabou; Adam; PyTorch; DeepGauge; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX)
ChainCon Software Authors: Pilarczyk P. Cited in: 9 Publications (2015–2021) Related Software: CAPD; CHomP; SageMath; jPlex; Gmsh; Simplicial complex library; … Main Fields: Category theory; homological algebra (18-XX); Convex and discrete geometry (52-XX); Algebraic topology (55-XX)
Eisbach Software Authors: Matichuk, Daniel; Wenzel, Makarius; Murray, Toby Cited in: 9 Publications (2014–2022) Related Software: Isabelle; Isabelle/HOL; Coq; HOL; Locales; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ELISA Software Authors: Anand, L.; Ghose, D.; Mani, V. Cited in: 9 Publications (1999–2009) Related Software: Stata Main Fields: Field theory and polynomials (12-XX); Statistics (62-XX); Computer science (68-XX)