ANSYS Software Authors: John Swanson, Ansys Inc. Cited in: 704 Publications (1978–2023) Related Software: ABAQUS; Matlab; FLUENT; ANSYS-CFX; NASTRAN; APDL; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
MPT Software Authors: M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco Cited in: 234 Publications (2004–2022) Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
igraph Software Authors: Gábor Csárdi, Tamás Nepusz, Szabolcs Horvát, Vincent Traag, Fabio Zanini Cited in: 151 Publications (2010–2023) Related Software: R; Python; ggplot2; NetworkX; glasso; Rcpp; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
CMPGRD Software Authors: Chesshire, G.; Henshaw, W.D. Cited in: 118 Publications (1990–2022) Related Software: Ogen; OVERFLOW; Overture; PETSc; SUGGAR++; HLLE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
Camellia Software Authors: Aoki, Kazumaro; Ichikawa, Tetsuya; Kanda, Masayuki; Matsui, Mitsuru; Moriai, Shiho; Nakajima, Junko; Tokita, Toshio Cited in: 86 Publications (2001–2022) Related Software: CLEFIA; PRESENT; SIMON; Square; ARIA; LBlock; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX)
ABAQUS/Explicit Software Authors: Dassault Systèmes Cited in: 78 Publications (1997–2022) Related Software: ABAQUS; ABAQUS/Standard; UMAT; VUMAT; LS-DYNA; FLAC; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
LIMDEP Software Authors: Econometric Software, Inc Cited in: 69 Publications (1984–2020) Related Software: Stata; R; Excel; SAS; GAUSS; SHAZAM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
AK-MCS Software Authors: B. Echard, N. Gayton, M. Lemaire Cited in: 75 Publications (2012–2022) Related Software: DACE; EGO; UQLab; Matlab; top.m; PRMLT; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
DPpackage Software Authors: Jara, A., Hanson, T. E., Quintana, F. A., Müller, P., Rosner, G. L. Cited in: 65 Publications (2008–2022) Related Software: R; BayesDA; CODA; R2WinBUGS; boa; BNPdensity; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Mercury Software Authors: mercurylang.org Cited in: 70 Publications (1994–2022) Related Software: ECCE; Haskell; DPPD; SICStus; CiaoPP; Ciao; … Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)
DISCOVERER Software Authors: Xia B Cited in: 57 Publications (1999–2022) Related Software: QEPCAD; Maple; REDLOG; Sostools; YALMIP; ISOLATE; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
GreatSPN Software Authors: Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew Cited in: 51 Publications (1988–2021) Related Software: GreatSPN 1.7; TimeNET; CADP; SPNP; PEPA; PRISM; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
MultiNest Software Authors: Feroz, F., Hobson, M.P., Bridges, M Cited in: 43 Publications (2006–2022) Related Software: polychord; Python; dynesty; nestcheck; CosmoMC; UltraNest; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
G+Smo Software Authors: Angelos Mantzaflaris, Bert Jüttler Cited in: 50 Publications (2014–2022) Related Software: ISOGAT; IETI; GitHub; GeoPDEs; Igatools; PetIGA; … Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
SWIFFT Software Authors: Lyubashevsky, Vadim; Micciancio, Daniele; Peikert, Chris; Rosen, Alon Cited in: 49 Publications (2008–2021) Related Software: NTRU; NTL; SWIFFTX; CUDA; BKZ; GitHub; … Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)
IF-2.0 Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Cited in: 38 Publications (2002–2022) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
NTRUSign Software Authors: Hoffstein, Jeffrey; Howgrave-Graham, Nick; Pipher, Jill; Silverman, Joseph H.; Whyte, William Cited in: 46 Publications (2003–2022) Related Software: NTRU; BLISS; BKZ; Falcon; NTL; Magma; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)
iPiasco Software Authors: Ochs, Peter; Brox, Thomas; Pock, Thomas Cited in: 46 Publications (2015–2022) Related Software: iPiano; ARock; PDCO; RecPF; Inertial-SsGM; HOGWILD; … Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
PETSc/TS Software Authors: Shrirang Abhyankar, Jed Brown, Emil M. Constantinescu, Debojyoti Ghosh, Barry F. Smith, Hong Zhang Cited in: 32 Publications (2018–2022) Related Software: PETSc; FEniCS; Gmsh; SUNDIALS; Firedrake; SyFi; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
SMS Software Authors: Korelc, Jože Cited in: 33 Publications (1997–2022) Related Software: Mathematica; AceGen; AceFEM; FINGER; Matlab; ABAQUS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
F5C Software Authors: C. Eder; J. Perry Cited in: 31 Publications (2010–2022) Related Software: Maple; SINGULAR; Magma; PoSSo; FGb; M4RI; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX)
PARAEXP Software Authors: Gander, Martin J.; Güttel, Stefan Cited in: 31 Publications (2013–2022) Related Software: XBraid; pySDC; PFASST; MGRIT; RODAS; mftoolbox; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
GADMM Software Authors: Fang, Ethan X.; He, Bingsheng; Liu, Han; Yuan, Xiaoming Cited in: 29 Publications (2015–2022) Related Software: UNLocBoX; PDCO; UCI-ml; RecPF; BADMM; iPiano; … Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)
ODESSA Software Authors: J. R. Leis and M. A. Kramer Cited in: 29 Publications (1988–2021) Related Software: AUTO-86; CVODES; LSODE; AUTO; DASSL; SUNDIALS; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
FHEW Software Authors: Ducas, Léo; Micciancio, Daniele Cited in: 28 Publications (2015–2022) Related Software: HElib; GitHub; BKZ; fhe; TFHE; NTRU; … Main Fields: Number theory (11-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
Benchmarking Software Authors: Peter Bogetoft; Lars Otto Cited in: 26 Publications (2011–2021) Related Software: sfa; R; frontier; DEA; maxLik; Maxlik; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
NURBS Software Authors: Legrain, Grégory Cited in: 27 Publications (2013–2022) Related Software: ISOGAT; CutFEM; GeoPDEs; Matlab; EBF3PanelOpt; SciPy; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
DEAP Software Authors: Coelli, T Cited in: 20 Publications (1998–2020) Related Software: DEA; Benchmarking; sfa; Excel; Matlab; INDEX; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)
PAG Software Authors: Martin, Florian Cited in: 20 Publications (1996–2018) Related Software: NINJA; MPI/MPICH; PHiPAC; PLAPACK; FFTW; BLAS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
FEAR Software Authors: Paul W. Wilson Cited in: 16 Publications (2004–2020) Related Software: DEA; sfa; R; Matlab; rDEA; nonparaeff; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
ProTDB Software Authors: A. Nierrman, H.V. Jagadish Cited in: 12 Publications (2005–2018) Related Software: ProbView; PSQL; XPath; TAX; XSEarch; XQuery; … Main Fields: Computer science (68-XX)
RegEM Software Authors: Tapio Schneider Cited in: 16 Publications (2010–2022) Related Software: glasso; UCI-ml; impute; PRMLT; scout; Flury; … Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)
TAPAAL Software Authors: Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiří Cited in: 19 Publications (2011–2022) Related Software: Uppaal; Romeo; TINA; PTrie; Kronos; PetriNets; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SimVascular Software Authors: Updegrove, A.; Wilson, N.M.; Merkow, J.; Lan, H.; Marsden, A.L.; Shadden, S.C. Cited in: 18 Publications (2017–2022) Related Software: TetGen; PETSc; hypre; VTK; Gmsh; GEMS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
PSPManalysis Software Authors: M.A. Kirkilionis, O. Diekmann, B. Lisser, M.Nool, A.M. de Roos, B.P. Sommeijer Cited in: 18 Publications (2001–2021) Related Software: Matlab; MATCONT; DDE-BIFTOOL; Differentiation Matrix Suite; COCO; SciPy; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
GATK Software Authors: A. McKenna, M. Hanna, E. Banks et al. Cited in: 16 Publications (2012–2021) Related Software: Samtools; Trimmomatic; R; BWA; STAR; Bowtie 2; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
BGX Software Authors: Ernest Turro; Natalia Bochkina; Anne-Mette K Hein; Sylvia Richardson Cited in: 14 Publications (2005–2021) Related Software: Bioconductor; gcrma; ramcmc; Affycomp III; WinBUGS; BayesDA; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Lemur Software Authors: Paul Ogilvie, James P. Callan Cited in: 1 Publication (2003) Related Software: Okapi; INQUERY; Maven; la4j; JGibbLDA; JAMA; … Main Fields: Computer science (68-XX)
sQueezeBF Software Authors: Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo Cited in: 16 Publications (2010–2021) Related Software: Bloqqer; DepQBF; Nenofex; MiniSat; semprop; QUBOS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Algorithm 735 Software Authors: Taswell, Carl; McGill, Kevin C. Cited in: 15 Publications (1994–2016) Related Software: WavBox 4; wavethresh; Matlab; LTFAT; Linear Time Frequency Analysis Toolbox; UNLocBoX; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX)
NetLogger Software Authors: Gunter, D., Tierney, B., Crowley, B., Holding, M., Lee, J. Cited in: 10 Publications (2001–2012) Related Software: CrossGrid; Java CoG Kit; ASP.NET; BlobSeer; MonALISA; SpecExplorer; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
MPSolve Software Authors: University of Pisa Cited in: 14 Publications (2003–2018) Related Software: na20; Eigensolve; C-XSC 2.0; na10; mctoolbox; OEIS; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
qHiPSTER Software Authors: Mikhail Smelyanskiy, Nicolas P. D. Sawaya, Alán Aspuru-Guzik Cited in: 6 Publications (2016–2021) Related Software: LIQUi; ProjectQ; Python; OpenFermion; Strawberry Fields; QISKit; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
Dynaflow Software Authors: Jean H. Prévost Cited in: 13 Publications (1997–2020) Related Software: TOUGH-FLAC; DuMuX; CrunchFlow; OpenGeoSys; Code_Bright; ECLIPSE; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
GIFT Software Authors: Banik, Subhadeep; Pandey, Sumit Kumar; Peyrin, Thomas; Sasaki, Yu; Sim, Siang Meng; Todo, Yosuke Cited in: 13 Publications (2017–2022) Related Software: PRESENT; SIMON; SPECK; SKINNY; SIMECK; Midori; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)
SYMBA Software Authors: Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Cited in: 13 Publications (2014–2021) Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Algorithm 786 Software Authors: Smith, David M. Cited in: 12 Publications (1998–2017) Related Software: MPFR; Algorithm 693; gmp; Algorithm 524; Algorithm 719; Mathematica; … Main Fields: Special functions (33-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
BLASTZ Software Authors: Schwartz S, Kent WJ, Smit A, Zhang Z, Baertsch R, Hardison RC, Haussler D, Miller W Cited in: 5 Publications (2005–2017) Related Software: MUMMER; BLAT; LAGAN; PatternHunter; AVID; Mauve; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
D3M Software Authors: Ke Li, Kejun Tang, Tianfan Wu, Qifeng Liao Cited in: 11 Publications (2020–2022) Related Software: Adam; DGM; DiffSharp; MgNet; VarNet; NSFnets; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
GEOquery Software Authors: Sean D, Meltzer PS Cited in: 7 Publications (2016–2022) Related Software: R; Bioconductor; shiny; WEKA; AdaPT; adaptMT; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)
Helios Software Authors: Laurent Michel, Pascal Van Hentenryck Cited in: 10 Publications (1997–2015) Related Software: AMPL; Newton; FleetWave; Skyblue; Mozart; QOCA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
ICON Software Authors: Max Planck Institute for Meteorology (MPI-M); German Meteorological Service (DWD); Günther Zängl; Daniel Reinert; Pilar Rípodas; Michael Baldauf Cited in: 11 Publications (2016–2021) Related Software: chammp; MPAS-Ocean; NICAM; CAM3; DYNAMICO; scpc; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
KPP Software Authors: Damian, V.; Sandu, A.; Damian, M.; Potra, F.; Carmichael, G. R. Cited in: 11 Publications (2003–2022) Related Software: RODAS; LBFGS-B; L-BFGS; L-BFGS-B; Matlab; AutoMat; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
MVGC Software Authors: Barnett L, Seth AK Cited in: 10 Publications (2011–2021) Related Software: GCCA; MuTE; Brain Connectivity Toolbox; FieldTrip; TRENTOOL; ChaLearn; … Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
odmd Software Authors: H. Zhang; C. W. Rowley Cited in: 11 Publications (2018–2022) Related Software: PRMLT; GitHub; DeepONet; PyDMD; VAMPnets; rsvd; … Main Fields: Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX); Numerical analysis (65-XX)
Algorithm 971 Software Authors: H. Li, G. C. Linderman, A. Szlam, K. P. Stanton, Y. Kluger, M. Tygert Cited in: 9 Publications (2017–2021) Related Software: ARPACK; LAPACK; SparseMatrix; rsvd; RandNLA; SPQR_RANK; … Main Fields: Combinatorics (05-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)
FV_HipoDiff Software Authors: Bessemoulin-Chatard, Marianne; Herda, Maxime; Rey, Thomas Cited in: 10 Publications (2020–2022) Related Software: Mulprec Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
iMiRNA-PseDPC Software Authors: Liu, B.; Fang, L.; Liu, F.; Wang, X.; Chou, K. -C. Cited in: 10 Publications (2015–2019) Related Software: Pse-in-One; PseKNC; iPPI-Esml; iAMP-2L; iDNA-Methyl; iPro54-PseKNC; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
S3 Software Authors: Trinh MT, Chu DH, Jaffar J Cited in: 9 Publications (2015–2023) Related Software: HAMPI; Stranger; z3; Z3-str; Z3str3; Norn; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
SimBa Software Authors: Dey, Tamal K.; Shi, Dayu; Wang, Yusu Cited in: 9 Publications (2016–2021) Related Software: PHAT; Gudhi; Sophia; Dionysus; GitHub; SimPers; … Main Fields: Algebraic topology (55-XX); Computer science (68-XX)
3D Slicer Software Authors: Fedorov A, Beichel R, Kalpathy-Cramer J, Finet J, Fillion-Robin JC, Pujol S, Bauer C, Jennings D, Fennessy F, Sonka M, Buatti J, Aylward S, Miller JV, Pieper S, Kikinis R Cited in: 5 Publications (2016–2020) Related Software: ITK; SWIG; Python; MeshLab; Exposure Render; OWL; … Main Fields: Partial differential equations (35-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
SSPTSmethods Software Authors: Grant, Zachary; Gottlieb, Sigal; Seal, David C. Cited in: 9 Publications (2018–2022) Related Software: GitHub; NLopt; RIEMANN; Gmsh; phipm; KIOPS; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
visualSTATE Software Authors: Lind-Nielsen, Jørn; Andersen, Henrik Reif; Hulgaard, Henrik; Behrmann, Gerd; Kristoffersen, Kåre; Larsen, Kim G Cited in: 7 Publications (1999–2010) Related Software: CBMC; APS; NuSMV; BLAST; veriSoft; APS-1; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
WIAS-TeSCA Software Authors: H. Gajewski, M. Liero, R. Nürnberg, H. Stephan, WIAS Cited in: 9 Publications (2003–2019) Related Software: Sentaurus Device Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
fdANOVA Software Authors: Górecki, Tomasz; Smaga, Łukasz Cited in: 8 Publications (2019–2022) Related Software: R; fda (R); mfds; GitHub; fda.usc; rrcov; … Main Fields: General and overarching topics; collections (00-XX); Functional analysis (46-XX); Probability theory and stochastic processes (60-XX)
MultiVis Software Authors: Jimeng Sun, Spiros Papadimitriou, Ching-Yung Lin, Nan Cao, Shixia Liu, Weihong Qian Cited in: 8 Publications (2015–2022) Related Software: TensorToolbox; Tensorlab; DFacTo; GigaTensor; Adam; rTensor; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX)
ROBOTRAN Software Authors: N. Docquier, A. Poncelet, P. Fisette Cited in: 7 Publications (1993–2020) Related Software: Chrono; Pasimodo; SYMORO+; MuJoCo; OpenSYMORO; Bullet; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mechanics of particles and systems (70-XX)
Skew Software Authors: Ferreres G, Biannic J-M. Cited in: 8 Publications (1999–2015) Related Software: Mu Analysis and Synthesis Toolbox; LMI toolbox; LFR-toolbox; YALMIP; Optimization Toolbox; Robust Control Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Difference and functional equations (39-XX); Systems theory; control (93-XX)
Snugglebug Software Authors: Chandra, S., Fink, S.J., Sridharan, M. Cited in: 7 Publications (2010–2021) Related Software: DART; z3; STP; YOGI; KLEE; InvGen; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SOFAR Software Authors: Uematsu, Yoshimasa; Fan, Yingying; Chen, Kun; Lv, Jinchi; Lin, Wei Cited in: 8 Publications (2019–2022) Related Software: camel; secure; rrpack; PEER; glmnet; R; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CompPD Software Authors: Xiaohui Liu; Yijun Zuo Cited in: 5 Publications (2018–2022) Related Software: depth; R; modQR; depth.plot; OjaNP; Matlab; … Main Fields: Algebraic topology (55-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
DISPRO Software Authors: V. S. Mikhalevich, I. V. Sergienko, T. T. Lebedeva, et al. Cited in: 7 Publications (1981–2017) Related Software: PLANNER; DISNEL; Octave; Matlab; ralgb5; ralgb4 Main Fields: History and biography (01-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Dytan Software Authors: Clause, J., Li, W., Orso, A. Cited in: 5 Publications (2013–2021) Related Software: TAJ; TaintDroid; Panorama; FlowDroid; F4F; Pixy; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MCFDR Software Authors: Sandve, G., Ferkingstad, E.; Nygard, S Cited in: 7 Publications (2014–2020) Related Software: MMCTest; ORIOGEN; simctest; QuickMMCTest; iBBiG; bootlib; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
MUSCOP Software Authors: Potschka, Andreas Cited in: 7 Publications (2001–2021) Related Software: NewtonLib; ADOL-C; UFL; FEniCS; DOLFIN; MUMPS; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX)
NLvib Software Authors: Krack, Malte; Gross, Johann Cited in: 7 Publications (2019–2022) Related Software: CL_MATCONT; AUTO-07P; MATCONT; SciPy; PETSc; FreeFem++; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
TACO Software Authors: Juan P. Galeotti; Nicolas Rosner; Carlos G. Lopez Pombo; Marcelo F. Frias Cited in: 4 Publications (2013–2021) Related Software: Java PathFinder; TestEra; Korat; GitHub; Kodkod; JPF-SE; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-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)
FlowDroid Software Authors: Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., Octeau, D., McDaniel, P. Cited in: 5 Publications (2015–2021) Related Software: TAJ; Dytan; TaintDroid; FlashMeta; FlashRelate; FlashExtract; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
GravEn Software Authors: Stuver, Amber L.; Finn, Lee Samuel Cited in: 6 Publications (1993–2009) Related Software: Pajek datasets; Matlab Main Fields: Combinatorics (05-XX); Real functions (26-XX); Probability theory and stochastic processes (60-XX)
Honey badger algorithm Software Authors: Hashim, Fatma A.; Houssein, Essam H.; Hussain, Kashif; Mabrouk, Mai S.; Al-Atabany, Walid Cited in: 6 Publications (2022) Related Software: WOA; SSA; AOA; ALO; GWO; GSA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
KADABRA Software Authors: Borassi, Michele; Natale, Emanuele Cited in: 6 Publications (2016–2022) Related Software: ionet; R; SNAP Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-XX)
LinMapTS Software Authors: Alves, P.R.L.; Duarte, L.G.S.; da Mota, L.A.C.P. Cited in: 6 Publications (2016–2022) Related Software: TIMES; Maple; TISEAN; ISLR; Matlab Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)
Naiad Software Authors: D. G. Murray, F. McSherry, R. Isaacs, M. Isard, P. Barham, M. Abadi Cited in: 5 Publications (2017–2022) Related Software: Apache Flink; MonPoly; MapReduce; BigDatalog; Vadalog; SociaLite; … Main Fields: Computer science (68-XX)
roahd Software Authors: Nicholas Tarabelloni, Ana Arribas-Gil, Francesca Ieva, Anna Maria Paganoni, Juan Romo Cited in: 4 Publications (2017–2021) Related Software: R; fda (R); Rainbow; adamethods; mrfDepth; fda.usc; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)
USAC Software Authors: Raguram, R.; Chum, O.; Pollefeys, M.; Matas, J.; Frahm, JM Cited in: 6 Publications (2016–2021) Related Software: SURF; MonoSLAM; SIFT; SOSNet; L2-Net; Theia; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Decision Lab 2000 Software Authors: Visual Decision; Geldermann, Jutta; Zhang, Kejing Cited in: 5 Publications (2001–2010) Related Software: UTA Plus; InterViewer; VIKOR; BANKADVISER; ORESTE; ARGOS; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
EEMC Software Authors: Jin, Yan; Wang, Ling; Kim, Yoohwan; Yang, Xiaozong Cited in: 4 Publications (2008–2022) Related Software: odmd; Boids; ABC; CPLEX Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FEYNMAN Software Authors: Radtke, T.; Fritzsche, S. Cited in: 5 Publications (2005–2018) Related Software: Maple; base.mpl; QDENSITY; QUBIT4MATLAB V3.0 Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
Inc-cluster Software Authors: Cheng, Hong; Zhou, Yang; Huang, Xin; Yu, Jeffrey Xu Cited in: 5 Publications (2012–2020) Related Software: SA-cluster; node2vec; GraRep; AS 136; APCluster; apcluster; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
JAUMIN Software Authors: Fan, Xuanhua; Wang, Keying; Xiao, Shifu; Liu, Qingkai; Mo, Zeyao Cited in: 4 Publications (2015–2022) Related Software: PETSc; UMFPACK; dune-xt; PANG; CutFEM; Dune-UDG; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
na11 Software Authors: Kobbelt, Leif Cited in: 5 Publications (1997–2021) Related Software: Matlab; Stanford 3D Scanning Repository; ISOGAT; PovRay; na2; MDDS Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX)
NEP-PACK Software Authors: Elias Jarlebring, Max Bennedich, Giampaolo Mele, Emil Ringh, Parikshit Upadhyaya Cited in: 4 Publications (2019–2023) Related Software: NLEIGS; SLEPc; NLEVP; Julia; DDE-BIFTOOL; TDS-CONTROL; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Numerical analysis (65-XX)
PYGMALION Software Authors: Cournède, P.-H.; Chen, Y.; Wu, Q.; Baey, C.; Bayol, B. Cited in: 5 Publications (2013–2019) Related Software: mvShapiroTest; SILVA; emdbook Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
RISOTTO Software Authors: Nadia Pisanti; Alexandra M. Carvalho; Laurent Marsan; Marie-France Sagot Cited in: 4 Publications (2006–2019) Related Software: SPEA2; RecMotif; PMS5; TRANSFAC Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
Succinct Software Authors: Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, Rene Rydhof; Pilegaard, Henrik; Seidl, Helmut Cited in: 5 Publications (2004–2010) Related Software: Linda; KLAIM; PEPA; SpiCO; HOL/SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
TARANG Software Authors: Teimurazov, A. S.; Stepanov, R. A.; Verma, M. K.; Barman, S.; Kumar, A.; Sadhukhan, S. Cited in: 4 Publications (2018–2022) Related Software: Pencil Code; Blitz++; Gerris; SU2; OpenFOAM; SARAS Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
TREMOLO-X Software Authors: M. Griebel; J. Hamaekers; Fraunhofer SCAI Cited in: 4 Publications (2004–2017) Related Software: Python; Atomistix ToolKit; ATK-Classical; GDAL; FastDTW; ms2; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)