×

Found 492 Software Packages (Results 1–100)

ANSYS

Software Authors:   John Swanson, Ansys Inc.
Referenced in: 692 Publications (1978–2022)
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.
Referenced in: 402 Publications (1995–2022)
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
Referenced in: 315 Publications (1982–2022)
Related Software: DYNA3D; ABAQUS; ANSYS; Matlab; Nike2D; PRONTO3D; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

MapReduce

Software Authors:   Pan, Jie; Magoulès, Frédéric; Le Biannic, Yann
Referenced in: 193 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
Referenced in: 170 Publications (2009–2022)
Related Software: SparseMatrix; NetworkX; DIMACS; KONECT; igraph; Python; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Pastry

Software Authors:   Rowstron, Antony; Druschel, Peter
Referenced in: 62 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
Referenced 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
Referenced 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.
Referenced in: 57 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
Referenced in: 76 Publications (2011–2021)
Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; dReach; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

ROCK

Software Authors:   Guha, S.; Rastogi, R.; Shim, K.
Referenced in: 40 Publications (2002–2021)
Related Software: clusfind; UCI-ml; COOLCAT; LOF; ElemStatLearn; COSA; …
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.
Referenced 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
Referenced 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
Referenced in: 32 Publications (2010–2021)
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
Referenced 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
Referenced 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
Referenced 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.
Referenced 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
Referenced 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
Referenced in: 28 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.
Referenced 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.
Referenced 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.
Referenced 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.
Referenced 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.
Referenced 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
Referenced 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.
Referenced in: 19 Publications (2012–2021)
Related Software: Dynamo; Bigtable; MongoDB; CouchDB; MySQL; Hadoop; …
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
Referenced 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
Referenced 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)

QMT

Software Authors:   Rabe, Florian
Referenced 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)

SeaHorn

Software Authors:   Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A.
Referenced in: 20 Publications (2015–2021)
Related Software: z3; VeriMAP; SMACK; JayHorn; RAHFT; TRACER; …
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
Referenced in: 20 Publications (2006–2019)
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)

NAMD2

Software Authors:   Kale, Laxmikant; Skeel, Robert; Bhandarkar, Milind; Brunner, Robert; Gursoy, Attila; Krawetz, Neal; Phillips, James; Shinozaki, Aritomo; Varadarajan, Krishnan; Schulten, Klaus
Referenced in: 17 Publications (1998–2016)
Related Software: CHARMM; Gromacs; VMD; NAMD; AMBER; Globus Toolkit; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ECLIPSE

Software Authors:   Schlumberger
Referenced 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
Referenced 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.
Referenced 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.
Referenced 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.
Referenced in: 8 Publications (2006–2019)
Related Software: SLOPE; FIAT; COFFEE; OP2; Firedrake; VOLNA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

Casper*

Software Authors:   Chow, Chi-Yin; Mokbel, Mohamed F.; Aref, Walid G.
Referenced 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
Referenced 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
Referenced 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
Referenced 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.
Referenced 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
Referenced 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)

DARTS

Software Authors:   Hanxiao Liu, Karen Simonyan, Yiming Yang
Referenced in: 12 Publications (2020–2022)
Related Software: CIFAR; ImageNet; ProxylessNAS; Python; Auto-DeepLab; MobileNets; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Node.js

Software Authors:   Chaniotis, Ioannis K.; Kyriakou, Kyriakos-Ioannis D.; Tselikas, Nikolaos D.
Referenced 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
Referenced 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.
Referenced in: 10 Publications (2012–2021)
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.
Referenced 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
Referenced 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
Referenced in: 15 Publications (2014–2022)
Related Software: Pinocchio; SNARKs for C; ADSNARK; GitHub; Geppetto; Marlin; …
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.
Referenced 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
Referenced 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
Referenced 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.
Referenced in: 10 Publications (2014–2021)
Related Software: ns-2; GitHub; Eden; Multilisp; GUM; Symgrid; …
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
Referenced 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
Referenced in: 11 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.
Referenced in: 9 Publications (2013–2022)
Related Software: GPUVerify; CUDA; OpenCL; Coq; GRace; GitHub; …
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.
Referenced in: 12 Publications (2008–2019)
Related Software: gs2; GYSELA; MUMPS; XTOR; CHEASE; GENE; …
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.
Referenced 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
Referenced 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
Referenced 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.
Referenced 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)

Paracooba

Software Authors:   Heisinger, Maximilian; Fleury, Mathias; Biere, Armin
Referenced 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
Referenced 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
Referenced in: 8 Publications (2005–2014)
Related Software: NEURON; XPPAUT; UniProt; WebGestalt; KDDONTO; Protege; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

ECDAR

Software Authors:   David, Alexandre; Larsen, Kim.G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej
Referenced 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
Referenced 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)

nbodykit

Software Authors:   Nick Hand, Yu Feng, Florian Beutler, Yin Li, Chirag Modi, Uros Seljak, Zachary Slepian
Referenced 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
Referenced 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)

VTDIRECT95

Software Authors:   Jian He; Layne T. Watson; Masha Sosonkina
Referenced in: 11 Publications (2009–2021)
Related Software: DIRECT; MrDIRECT; MultiMin; DIRDFN; UOBYQA; DFN; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

XMLTK

Software Authors:   Avila-Campillo I, Green TJ, Gupta A, Onizuka M, Raven D, Suciu D
Referenced 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
Referenced 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)

HPCTOOLKIT

Software Authors:   L. Adhianto; S. Banerjee; M. Fagan; M. Krentel; G. Marin; J. Mellor-Crummey; N. R. Tallent
Referenced in: 6 Publications (2010–2021)
Related Software: TAU; Scalasca; SCALEA; PAPI; AlgoWiki; SPL Conqueror; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

HPX

Software Authors:   Kaiser, H.; et al.
Referenced 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.
Referenced in: 8 Publications (2006–2022)
Related Software: Cryptfs; StegFS
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MCT

Software Authors:   Jay Larson, Robert Jacob, Everest Ong
Referenced 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)

mlr3

Software Authors:   Michel Lang, Bernd Bischl, Jakob Richter, Patrick Schratz, Giuseppe Casalicchio, Stefan Coors, Quay Au, Martin Binder
Referenced in: 3 Publications (2021–2022)
Related Software: R; mlr; caret; tidymodels; Scikit; DALEX; …
Main Fields: Statistics (62-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
Referenced 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
Referenced 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)

WorkStream

Software Authors:   Turcksin, Bruno; Kronbichler, Martin; Bangerth, Wolfgang
Referenced 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
Referenced 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
Referenced in: 9 Publications (2015–2021)
Related Software: UCI-ml; PRMLT; COOLCAT; clusfind; LOF; RSL; …
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
Referenced 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)

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.
Referenced in: 6 Publications (2021)
Related Software: Reluplex; MNIST; AI2; VERIFAI; PRODeep; XNOR-Net; …
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Pi4U

Software Authors:   Hadjidoukas, P.E.; Angelikopoulos, P.; Papadimitriou, C.; Koumoutsakos, P.
Referenced 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
Referenced 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
Referenced 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
Referenced 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)

StarGAN

Software Authors:   Yunjey Choi, Minje Choi, Munyoung Kim, Jung-Woo Ha, Sunghun Kim, Jaegul Choo
Referenced in: 4 Publications (2020–2021)
Related Software: Python; CycleGAN; Wasserstein GAN; Adam; ImageNet; pix2pix; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

VON

Software Authors:   Hu SY, Chen JF, Chen TH
Referenced 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.
Referenced 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
Referenced 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
Referenced 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
Referenced 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
Referenced in: 8 Publications (2015–2022)
Related Software: Pregel; GraphLab; Hadoop; Graft; Blogel; GPS; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

MPM3DMP

Software Authors:   Huang, P.; Zhang, X.; Ma, S.; Wang, H.K.
Referenced in: 8 Publications (2008–2021)
Related Software: MPM3D
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

OpenRuleBench

Software Authors:   Liang, S., Fodor, P., Wan, H., Kifer, M.
Referenced in: 8 Publications (2011–2019)
Related Software: XSB; SPARQL; OPTYap; RDFox; WEBCOOP; Vadalog; …
Main Fields: Computer science (68-XX)

Qbox

Software Authors:   F.Gygi
Referenced in: 5 Publications (2010–2019)
Related Software: Quantum Espresso; NWChem; Python; lobpcg.m; ELPA; ABINIT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

sldg

Software Authors:   Einkemmer, Lukas
Referenced in: 8 Publications (2016–2021)
Related Software: Vador; GYSELA; FFTW; mftoolbox; CYLGYR; QUALIMUWABA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)