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)
ScaLAPACK Software Authors: Blackford, L.S.; Choi, J.; Cleary, A.; D'Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R.C. Cited in: 406 Publications (1995–2023) Related Software: LAPACK; BLAS; PLAPACK; MPI; PETSc; MUMPS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
LS-DYNA Software Authors: LSTC Cited in: 317 Publications (1982–2023) Related Software: DYNA3D; ABAQUS; Matlab; ANSYS; Nike2D; PRONTO3D; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
MapReduce Software Authors: Pan, Jie; Magoulès, Frédéric; Le Biannic, Yann Cited in: 198 Publications (2008–2022) Related Software: Hadoop; Spark; Dryad; Apache Spark; UCI-ml; Haskell; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
SNAP Software Authors: Jure Leskovec Cited in: 176 Publications (2009–2022) Related Software: SparseMatrix; NetworkX; DIMACS; KONECT; igraph; node2vec; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
Pastry Software Authors: Rowstron, Antony; Druschel, Peter Cited in: 63 Publications (2001–2022) Related Software: Chord; SCRIBE; BATON; UNITY; Globus Toolkit; PATRICIA; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
DB2 Software Authors: IBM Cited in: 46 Publications (1988–2020) Related Software: Oracle; MS SQL Server; Informix; XPath; PostgreSQL; Volcano; … Main Fields: Statistics (62-XX); Computer science (68-XX)
FEAST Software Authors: Tang, Ping Tak Peter; Polizzi, Eric Cited in: 89 Publications (2012–2022) Related Software: CIRR; JDQZ; lobpcg.m; SparseMatrix; JDQR; ARPACK; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX)
SPADE Software Authors: Zaki, Mohammed J. Cited in: 58 Publications (2001–2022) Related Software: PrefixSpan; BIDE; CloSpan; gSpan; CLOSET; SPMF; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SpaceEx Software Authors: Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray,Olivier Lebeltel, Rodolfo Ripado, Antoine Girard,Thao Dang, Oded Maler Cited in: 79 Publications (2011–2022) Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; Ellipsoidal Toolbox; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-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)
TAO Software Authors: Benson, Steven J.; McInnes, Lois Curfman; Moré, Jorge J. Cited in: 48 Publications (2001–2022) Related Software: PETSc; FEniCS; ADIC; OPT++; FAIR.m; LAPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Spark Software Authors: Zaharia M, Chowdhury M, Franklin MJ, Shenker S, Stoica I Cited in: 39 Publications (2015–2021) Related Software: MapReduce; Hadoop; Apache Spark; MLlib; Dryad; R; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
RM-MEDA Software Authors: Qingfu Zhang; Aimin Zhou; Yaochu Jin Cited in: 33 Publications (2010–2022) Related Software: MOEA/D; SPEA2; HypE; SMS-EMOA; PlatEMO; GDE3; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPRINT Software Authors: Shafer CJ, Agrawal R, Mehta M Cited in: 27 Publications (1998–2021) Related Software: SLIQ; C4.5; UCI-ml; RainForest; AutoClass; Fuzzy ARTMAP; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
MAGIC Software Authors: Chaki, Sagar; Clarke, Edmund; Jha, Somesh; Veith, Helmut Cited in: 37 Publications (2003–2019) Related Software: ComFoRT; Bandera; SPIN; Bebop; Maude; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
CCSTM Software Authors: N. G. Bronson, H. Cha., K. Olukotun Cited in: 34 Publications (2010) Related Software: – Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PFLOTRAN Software Authors: Lichtner, P.C., Hammond, G.E., Lu, C., Karra, S., Bisht, G., Andre, B., Mills, R.T., Kumar, J. Cited in: 34 Publications (2014–2022) Related Software: dfnWorks; TOUGHREACT; OpenGeoSys; LaGriT; TOUGH; HYDROGEOCHEM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
UbiCrawler Software Authors: P. Boldi, B. Codenotti, M. Santini, S. Vigna Cited in: 32 Publications (2004–2022) Related Software: WebGraph; SparseMatrix; Mercator; ILUPACK; DIMACS; SNAP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
P3DFFT Software Authors: Pekurovsky, Dmitry Cited in: 29 Publications (2010–2021) Related Software: FFTW; PFFT; 2DECOMP; PETSc; TTC; HPTT; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Dynamo Software Authors: Decandia, G.; Hastorun, D.; Jampani, M.; Kakulapati, G.; Lakshman, A.; Pilchin, A.; Sivasubramanian, S.; Vosshall, P.; Vogels, W. Cited in: 16 Publications (2011–2022) Related Software: Cassandra; Chord; Bigtable; MapReduce; SiRiUS; Plutus; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PaStiX Software Authors: Hénon, P.; Ramet, P.; Roman, J. Cited in: 28 Publications (2000–2022) Related Software: MUMPS; LAPACK; Scotch; METIS; SparseMatrix; PETSc; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
BDDC Software Authors: Šístek, J. Author Profile; Mandel, J.; Sousedík, B.; Burda, P. Cited in: 30 Publications (2013–2021) Related Software: BDDCML; PETSc; METIS; MUMPS; PCBDDC; lobpcg.m; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
COOLCAT Software Authors: Barbará, D., Li, Y., Couto, J. Cited in: 21 Publications (2006–2021) Related Software: UCI-ml; ROCK; clusfind; AS 136; AutoClass; SpectralCAT; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-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); Optics, electromagnetic theory (78-XX)
preCICE Software Authors: Hans-Joachim Bungartz, Gerasimos Chourdakis, Kyle Davis, Berhard Gatzhammer, Florian Lindner, Miriam Mehl, Alexander Rusch, Benjamin Rüth, Klaudius Scheufele, Frédéric Simonis, Amin Totounferoush, Benjamin Uekermann Cited in: 26 Publications (2010–2022) Related Software: MpCCI; deal.ii; MUI; OpenFOAM; FEniCS; UMFPACK; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Cassandra Software Authors: Lakshman, A., Malik, P. Cited in: 20 Publications (2012–2022) Related Software: Dynamo; Bigtable; MongoDB; CouchDB; MapReduce; MySQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CASIA Iris Software Authors: Institute of Automation, Chinese Academy of Science Cited in: 17 Publications (2007–2021) Related Software: UBIRIS; Key.Net; SURF; PCA-SIFT; MobileNets; UCI-ml; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MatSol Software Authors: Tomáš Brzobohatý; Alexandros Markopoulos; Tomáš Kozubek Cited in: 24 Publications (2010–2020) Related Software: Total FETI; Matlab; TFETI; symrcm; HYPLAS; METIS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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)
MathWebSearch Software Authors: Michael Kohlhase, Bogdan A. Matican, Corneliu-Claudiu Prodescu Cited in: 21 Publications (2006–2021) Related Software: OMDoc; MMT; Mizar; DLMF; ActiveMath; MoMM; … Main Fields: Mathematical logic and foundations (03-XX); Special functions (33-XX); Partial differential equations (35-XX)
QMT Software Authors: Rabe, Florian Cited in: 22 Publications (2012–2022) Related Software: MMT; Mizar; Isabelle; Coq; HOL Light; LATIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NAMD2 Software Authors: Kale, Laxmikant; Skeel, Robert; Bhandarkar, Milind; Brunner, Robert; Gursoy, Attila; Krawetz, Neal; Phillips, James; Shinozaki, Aritomo; Varadarajan, Krishnan; Schulten, Klaus Cited in: 17 Publications (1998–2016) Related Software: CHARMM; Gromacs; VMD; NAMD; Globus Toolkit; AMBER; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
DARTS Software Authors: Hanxiao Liu, Karen Simonyan, Yiming Yang Cited in: 14 Publications (2020–2022) Related Software: ImageNet; CIFAR; Adam; PyTorch; ProxylessNAS; Python; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
ECLIPSE Software Authors: Schlumberger Cited in: 20 Publications (2006–2022) Related Software: EnKF; Petrel; IPARS; MRST; Matlab; FieldOpt; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
FaCSI Software Authors: Simone Deparis, Davide Forti, Gwenol Grandperrin, Alfio Quarteroni Cited in: 20 Publications (2016–2022) Related Software: Trilinos; MUMPS; ParMETIS; FROSch; IFPACK; Gmsh; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Giggle Software Authors: Chervenak, A., Deelman, E., Foster, I., Guy, L., Hoschek, W., Iamni tchi, A., Kesselman, C., Kunst, P., Ripeanu, M., Schwartzkopf, B., Stockinger, H., Stockinger, K., Tierney, B. Cited in: 5 Publications (2005–2011) Related Software: Pegasus; Nimrod/G; OptorSim; Taverna; Java CoG Kit; Globus Toolkit; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
MetaMorph Software Authors: Maturana, F.; Shen, W.; Norrie, D.H. Cited in: 18 Publications (1999–2010) Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
VTune Software Authors: Intel; Reinders, J. Cited in: 8 Publications (2006–2023) Related Software: ParaView; PETSc; Doxygen; Valgrind; SUNDIALS; Maple; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
Casper* Software Authors: Chow, Chi-Yin; Mokbel, Mohamed F.; Aref, Walid G. Cited in: 5 Publications (2012–2022) Related Software: SpaceTwist; STR; LocLok; MaPIR; LP3Verif; CVC4; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
ELKI Software Authors: Schubert E, Koos A, Emrich T, Züfle A, Schmid KA, Zimek A Cited in: 11 Publications (2012–2021) Related Software: LOF; Orca; SLOM; SOREX; UCI-ml; WEKA; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
NSU3D Software Authors: Dimitri J. Mavriplis; Karthik Mani Cited in: 18 Publications (2008–2021) Related Software: Spalart-Allmaras; FUN3D; EDGE; USM3D; PETSc; mStrand; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
PVeStA Software Authors: AlTurki, M., Meseguer, J Cited in: 13 Publications (2011–2021) Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
RainForest Software Authors: Gehrke J., Ramakrishnan R., and Ganti V. Cited in: 8 Publications (2002–2022) Related Software: C4.5; SLIQ; SPRINT; UCI-ml; AdaBoost.MH; WEKA; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SDPARA Software Authors: M. Yamashita; K. Fujisawa; M. Kojima Cited in: 17 Publications (2004–2019) Related Software: SeDuMi; SDPA; SDPT3; CSDP; SDPLIB; SDPLR; … Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)
Node.js Software Authors: Chaniotis, Ioannis K.; Kyriakou, Kyriakos-Ioannis D.; Tselikas, Nikolaos D. Cited in: 5 Publications (2017–2022) Related Software: JavaScript; Angular; Traefik; Docker; Synode; npm; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
PSPIKE Software Authors: Madan Sathe; Olaf Schenk; Ahmed H. Sameh; Murat Manguoğlu Cited in: 14 Publications (2004–2022) Related Software: SparseMatrix; SPIKE; PARDISO; MUMPS; CSparse; PSPIKE+; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
FairplayMP Software Authors: Ben-David, A., Nisan, N., Pinkas, B. Cited in: 11 Publications (2012–2022) Related Software: TASTY; VIFF; VMCrypt; Sharemind; ZIDS; ABY; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
MUPHY Software Authors: Bernaschi, M.; Melchionna, S.; Succi, S.; Fyta, M.; Kaxiras, E.; Sircar, J. K. Cited in: 16 Publications (2010–2019) Related Software: Hemelb; waLBerla; Palabos; MUSCLE 2; DistMesh; likwid; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
MPICH2 Software Authors: Gropp, William Cited in: 7 Publications (2002–2016) Related Software: OpenMPI; Matlab; NAS Parallel Benchmarks; MPI; ParMETIS; Mathematica; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
zk-SNARK Software Authors: Ben-Sasson, Eli; Chiesa, Alessandro; Tromer, Eran; Virza, Madars Cited in: 15 Publications (2014–2022) Related Software: Pinocchio; SNARKs for C; Marlin; ADSNARK; GitHub; Geppetto; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)
CrossMine Software Authors: Yin, Xiaoxin; Han, Jiawei; Yang, Jiong; Yu, Philip S. Cited in: 9 Publications (2005–2020) Related Software: FactorBase; PRMLT; FOIL; missForest; OpenML; Scikit; … Main Fields: Statistics (62-XX); Computer science (68-XX)
NetworKit Software Authors: Christian L. Staudt, Aleksejs Sazonovs, Henning Meyerhenke Cited in: 14 Publications (2015–2020) Related Software: SNAP; KONECT; Hyperbolic graph generator; NetworkX; LAMG; igraph; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
PSPASES Software Authors: Joshi, Mahesh V.; Karypis, George; Kumar, Vipin; Gupta, Anshul; Gustavson, Fred Cited in: 13 Publications (1999–2020) Related Software: METIS; SparseMatrix; SuperLU-DIST; BLAS; MUMPS; LAPACK; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
CUBIC Software Authors: Ha, S., Rhee, I., Xu, L. Cited in: 10 Publications (2014–2021) Related Software: ns-2; GUM; SPIN; GitHub; Eden; Multilisp; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Exa-Dune Software Authors: Peter Bastian, Mirco Altenbernd, Nils-Arne Dreier, Christian Engwer, Jorrit Fahlke, René Fritze, Markus Geveler, Dominik Göddeke, Oleg Iliev, Olaf Ippisch, Jan Mohring, Steffen Müthing, Mario Ohlberger, Dirk Ribbrock, Nikolay Shegunov, Stefan Turek Cited in: 11 Publications (2015–2021) Related Software: p4est; deal.ii; DUNE; FEniCS; Gmsh; UG4; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
ForestClaw Software Authors: C. Burstedde, D. Calhoun, K. Mandli, A. R. Terrel Cited in: 12 Publications (2016–2022) Related Software: p4est; Chombo; Peano; PARAMESH; SAMRAI; AMReX; … Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)
GKLEE Software Authors: Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P. Cited in: 10 Publications (2013–2022) Related Software: GPUVerify; CUDA; OpenCL; Coq; GRace; Why3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ORB5 Software Authors: Jolliet, S.; Bottino, A.; Angelino, P.; Hatzky, R.; Tran, T.; Mcmillan, B.; Sauter, O.; Appert, K.; Idomura, Y.; Villard, L. Cited in: 13 Publications (2008–2022) Related Software: gs2; GYSELA; stella; MUMPS; XTOR; CHEASE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)
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; RelNN; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ASKIT Software Authors: March, William B.; Xiao, Bo; Yu, Chenhan D.; Biros, George Cited in: 12 Publications (2015–2022) Related Software: UCI-ml; GitHub; STRUMPACK; ScalFMM; H2Lib; Thrust; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
MayBMS Software Authors: Huang, J., Antova, L., Koch, C., Olteanu, D. Cited in: 10 Publications (2011–2022) Related Software: sharpSAT; M4RI; BayesOWL; BLOG; PR-OWL; KnowRob; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
mlr3 Software Authors: Michel Lang, Bernd Bischl, Jakob Richter, Patrick Schratz, Giuseppe Casalicchio, Stefan Coors, Quay Au, Martin Binder Cited in: 4 Publications (2021–2022) Related Software: R; mlr; caret; Scikit; ggplot2; tidymodels; … Main Fields: Statistics (62-XX); Computer science (68-XX)
Paracooba Software Authors: Heisinger, Maximilian; Fleury, Mathias; Biere, Armin Cited in: 12 Publications (2020–2021) Related Software: CaDiCaL; Kissat; MiniSat; GitHub; Lingeling; Plingeling; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
PeerSim Software Authors: Montresor A, Jelasity M Cited in: 8 Publications (2009–2018) Related Software: Pastry; Chord; JDQZ; JDQR; HOGWILD; Aleph; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Spikenet Software Authors: Arnaud Delorme; Simon J Thorpe Cited in: 8 Publications (2005–2014) Related Software: NEURON; XPPAUT; SIRENE; UniProt; WebGestalt; KDDONTO; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-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)
ECDAR Software Authors: David, Alexandre; Larsen, Kim.G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej Cited in: 8 Publications (2011–2018) Related Software: MIO Workbench; UPPAAL TIGA; Motras; PyEcdar; Uppaal; JML; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Hom4PS-3 Software Authors: Chen, Tianran; Lee, Tsung-Lin; Li, Tien-Yien Cited in: 11 Publications (2014–2021) Related Software: PHCpack; HOM4PS; MixedVol; DEMiCs; Bertini; PHoM; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
HPCTOOLKIT Software Authors: L. Adhianto; S. Banerjee; M. Fagan; M. Krentel; G. Marin; J. Mellor-Crummey; N. R. Tallent Cited in: 6 Publications (2010–2021) Related Software: TAU; Scalasca; SCALEA; PAPI; Cube; PARAVER; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
nbodykit Software Authors: Nick Hand, Yu Feng, Florian Beutler, Yin Li, Chirag Modi, Uros Seljak, Zachary Slepian Cited in: 10 Publications (2019–2021) Related Software: CLASS; Healpix; DTFE; GitHub; ECOSMOG; HaloGen; … Main Fields: Mechanics of particles and systems (70-XX); Optics, electromagnetic theory (78-XX); Quantum theory (81-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)
XMLTK Software Authors: Avila-Campillo I, Green TJ, Gupta A, Onizuka M, Raven D, Suciu D Cited in: 7 Publications (2003–2011) Related Software: XPath; NoDoSE; LIME; KLAIM; LEAP; XQuery; … Main Fields: Computer science (68-XX)
AKIRA Software Authors: Pezzulo, Giovanni; Calvi, Gianguglielmo Cited in: 10 Publications (2005–2011) Related Software: CUMODP; CoCoA; DIANE; SLEUTH Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX)
HPX Software Authors: Kaiser, H.; et al. Cited in: 9 Publications (2018–2022) Related Software: PETSc; OpenCL; ParaView; PeriPy; Peridigm; kdtree++; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Iolus Software Authors: Mittra, S. Cited in: 8 Publications (2006–2022) Related Software: Cryptfs; StegFS Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Marabou Software Authors: Katz, G., Huang, D.A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S.,Wu, H., Zelji ́c, A., Dill, D.L., Kochenderfer, M.J., Barrett, C. Cited in: 8 Publications (2021–2022) Related Software: Reluplex; MNIST; ReachNN; NNV; AI2; VERIFAI; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
MCT Software Authors: Jay Larson, Robert Jacob, Everest Ong Cited in: 8 Publications (2002–2021) Related Software: preCICE; MpCCI; GitHub; OASIS3; OpenFOAM; DTK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
RLlib Software Authors: The Ray Team Revision; Eric Liang, Richard Liaw, Philipp Moritz, Robert Nishihara, Roy Fox, Ken Goldberg, Joseph E. Gonzalez, Michael I. Jordan, Ion Stoica Cited in: 2 Publications (2020–2021) Related Software: OpenAI Gym; Python; PyTorch; Dopamine; Stable Baselines; rlpyt; … Main Fields: 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)
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)
WorkStream Software Authors: Turcksin, Bruno; Kronbichler, Martin; Bangerth, Wolfgang Cited in: 10 Publications (2016–2021) Related Software: Trilinos; deal.ii; Intel TBB; p4est; PETSc; muparser; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
FaIMS Software Authors: Chaillat, St'ephanie; Biros, George Cited in: 9 Publications (2012–2022) Related Software: LSQR; redbKIT; CLAIRE; Matlab; DOLFIN; Gmsh Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Integral equations (45-XX)
FSMRDE Software Authors: Jiang, Feng; Sui, Yuefei; Zhou, Lin Cited in: 9 Publications (2015–2021) Related Software: UCI-ml; COOLCAT; clusfind; LOF; PRMLT; ROSETTA; … Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
GAVS Software Authors: Cheng, Chih-Hong; Buckl, Christian; Luttenberger, Michael; Knoll, Alois Cited in: 7 Publications (2005–2022) Related Software: PRISM-games; GIST; PRISM; MCMAS; EAGLE; PRALINE; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)
Pi4U Software Authors: Hadjidoukas, P.E.; Angelikopoulos, P.; Papadimitriou, C.; Koumoutsakos, P. Cited in: 9 Publications (2015–2022) Related Software: CMA-ES; ABC-SubSim; TORC; PSUADE; QUESO; DAKOTA; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
PNFFT Software Authors: Pippig, Michael; Potts, Daniel Cited in: 9 Publications (2013–2019) Related Software: ScaFaCoS; NFFT3; PFFT; P3M3DP; ESPResSo; P3DFFT; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
PowerGraph Software Authors: J. E. Gonzalez, Y. Low, H. Gu, D. Bickson, C. Guestrin Cited in: 8 Publications (2015–2022) Related Software: Pregel; GraphX; GraphLab; Green-Marl; SparseMatrix; Elixir; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
pTatin3D Software Authors: D. A. May, J. Brown, L. L. Laetitia Cited in: 9 Publications (2015–2018) Related Software: PETSc; FEniCS; FIAT; petsc4py; Firedrake; deal.ii; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
VON Software Authors: Hu SY, Chen JF, Chen TH Cited in: 4 Publications (2008–2014) Related Software: 3D triangulations; Triangle; CGAL; Chord; SCRIBE Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
ADSNARK Software Authors: Backes, M., Barbosa, M., Fiore, D., Reischuk, R.M. Cited in: 8 Publications (2016–2020) Related Software: Pinocchio; SNARKs for C; Geppetto; zk-SNARK; SiRiUS; Plutus; … Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Albany/FELIX Software Authors: I. Tezaur, M. Perego, A. Salinger, R. Tuminaro, S. Price Cited in: 8 Publications (2015–2022) Related Software: ISSM; Elmer/Ice; SMIP-HOM; Trilinos; MueLu; Albany; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)
DLog Software Authors: Lukácsy, Gergely; Szeredi, Péter Cited in: 7 Publications (2008–2019) Related Software: Pellet; OntoDLV; PR-OWL; leanTAP; KL-ONE; Konclude; … Main Fields: Computer science (68-XX)
Giraph Software Authors: The Apache Software Foundation Cited in: 7 Publications (2015–2022) Related Software: Pregel; GraphLab; Hadoop; Graft; Blogel; GPS; … Main Fields: Combinatorics (05-XX); General algebraic systems (08-XX); Computer science (68-XX)
MPM3DMP Software Authors: Huang, P.; Zhang, X.; Ma, S.; Wang, H.K. Cited in: 8 Publications (2008–2021) Related Software: MPM3D Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)
OpenRuleBench Software Authors: Liang, S., Fodor, P., Wan, H., Kifer, M. Cited in: 8 Publications (2011–2019) Related Software: XSB; SPARQL; OPTYap; RDFox; WEBCOOP; Vadalog; … Main Fields: Computer science (68-XX)
Qbox Software Authors: F.Gygi Cited in: 5 Publications (2010–2019) Related Software: Quantum Espresso; lobpcg.m; ELPA; ABINIT; ScaLAPACK; NWChem; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Quantum theory (81-XX)