×

Found 554 Software Packages (Results 1–100)

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)