NEURON Software Authors: Migliore, M.; Cannia, C.; Lytton, W.W.; Markram, Henry; Hines, M.L. Cited in: 137 Publications (1996–2022) Related Software: NEST; Brian; Pynn; XPPAUT; Spikenet; SpiNNaker; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
MONA Software Authors: Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J. Cited in: 137 Publications (1995–2023) Related Software: z3; DCVALID; NuSMV; Isabelle/HOL; Uppaal; SIMPLIFY; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Pegasos Software Authors: Shai Shalev-Shwartz, Yoram Singer, Nathan Srebro, Andrew Cotter Cited in: 110 Publications (2009–2023) Related Software: LIBSVM; LIBLINEAR; UCI-ml; SSVM; SVMlight; AdaGrad; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
PPINN Software Authors: Xuhui Meng, Zhen Li, Dongkun Zhang, George Em Karniadakis Cited in: 33 Publications (2020–2023) Related Software: FPINNs; Adam; DeepXDE; DGM; DiffSharp; AlexNet; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
ABF++ Software Authors: A. Sheffer, B. Lévy, M. Mogilnitsky, A. Bogomyakov Cited in: 26 Publications (2007–2022) Related Software: Stanford 3D Scanning Repository; RiemannMapper; ShapeOp; GitHub; PlgCirMap; ARAP++; … Main Fields: Combinatorics (05-XX); Functions of a complex variable (30-XX); Convex and discrete geometry (52-XX)
GP-SCL Software Authors: Vudragović, Dušan; Vidanović, Ivana; Balaž, Antun; Muruganandam, Paulsamy; Adhikari, Sadhan K. Cited in: 27 Publications (2009–2022) Related Software: AEDU; Gross-Pitaevskii; imagetime1d; CUDA; BEC-GP-OMP-FOR; realtime3d-hyb; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
ShuffleNet Software Authors: Xiangyu Zhang, Xinyu Zhou, Mengxiao Lin, Jian Sun Cited in: 19 Publications (2019–2022) Related Software: ImageNet; MobileNets; AlexNet; Xception; Adam; MS-COCO; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Hyperband Software Authors: L. Li, K. Jamieson, G. DeSalvo, A. Rostamizadeh, A. Talwalkar Cited in: 21 Publications (2018–2022) Related Software: Spearmint; SMAC; Hyperopt; BOHB; Adam; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
GPGPU Software Authors: Luebke, D., Harris, M., Govindaraju, N., Lefohn, A., Houston, M., Owens, J., Segal, M., Papakipos, M., Buck, I. Cited in: 14 Publications (2006–2018) Related Software: CUDA; OpenACC; OpenCL; HOSTA; MPI; ATLAS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
AmgX Software Authors: Naumov, M.; Arsaev, M.; Castonguay, P.; Cohen, J.; Demouth, J.; Eaton, J.; Layton, S.; Markovskiy, N.; Reguly, I.; Sakharnykh, N.; Sellappan, V.; Strzodka, R. Cited in: 11 Publications (2015–2022) Related Software: hypre; CUDA; PETSc; BoomerAMG; CUSPARSE; SparseMatrix; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
CheFSI Software Authors: Zhou, Yunkai; Chelikowsky, James R.; Saad, Yousef Cited in: 16 Publications (2014–2022) Related Software: ABINIT; Quantum Espresso; ClusterES; lobpcg.m; CASTEP; PARSEC; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Optics, electromagnetic theory (78-XX)
QSobel Software Authors: Zhang, Yi; Lu, Kai; Gao, Yinghui Cited in: 16 Publications (2015–2022) Related Software: QISKit; Matlab; COIL-20; COIL-100; BSDS Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Computer science (68-XX); Quantum theory (81-XX)
Algorithm 769 Software Authors: Pardalos, Panos M.; Pitsoulis, Leonidas; Resende, Mauricio G.C. Cited in: 15 Publications (1997–2016) Related Software: QAPLIB; GRASP; GRASP_QAP; TTTPLOTS; Algorithm 815; Tabu search; … Main Fields: Numerical analysis (65-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; GOLOG; ProbLog; NMRDPP; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PEBBL Software Authors: Eckstein, Jonathan; Hart, William E.; Phillips, Cynthia A. Cited in: 12 Publications (2009–2022) Related Software: CHiPPS; SCIP; ParaSCIP; UG; SYMPHONY; ALPS; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPOOK Software Authors: A. Pfeffer, D. Koller, B. Milch, K. Takusagawa Cited in: 11 Publications (2000–2020) Related Software: BLOG; FACTORIE; IBAL; TETRAD; PRISM; MEBN; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Tuffy Software Authors: Feng Niu, Christopher Ré, AnHai Doan, Jude W. Shavlik Cited in: 12 Publications (2013–2021) Related Software: ProbLog; RockIt; PRMLT; YAGO; Alchemy; GMNN; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PaMiraXT Software Authors: Schubert, Tobias; Lewis, Matthew; Becker, Bernd Cited in: 11 Publications (2009–2021) Related Software: ManySAT; Lingeling; MiniSat; Plingeling; Chaff; SATO; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
reducedLP Software Authors: André L. Tits, P.-A. Absil, William P. Woessner Cited in: 12 Publications (1992–2019) Related Software: rMPC; SDPT3; NewtonKKTqp; LIPSOL; CVX; SeDuMi; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
TheLMA Software Authors: C. Obrecht, F. Kuznik, B. Tourancheau, J.-J. Roux Cited in: 10 Publications (2012–2021) Related Software: CUDA; LBHydra; FLUENT; ANSYS; NOISETTE; OpenCL; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)
MatlabMPI Software Authors: – Cited in: 7 Publications (2004–2021) Related Software: Matlab; MultiMATLAB; Parallel Computing Toolbox; pMatlab; CoArray; MultiMin; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
ParaDiag Software Authors: Martin J. Gander, Jun Liu, Shu-Lin Wu, Xiaoqiang Yue, Tao Zhou Cited in: 10 Publications (2021–2023) Related Software: PARALAAOMPI; MGRIT; pyParareal; RODAS; ParaOpt; LFA; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-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; DAVID; AppliedPredictiveModeling; igraph; LINE; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
SpecuLOOS Software Authors: Bosshard, Christoph; Bouffanais, Roland; Deville, Michel; Gruber, Ralf; Latt, Jonas Cited in: 9 Publications (2011–2021) Related Software: CUDA; npFEM; Spalart-Allmaras; MUSCLE-HPC; VLADYMIR; Hemocell; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
GPipe Software Authors: Yanping Huang, Youlong Cheng, Ankur Bapna, Orhan Firat, Mia Xu Chen, Dehao Chen, HyoukJoong Lee, Jiquan Ngiam, Quoc V. Le, Yonghui Wu, Zhifeng Chen Cited in: 9 Publications (2020–2023) Related Software: ImageNet; PyTorch; CIFAR; TensorFlow; AlexNet; GitHub; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
OdinMP/CCp Software Authors: Brunschen, Christian; Brorsson, Mats Cited in: 9 Publications (2000–2010) Related Software: STAPL; Overture; CableS Main Fields: Computer science (68-XX)
SPLATT Software Authors: S. Smith, N. Ravindran, N. D. Sidiropoulos, G. Karypis Cited in: 9 Publications (2018–2022) Related Software: TensorToolbox; DFacTo; GigaTensor; Genten; FROSTT; PLANC; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
BOUT Software Authors: Rognlien, T. D.; Xu, X. Q.; Hindmarsh, A. C. Cited in: 8 Publications (2002–2016) Related Software: MPI; VODE; KELLEY; PVODE; KINSOL; SUNDIALS; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Numerical analysis (65-XX)
c-sat Software Authors: Ohmura, Kei; Ueda, Kazunori Cited in: 6 Publications (1996–2015) Related Software: ManySAT; Plingeling; Chaff; MiniSat; HordeSat; Treengeling; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
FE-gMG Software Authors: Geveler, M.; Ribbrock, D.; Göddeke, D.; Zajac, P.; Turek, S. Cited in: 8 Publications (2013–2018) Related Software: CUDA; Pogo; OpenCL; BoomerAMG; DOLFIN; MKL; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
MODTRAN Software Authors: Wang, P.; Liu, Karen Y.; Cwik, Tom; Green, Robert Cited in: 5 Publications (2002–2007) Related Software: ENVI; Xilinx; Handel-C; MPI; MPI/MPICH; HeteroMPI; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SymChaff Software Authors: Sabharwal, Ashish Cited in: 8 Publications (2007–2022) Related Software: MiniSat; bliss; Chaff; Traces; nauty; CDCLSym; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CUD@SAT Software Authors: A. Dal Pal‘u, A. Dovier, A. Formisano, E. Pontelli Cited in: 7 Publications (2016–2021) Related Software: ManySAT; Lingeling; Plingeling; Chaff; CUDA; sunny-cp; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MGTP Software Authors: Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki Cited in: 6 Publications (1995–2013) Related Software: SATCHMO; TPTP; MiniSat; FINDER; QMaxSAT; Scsat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
mplrs Software Authors: David Avis, Charles Jordan Cited in: 6 Publications (2017–2020) Related Software: polymake; lrs; PORTA; TOPCOM; Gurobi; Minksum; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)
PyPy Software Authors: Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Armin Rigo Cited in: 3 Publications (2015–2018) Related Software: GitHub; Julia; JavaScript; Python; DifferentialEquations.jl; CollectiveSpins.jl; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Roo Software Authors: Lusk, E.L., McCune, W., Slaney, J.K. Cited in: 6 Publications (1991–2014) Related Software: SETHEO; OTTER; Aquarius; METEOR; PARTHENON; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SHIELD Software Authors: Khedr, Alhassan; Gulak, Glenn; Vaikuntanathan, Vinod Cited in: 7 Publications (2016–2019) Related Software: FHEW; HElib; fhe; UCI-ml; JustGarble; ELmD; … Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Cliffosor Software Authors: Gentile A., Segreto S., Sorbello F., Vassallo G., Vitabile S., Vullo V. Cited in: 6 Publications (2010–2020) Related Software: Gaigen; Gaalop; CLU; CLUCalc; CLIFFORD; GA; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
CloudBurst Software Authors: Michael C. Schatz Cited in: 2 Publications (2013–2018) Related Software: Soap; MrsRF; MapReduce; BWA; ZOOM; Crossbow; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
eVolCheck Software Authors: Grigory Fedyukovich; Ondrej Sery; Natasha Sharygina Cited in: 6 Publications (2013–2019) Related Software: FunFrog; PeRIPLO; OpenSMT2; SymDiff; OpenSMT; GNU parallel; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ExaDG Software Authors: Arndt, D.; Fehn, N.; Kanschat, G.; Kormann, K.; Kronbichler, M.; Munch, P.; Wall, W.; Witte, J. Cited in: 5 Publications (2020–2023) Related Software: deal.ii; PETSc; WorkStream; Exasim; Gmsh; Nektar++; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
gpuls-mwcp Software Authors: Nogueira, Bruno; Pinheiro, Rian G. S. Cited in: 6 Publications (2018–2022) Related Software: ils-mwis; SCCWalk; CUDA; PRMLT; TensorFlow; LIBLINEAR; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HONEI Software Authors: Danny van Dyk, Markus Geveler, Sven Mallach, Dirk Ribbrock, Dominik Göddeke, Carsten Gutwenger Cited in: 5 Publications (2009–2021) Related Software: CUDA; OpenCL; FEAT3; ITPACK; FEATFLOW; ITPACK 2C; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
KADABRA Software Authors: Borassi, Michele; Natale, Emanuele Cited in: 6 Publications (2016–2022) Related Software: GitHub; ionet; R; SNAP Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-XX)
NDL Software Authors: Voglis, C.; Hadjidoukas, P.E.; Lagaris, I.E.; Papageorgiou, D.G. Cited in: 5 Publications (2009–2015) Related Software: D04AAF; numDeriv; nag; VTDIRECT95; PaGMO/PyGMO; TINKER; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Parareal Software Authors: Kreienbuehl, Andreas; Naegel, Arne; Ruprecht, Daniel; Speck, Robert; Wittum, Gabriel; Krause, Rolf Cited in: 6 Publications (2015–2021) Related Software: pyParareal; GASCOIGNE; MGRIT; PARAEXP; RODAS; MPI; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
AMC Software Authors: Yihui He, Ji Lin, Zhijian Liu, Hanrui Wang, Li-Jia Li, Song Han Cited in: 3 Publications (2020–2021) Related Software: Python; ImageNet; Adam; Spearmint; Hyperopt; DADA; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Statistics (62-XX)
BEC-GP-OMP-FOR Software Authors: Luis E. Young-S.; Paulsamy Muruganandam; Sadhan K. Adhikari; Vladimir Loncar; Dusan Vudragovic; Antun Balaz Cited in: 4 Publications (2016–2023) Related Software: imagetime1d; GP-SCL; AEDU; Gross-Pitaevskii; realtime3d-hyb; imagtime3d-hyb; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)
GeNN Software Authors: Yavuz, E; Turner, J; Nowotny, T Cited in: 5 Publications (2018–2020) Related Software: Pynn; NEURON; Python; SpineML; NineML; Simbrain; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Inc-cluster Software Authors: Cheng, Hong; Zhou, Yang; Huang, Xin; Yu, Jeffrey Xu Cited in: 5 Publications (2012–2020) Related Software: SA-cluster; LINE; apcluster; node2vec; GraRep; AS 136; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
NUMATH Software Authors: Hebermehl, Georg Cited in: 5 Publications (1983–1999) Related Software: – Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX); Statistics (62-XX)
PaQuBE Software Authors: Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia Cited in: 4 Publications (2011–2012) Related Software: MiniSat; PaMiraXT; SATO; PSATO; ManySAT; Lingeling; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
PELCR Software Authors: Pedicini, Marco; Quaglia, Francesco Cited in: 4 Publications (2007–2019) Related Software: MPINE; PORGY; Haskell Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
POLY Software Authors: Monagan, Michael; Pearce, Roman Cited in: 4 Publications (2014–2020) Related Software: Maple; SINGULAR; Magma; Macaulay2; TRIP; ALTRAN; … Main Fields: Commutative algebra (13-XX); Computer science (68-XX)
RAPSearch2 Software Authors: Zhao Y, Tang H, Ye Y Cited in: 4 Publications (2017–2022) Related Software: Bio++; UniProt; BLAT; Biopython; EasyBuild; GenomeTools; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)
TexMol Software Authors: C. L. Bajaj, P. Djeu, V. Siddavanahalli, A. Thane Cited in: 4 Publications (2006–2011) Related Software: APBS; F2Dock; MolEnergy; PDB2PQR; PETSc; CHARMM Main Fields: Partial differential equations (35-XX); Manifolds and cell complexes (57-XX); Numerical analysis (65-XX)
wien-speedup Software Authors: Petersen, M.; Wagner, F.; Hufnagel, L.; Scheffler, M.; Blaha, P.; Schwarz, K. Cited in: 5 Publications (2000–2017) Related Software: WIEN97; WIEN2k; FLEUR; Elemental; Maple Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)
Cetus Software Authors: Lee, Sang-Ik; Johnson, Troy A.; Eigenmann, Rudolf Cited in: 2 Publications (2004–2011) Related Software: AspectC++; Zoltar; Daikon; IODINE; LARA; OpenUH; … Main Fields: Computer science (68-XX)
ClassdescMP Software Authors: Russell K. Standish; Duraid Madina Cited in: 0 Publications Related Software: EcoLab; SWIG; Boost; VTK; POOMA; Graphcode Main Fields: –
Cryptfs Software Authors: Erez Zadok, Ion Badulescu, Alex Shender Cited in: 1 Publication (2006) Related Software: SiRiUS; Plutus; Iolus; StegFS; FiST Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
DAGMap Software Authors: Cao, Haijun; Jin, Hai; Wu, Xiaoxin; Wu, Song; Shi, Xuanhua Cited in: 3 Publications (2012–2017) Related Software: Globus Toolkit; DAGMan; GridSim Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
DD3IMP Software Authors: L. F. Menezes; D. M. Neto; M. C. Oliveira; J. L. Alves Cited in: 4 Publications (2007–2017) Related Software: Netgen; FEAPpv; MKL; PARDISO; GiD Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
DOUG Software Authors: M.J. Hagger Cited in: 4 Publications (1998–2004) Related Software: METIS; MySQL; PHP; ARPACK; pARMS Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
DPRml Software Authors: Keane, T., Naughton, T., Travers, S., McInerney, J., McCormack, G. Cited in: 4 Publications (2006–2019) Related Software: pIQPNNI; BEAST; BEAGLE; RAxML; HyDe; PAUP*; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
EFREE Software Authors: Shay, M.A.; Drake, J.F.; Dorland, B. Cited in: 4 Publications (2007–2020) Related Software: Anderson; Vador; OSIRIS; P3D Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
gooPhi Software Authors: Kulikov, I. M.; Chernykh, I. G.; Tutukov, A. V. Cited in: 4 Publications (2018–2021) Related Software: AstroPhi; RAMSES; Pluto; Athena; NIRVANA; FISH; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
GP-SCL-HYB Software Authors: Satarić, Bogdan; Slavnić, Vladimir; Belić, Aleksandar; Balaž, Antun; Muruganandam, Paulsamy; Adhikari, Sadhan K. Cited in: 4 Publications (2016–2019) Related Software: GP-SCL; realtime3d-hyb; imagtime3d-hyb; Gross-Pitaevskii; BEC-GP-OMP-FOR; imagetime1d; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
GPU-PRISM Software Authors: Bošnački D, Edelkamp S, Sulewski D, Wijs A Cited in: 4 Publications (2016–2021) Related Software: CUDA; mCRL2; PRISM; textX; CUSP; GitHub; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
iSAT Software Authors: K. Scheibler, S. Kupferschmid, B. Becker Cited in: 4 Publications (2015–2017) Related Software: z3; SMT-RAT; MathSAT5; CVC4; MiniSat; OpenSMT; … Main Fields: Computer science (68-XX)
KBLAS Software Authors: A. Abdelfattah, H. Ltaief, D. Keyes Cited in: 4 Publications (2016–2020) Related Software: MAGMA; CUDA; LAPACK; CUBLAS; ScaLAPACK; LibSci; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
ompFEAP Software Authors: Jarzebski, P.; Wisniewski, K.; Taylor, R.L. Cited in: 4 Publications (2015–2019) Related Software: FEAP; AceFEM; PetIGA; Netgen; WARP3D; DROPS; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)
PATOMA Software Authors: Cong; M. Romesis; J.R. Shinnerl Cited in: 3 Publications (2008–2021) Related Software: UFO; LBFGS-B; DeFer; GSRC; NEOS; MINOS; … Main Fields: Convex and discrete geometry (52-XX); Operations research, mathematical programming (90-XX)
ProxSDP Software Authors: Souto, Mario; Garcia, Joaquim D.; Veiga, Álvaro Cited in: 4 Publications (2021–2022) Related Software: Mosek; ARPACK; SCS; SDPT3; SDPNAL+; SDPLR; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
RiTHM Software Authors: Navabpour S, Joshi Y, Wu CWW, Berkovich S, Medhat R, Bonakdarpour B, Fischmeister S Cited in: 4 Publications (2015–2020) Related Software: CBMC; NuSMV; SPIN; BLAST; UMC4M; C2M; … Main Fields: Computer science (68-XX)
SPHEROS Software Authors: Siamak Alimirzazadeh, Ebrahim Jahanbakhsh, Audrey Maertens, Sebastian Leguizamon, François Avellan Cited in: 4 Publications (2018–2022) Related Software: CUDA; gpuSPHASE; AUSM; PyOP2; GitHub; SYCL; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)
SWiMNet Software Authors: Boukerche, Azzedine; Das, Sajal K.; Fabbri, Alessandro Cited in: 3 Publications (2001–2008) Related Software: GloMoSim; Network Simulator 2; Tmix; DRAMA; PARAMICS; MoVES Main Fields: Computer science (68-XX)
WIGEON Software Authors: Meng, Chen; Wang, Long; Cao, Zongyan; Feng, Long-long; Zhu, Weishan Cited in: 4 Publications (2015–2022) Related Software: HOSTA; VAMPIR; PETSc; hypre; MPI; CUDA; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
cuHE Software Authors: Dai, Wei; Sunar, Berk Cited in: 3 Publications (2016–2022) Related Software: CUDA; NFLlib; TFHE; SEAL; GitHub Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
cuIBM Software Authors: Simon K Layton, Anush Krishnan, Lorena A. Barba Cited in: 2 Publications (2015–2023) Related Software: CUDA; SOLA; OpenACC; AmgXWrapper; AmgX; PETSc; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
CYCLADES Software Authors: Xinghao Pan, Maximilian Lam, Stephen Tu, Dimitris Papailiopoulos, Ce Zhang, Michael I. Jordan, Kannan Ramchandran, Chris Re, Benjamin Recht Cited in: 3 Publications (2018–2019) Related Software: HOGWILD; MovieLens; D-ADMM; ColPack; Saga; RCV1; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
EigenCFA Software Authors: Prabhu, Tarun; Ramalingam, Shreyas; Might, Matthew; Hall, Mary Cited in: 3 Publications (2011–2012) Related Software: PETSc; CUDA; THORS; TRecS; ARMC; SPIN Main Fields: Computer science (68-XX)
Ensign Software Authors: Cassini, Fabio; Einkemmer, Lukas Cited in: 3 Publications (2022–2023) Related Software: PIConGPU; GYSELA; SeLaLib; MKL; CUBLAS; ViDA; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
GPUBasedACS Software Authors: Rafał Skinderowicz Cited in: 3 Publications (2017–2020) Related Software: CUDA; Bob++; PEBBL; CHiPPS; METSlib; SOPLIB2006; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)
HASPRNG Software Authors: Lee, Junkyu; Bi, Yu; Peterson, Gregory D.; Hinde, Robert J.; Harrison, Robert J. Cited in: 2 Publications (2009–2017) Related Software: SPRNG; TestU01; RngSteam; ContactCenters; RngStreams; SFMT; … Main Fields: Numerical analysis (65-XX)
kmcudaR Software Authors: Vadim Markovtsev, Charles Determan Cited in: 3 Publications (2017–2020) Related Software: k-means++; Entropy-SGD; UCI-ml; J-MEANS Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
MIN3P-THCm Software Authors: Su, D.; Mayer, KU; MacQuarrie, KTB Cited in: 3 Publications (2020–2021) Related Software: TOUGHREACT; CrunchFlow; PFLOTRAN; OpenGeoSys; CORE2D; SUPCRT92; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)
MPtostream Software Authors: XueJun Yang; Tao Tang; GuiBin Wang; Jia Jia; XinHai Xu Cited in: 1 Publication (2012) Related Software: CUDA; OpenACC; CUDA-Zero; SBA; hiCUDA Main Fields: Computer science (68-XX)
MR-DBSCAN Software Authors: He, Y., Tan, H., Luo, W., Mao, H., Ma, D., Feng, S., Fan, J. Cited in: 3 Publications (2018–2021) Related Software: HPDBSCAN; COOLCAT; AS 102; Quicksort; C4.5; SOM; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
OT-Flow Software Authors: Derek Onken, Samy Wu Fung, Xingjian Li, Lars Ruthotto Cited in: 3 Publications (2022) Related Software: U-Net; BDD100k; Inception-v4; STL-10 dataset; AlexNet; CIFAR; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
PaMira Software Authors: – Cited in: 3 Publications (2009–2020) Related Software: PaSAT; PSATO; Lingeling; Plingeling; ManySAT; SATO; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
pCLUSTAL Software Authors: Cheetham JJ et al Cited in: 1 Publication (2015) Related Software: ClustalW; LAGAN; Algorithm 97; PAML; ACME; MODA; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
PFCorr Software Authors: Bajaj, Chandrajit; Bauer, Benedikt; Bettadapura, Radhakrishna; Vollrath, Antje Cited in: 3 Publications (2013–2021) Related Software: NFFT3; LORM; MTEX; Chebfun2; Chebfun; F2Dock; … Main Fields: Integral transforms, operational calculus (44-XX); Manifolds and cell complexes (57-XX); Statistics (62-XX)
pIQPNNI Software Authors: Minh, B., Vinh, L., Haeseler, A., Schmidt, H. Cited in: 3 Publications (2014–2019) Related Software: RAxML; iGTP; Bio++; ExaBayes; MulRF; MrBayes; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
PRISM-PSY Software Authors: Češka, M., Pilař, P., Paoletti, N., Brim, L., Kwiatkowska, M. Cited in: 3 Publications (2018) Related Software: PRISM; PROPhESY; Python; Numba; PPL; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Ripser++ Software Authors: Simon Zhang, Mengbai Xiao, Hao Wang Cited in: 2 Publications (2021–2022) Related Software: Eirene; Ripserer.jl; Ripser; Flagser; PersistenceDiagrams.jl; ComputationalHomology.jl; … Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX)
SparseDTW Software Authors: Ghazi Al-Naymat, Sanjay Chawla, Javid Taheri Cited in: 3 Publications (2013–2021) Related Software: GitHub; dtwSat; shapeDTW; UCR Suite; QuantQuote; stats; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
STELLA Software Authors: Tobias Gysi; Carlos Osuna; Oliver Fuhrer; Mauro Bianco; Thomas C. Schulthess Cited in: 2 Publications (2015–2020) Related Software: Kokkos; RAJA; COSMO; CUDA; GridTools; MODESTO; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Turbo-SMT Software Authors: Papalexakis, Evangelos E.; Mitchell, Tom M.; Sidiropoulos, Nicholas D.; Faloutsos, Christos; Talukdar, Partha Pratim; Murphy, Brian Cited in: 3 Publications (2016) Related Software: GigaTensor; TensorToolbox; PARAFAC; PRMLT; MultiVis; DBpedia; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)
AnyDBC Software Authors: Son T. Mai; Ira Assent; Martin Storgaard Cited in: 2 Publications (2018–2020) Related Software: gSpan; MR-DBSCAN; HPDBSCAN; ADvaNCE; DBSCAN Main Fields: Statistics (62-XX); Computer science (68-XX)