CUDA Software Authors: NVIDIA; Vingelmann, Péter; Fitzek, Frank H.P. Cited in: 1,076 Publications (2007–2023) Related Software: OpenCL; CUBLAS; Matlab; CUSPARSE; Thrust; MPI; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
TensorFlow Software Authors: Google Brain team; M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. S. Corrado, A. Davis, J. Dean, M. Devin, et al Cited in: 611 Publications (2016–2023) Related Software: Adam; PyTorch; Keras; Python; ImageNet; GitHub; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
Scikit Software Authors: Pedregosa, Fabian; Varoquaux, Gaël; Gramfort, Alexandre; Michel, Vincent; Thirion, Bertrand; Grisel, Olivier; Blondel, Mathieu; Prettenhofer, Peter; Weiss, Ron; Dubourg, Vincent; Vanderplas, Jake; Passos, Alexandre; Cournapeau, David; Brucher, Matthieu; Perrot, Matthieu; Duchesnay, Édouard Cited in: 522 Publications (2011–2023) Related Software: Python; SciPy; TensorFlow; NumPy; GitHub; UCI-ml; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
FFTW Software Authors: MIT; Matteo Frigo; Steven G. Johnson Cited in: 521 Publications (2000–2023) Related Software: Matlab; ATLAS; LAPACK; CUDA; SPIRAL; Python; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
LINDO Software Authors: LINDO SYSTEMS; Lin, Youdong; Schrage, Linus Cited in: 547 Publications (1982–2022) Related Software: LINGO; LINDOGlobal; SCIP; CPLEX; GAMS; BARON; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Rcpp Software Authors: Dirk Eddelbuettel; Romain Francois; JJ Allaire; John Chambers; Douglas Bates; Kevin Ushey Cited in: 148 Publications (2013–2023) Related Software: R; RcppArmadillo; ggplot2; CRAN; CODA; Armadillo; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
GLPK Software Authors: Andrew Makhorin Cited in: 183 Publications (2004–2023) Related Software: CPLEX; Gurobi; AMPL; XPRESS; GitHub; YALMIP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
MKL Software Authors: Intel Cited in: 143 Publications (2002–2023) Related Software: LAPACK; PARDISO; BLAS; CUDA; SparseMatrix; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
DiffSharp Software Authors: Baydin, A.G., Pearlmutter, B.A. Cited in: 161 Publications (2016–2023) Related Software: Adam; TensorFlow; DGM; PyTorch; GitHub; AlexNet; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Why3 Software Authors: François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich Cited in: 134 Publications (2004–2023) Related Software: Coq; KRAKATOA; Caduceus; z3; Boogie; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
OpenGL Software Authors: Khronos Group Cited in: 107 Publications (1994–2023) Related Software: CUDA; Cg; OpenCL; VTK; Mathematica; Matlab; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
JStatCom Software Authors: Markus Krätzig Cited in: 79 Publications (2007–2022) Related Software: KEEL; UCI-ml; C4.5; SMOTE; R; SMOTEBoost; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
KRAKATOA Software Authors: Marché, C.; Paulin-Mohring, C.; Urbain, X. Cited in: 78 Publications (2004–2022) Related Software: Why3; Caduceus; JML; Spec#; Boogie; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Visual C++ Software Authors: Microsoft Cited in: 83 Publications (1993–2021) Related Software: Visual Basic; OpenGL; VisualStudio.NET; Matlab; ACIS 3D; BabelFish; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Apron Software Authors: Jeannet, Bertrand; Miné, Antoine Cited in: 72 Publications (1991–2022) Related Software: ASTREE; PPL; z3; Octagon; Interproc; OCaml; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)
Lean Software Authors: Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob Cited in: 73 Publications (2015–2023) Related Software: Coq; Isabelle/HOL; Agda; HOL Light; GitHub; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Category theory; homological algebra (18-XX)
emcee Software Authors: Daniel Foreman-Mackey, David W. Hogg, Dustin Lang, Jonathan Goodman Cited in: 44 Publications (2017–2022) Related Software: Python; SciPy; Matplotlib; NumPy; corner.py; Astropy; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
GloMoSim Software Authors: Xiang Zeng; Rajive Bagrodia; Mario Gerla Cited in: 37 Publications (2001–2015) Related Software: Parsec; ns-2; OMNet++; SWiMNet; PCBA; OPNET; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
WebGraph Software Authors: Boldi, P.; Vigna, S. Cited in: 53 Publications (2006–2022) Related Software: UbiCrawler; SNAP; SparseMatrix; DIMACS; Pregel; GraphChi; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
GGobi Software Authors: Debby Swayne; Di Cook; Duncan Temple Lang; Andreas Buja Cited in: 34 Publications (2003–2022) Related Software: R; XGobi; ggplot2; rggobi; RGtk2; iplots; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
RealPaver Software Authors: Laurent Granvilliers Cited in: 51 Publications (2003–2017) Related Software: Numerica; INTOPT_90; gaol; ICOS; CPLEX; dReal; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
tidyverse Software Authors: Hadley Wickham Cited in: 20 Publications (2017–2022) Related Software: R; ggplot2; dplyr; knitr; RStudio; shiny; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)
OpenML Software Authors: Giuseppe Casalicchio, Bernd Bischl, Dominik Kirchhoff, Michel Lang, Benjamin Hofner, Jakob Bossek, Pascal Kerschke, Joaquin Vanschoren Cited in: 42 Publications (2015–2022) Related Software: Scikit; R; UCI-ml; auto-sklearn; Auto-WEKA; SMAC; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)
Pregel Software Authors: Malewicz, G., Austern, M.H., Bik, A.J., Dehnert, J.C., Horn, I., Leiser, N., Czajkowski, G. Cited in: 37 Publications (2010–2022) Related Software: GraphLab; MapReduce; Hadoop; Giraph; PowerGraph; GraphX; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
COCONUT Software Authors: Hermann Schichl, COCONUT project, Arnold Neumaier, Oleg Shcherbina, Eric Monfroy, Brice Pajot Cited in: 38 Publications (2003–2021) Related Software: BARON; AMPL; GlobSol; INTOPT_90; GAMS; GLOPTLAB; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
FLAME Software Authors: Bientinese, Paolo; Quintana-Ortí, Enrique S.; van de Geijn, Robert A Cited in: 39 Publications (1997–2022) Related Software: LAPACK; BLAS; ATLAS; libflame; SPIRAL; ScaLAPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
SG Software Authors: Holst, M.J. Cited in: 38 Publications (2001–2022) Related Software: APBS; FreeFem++; CHARMM; DelPhi; PDB2PQR; MIBPB; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
F2PY Software Authors: Pearu Peterson Cited in: 26 Publications (2000–2021) Related Software: Python; SciPy; NumPy; ODEPACK; SWIG; FFTW; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
SMOTEBoost Software Authors: Barnan Das; Nitesh V. Chawla, Aleksandar Lazarevic, Lawrence O. Hall, Kevin W. Bowyer Cited in: 28 Publications (2004–2022) Related Software: SMOTE; UCI-ml; JStatCom; AdaCost; MWMOTE; KEEL; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
OpenACC Software Authors: Sandra Wienke; Paul Springer; Christian Terboven; Dieter an Mey Cited in: 22 Publications (2014–2023) Related Software: CUDA; OpenCL; CUBLAS; MPI; Trilinos; StarPU; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
VisualStudio.NET Software Authors: Microsoft Cited in: 28 Publications (2002–2023) Related Software: Visual Basic; ASP.NET; Visual C#; MySQL; MS SQL Server; Mathematica; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
MLlib Software Authors: Meng, Xiangrui; Bradley, Joseph; Yavuz, Burak; Sparks, Evan; Venkataraman, Shivaram; Liu, Davies; Freeman, Jeremy; Tsai, Db; Amde, Manish; Owen, Sean; Xin, Doris; Xin, Reynold; Franklin, Michael J.; Zadeh, Reza; Zaharia, Matei; Talwalkar, Ameet Cited in: 26 Publications (2016–2022) Related Software: Apache Spark; Scikit; Spark; Hadoop; LIBSVM; MapReduce; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
PyOpenCL Software Authors: Andreas Klöckner Cited in: 21 Publications (2012–2023) Related Software: PyCUDA; Python; OpenCL; CUDA; NumPy; SciPy; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
pthreads Software Authors: POSIX Cited in: 21 Publications (1997–2018) Related Software: MPI; BLAS; OpenCL; CUDA; MKL; LAPACK; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
PyCUDA Software Authors: NVIDIA Cited in: 18 Publications (2011–2023) Related Software: PyOpenCL; CUDA; Python; OpenCL; SciPy; NumPy; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
SIMGRID Software Authors: H. Casanova Cited in: 18 Publications (2002–2020) Related Software: GridSim; OptorSim; MicroGrid; ISP; MPI; CPU Benchmarks; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
iplots Software Authors: Simon Urbanek, Tobias Wichtrey Cited in: 12 Publications (2007–2019) Related Software: R; GGobi; RGtk2; MANET; XGobi; rggobi; … Main Fields: Statistics (62-XX); Computer science (68-XX)
eSkel Software Authors: A. Benoit, M. Cole, J. Hillston, S. Gilmore Cited in: 18 Publications (2002–2016) Related Software: Haskell; DataCutter; Eden; PEPA; Ninf-G/MPI; NetSolve; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)
Freebase Software Authors: K. Bollacker, R. Cook, P. Tufts Cited in: 18 Publications (2014–2022) Related Software: YAGO; DBpedia; WordNet; word2vec; Python; ProBase; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
Open Dynamics Engine Software Authors: Russell Smith Cited in: 16 Publications (2005–2022) Related Software: Bullet; MuJoCo; GAZEBO; OptNet; CVXGEN; Dart; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
PITA Software Authors: Riguzzi, Fabrizio; Swift, Terrance Cited in: 24 Publications (2010–2022) Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
Blender Software Authors: Blender Foundation Cited in: 20 Publications (2009–2022) Related Software: CGAL; Python; NumPy; Gmsh; FreeCAD; SciPy; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
CalculiX Software Authors: Guido Dhondt; Klaus Wittig Cited in: 23 Publications (2004–2022) Related Software: ABAQUS; Gmsh; FEniCS; Code_Aster; LAPACK; Matlab; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
ELK Software Authors: Yevgeny Kazakov; Markus Krötzsch; František Simancík Cited in: 21 Publications (2012–2022) Related Software: HermiT; Pellet; Konclude; BEACON; Racer; FaCT++; … Main Fields: Computer science (68-XX)
JaCoP Software Authors: Krzysztof Kuchcinski; Radoslaw Szymanek Cited in: 16 Publications (2007–2023) Related Software: Gecode; MiniZinc; Choco; CPLEX; SICStus; Sat4j; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
DIP Software Authors: Ralphs, T.K., Galati, M.V. Cited in: 21 Publications (2005–2022) Related Software: SCIP; GCG; CPLEX; MIPLIB2003; BaPCod; MIPLIB; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
HUGIN Software Authors: Hugin Expert A/S Cited in: 14 Publications (2002–2018) Related Software: RHugin; R; bnlearn; deal; Elvira; Netica; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
OpenSHMEM Software Authors: Steven Poole, Tony Curtis Cited in: 5 Publications (2018–2021) Related Software: CUDA; Conductor; GitHub; Zabbix; UPC; Apache Kafka; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
PySAT Software Authors: Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao Cited in: 19 Publications (2018–2022) Related Software: MiniSat; Glucose; RC2; Plingeling; PBLib; Scikit; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX)
SAX Software Authors: – Cited in: 15 Publications (2001–2018) Related Software: XPath; XQuery; MS SQL Server; PNML; Lore; ViST; … Main Fields: Statistics (62-XX); Computer science (68-XX)
BLIS Software Authors: Van Zee, Field G.; van de Geijn, Robert A. Cited in: 16 Publications (2014–2021) Related Software: BLAS; OpenBLAS; LAPACK; MKL; TTC; libflame; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
rgeos Software Authors: Roger Bivand, Colin Rundel, Edzer Pebesma, Rainer Stuetz, Karl Ove Hufthammer Cited in: 7 Publications (2017–2021) Related Software: R; rgdal; raster; ggplot2; leaflet; sf; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
JavaView Software Authors: Polthier, K., Preuss, E., Hildebrandt, K., Reitebuch, U. Cited in: 16 Publications (2002–2019) Related Software: polymake; cdd; Macaulay2; EG-Models; GeoGebra; 3dprintmath; … Main Fields: General and overarching topics; collections (00-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX)
Pynn Software Authors: A.P. Davison, D. Brüderle, J. Eppler, J. Kremkow, E. Muller, D. Pecevski, L. Perrinet, P. Yger Cited in: 8 Publications (2011–2021) Related Software: NEST; NEURON; Brian; Python; SpiNNaker; PyNEST; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
pymatgen Software Authors: Ong, S. P.; Richards, W. D.; Jain, A.; Hautier, G.; Kocher, M.; Cholia, S.; Gunter, D.; Chevrier, V. L.; Persson, K. A.; Ceder, G. Cited in: 3 Publications (2017–2022) Related Software: Python; ASE; Matplotlib; SciPy; Spglib; NumPy; … Main Fields: Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX)
BioID Face Database Software Authors: – Cited in: 5 Publications (2004–2012) Related Software: XM2VTSDB; FERET; AR face; CMU PIE; LFW; SIFT; … Main Fields: Computer science (68-XX)
EpiModel Software Authors: Samuel Jenness, Steven M. Goodreau, Martina Morris, Emily Beylerian, Skye Bender-deMoll, Kevis Weiss Cited in: 7 Publications (2020–2022) Related Software: R; Python; SciPy; EoN; Surveillance; epinet; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Probability theory and stochastic processes (60-XX)
Google Maps API Software Authors: Google Maps Cited in: 7 Publications (2012–2023) Related Software: R; VRP; Keras; OpenStreetMap; ImageNet; ggplot2; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
jsonlite Software Authors: Jeroen Ooms, Duncan Temple Lang, Lloyd Hilaiel Cited in: 6 Publications (2016–2021) Related Software: R; ggplot2; httr; dplyr; Rcpp; rvest; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Rseslib Software Authors: A. Wojna; R. Latkowski Cited in: 12 Publications (2001–2021) Related Software: RSES; LERS; UCI-ml; ROSETTA; RIONA; rapidminer; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
gWidgets Software Authors: John Verzani; Simon Urbanek; Philippe Grosjean; Michael Lawrence Cited in: 5 Publications (2011–2017) Related Software: R; RGtk2; GGobi; tcltk2; tkrplot; Rcmdr; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
libSBML Software Authors: B. J. Bornstein, S. M. Keating, A. Jouraku, M. Hucka Cited in: 5 Publications (2009–2022) Related Software: SimpleSBML; BioModels; Python; COPASI; PySB; BioNetGen; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
MLPACK Software Authors: Curtin, Ryan R.; Cline, James R.; Slagle, N.P.; March, William B.; Ram, Parikshit; Mehta, Nishant A.; Gray, Alexander G. Cited in: 9 Publications (2013–2020) Related Software: UCI-ml; Scikit; SciPy; Armadillo; Python; SHOGUN; … Main Fields: Measure and integration (28-XX); Statistics (62-XX); Numerical analysis (65-XX)
r3d Software Authors: Powell, Devon; Abel, Tom Cited in: 14 Publications (2015–2022) Related Software: ReALE; VOFTools; REMAP3D; ShaPo; Portage; tangram; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
keras Software Authors: JJ Allaire, François Chollet, RStudio, Google, Yuan Tang, Daniel Falbel, Wouter Van Der Bijl, Martin Studer Cited in: 5 Publications (2020–2022) Related Software: R; TensorFlow; Keras; PyTorch; Adam; h2o; … Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MathJax Software Authors: Cervone Cited in: 13 Publications (2010–2021) Related Software: DLMF; LaTeXML; LaTeX; Mizar; GitHub; Coq; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
PySMT Software Authors: Marco Gario, Andrea Micheli Cited in: 12 Publications (2017–2022) Related Software: z3; Yices; MathSAT5; SymPy; CVC4; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
DDVerify Software Authors: Witkowski, T., Blanc, N., Kroening, D., Weissenbacher, G Cited in: 9 Publications (2009–2019) Related Software: SLAM; CBMC; SatAbs; BLAST; SPIN; Bebop; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Konclude Software Authors: Steigmiller, A., Liebig, T., Glimm, B.; derivo GmbH Cited in: 12 Publications (2012–2021) Related Software: HermiT; Pellet; FaCT++; ELK; RacerPro; Snorocket; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lamatto Software Authors: Björn Geißler; Oliver Kolb; Antonio Morsi Cited in: 13 Publications (2012–2021) Related Software: Lamatto++; GasLib; Gurobi; SCIP; KNITRO; GAMS; … Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Fluid mechanics (76-XX)
Lamatto++ Software Authors: Antonio Morsi, Björn Geißler, Oliver Kolb Cited in: 13 Publications (2016–2021) Related Software: GasLib; Lamatto; SCIP; Gurobi; GAMS; Ipopt; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
LMHS Software Authors: Saikko, Paul; Berg, Jeremias; Järvisalo, Matti Cited in: 12 Publications (2016–2022) Related Software: Sat4j; Open-WBO; QMaxSAT; MiniSat; MaxHS; Lingeling; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
PeerSim Software Authors: Montresor A, Jelasity M Cited in: 9 Publications (2009–2020) Related Software: Pastry; PlanetLab; Chord; JDQZ; JDQR; HOGWILD; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Splatz Software Authors: Armin Biere Cited in: 11 Publications (2017–2021) Related Software: Plingeling; Treengeling; Lingeling; YalSAT; ManySAT; Chaff; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-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)
SPHinXsys Software Authors: Chi Zhang, Massoud Rezavand, Yujie Zhu, Yongchuan Yu, Dong Wu, Wenbin Zhang, Jianhang Wang, Xiangyu Hu Cited in: 10 Publications (2021–2022) Related Software: DualSPHysics; PySPH; GADGET; juSPH; Julia; MAGMA; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
future Software Authors: Henrik Bengtsson Cited in: 2 Publications (2021) Related Software: R; ggplot2; doFuture; foreach; rjags; Scikit; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
Ganga Software Authors: J.T. Moscicki, F. Brochu, J. Ebke, U. Egede, J. Elmsheuser, K. Harrison, R.W.L. Jones, H.C. Lee, D. Liko, A. Maier, A. Muraru, G.N. Patrick, K. Pajchel, W. Reece, B.H. Samset, M.W. Slater, A. Soroko, C.L. Tan, D.C. Vanderster, M. Williams Cited in: 2 Publications (2010–2011) Related Software: DIANE; Sun Grid Engine; Python; Garfield; IPython; NorduGrid; … Main Fields: Numerical analysis (65-XX); Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX)
HACL* Software Authors: Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche Cited in: 11 Publications (2018–2023) Related Software: Jasmin; Toolchain; Why3; GitHub; Coq; WhyMP; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
JUNG Software Authors: O’Madadhain, J., Fisher, D., White, S., Boey, Y. Cited in: 6 Publications (2008–2020) Related Software: Gephi; Mathematica; SNAP; NetworkX; JGraphT; igraph; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Quantum theory (81-XX)
ORCA Software Authors: P.A. Gutiérrez, M. Pérez-Ortiz, J. Sánchez-Monedero, F. Fernández-Navarro and C. Hervás-Martínez Cited in: 10 Publications (2016–2021) Related Software: LIBSVM; LMNN; KEEL; WEKA; Breeze; shallot; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); 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 Cited in: 3 Publications (2020–2023) Related Software: OpenAI Gym; Python; PyTorch; Dopamine; Stable Baselines; rlpyt; … Main Fields: Computer science (68-XX); Geophysics (86-XX); Operations research, mathematical programming (90-XX)
GraphX Software Authors: Joseph E. Gonzalez; Reynold S. Xin; Ankur Dave, Daniel Crankshaw, Michael J. Franklin; Ion Stoica Cited in: 7 Publications (2016–2022) Related Software: Pregel; PowerGraph; GraphLab; Apache Spark; Ligra; SNAP; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-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); Mechanics of deformable solids (74-XX)
JGibbLDA Software Authors: Xuan-Hieu Phan; Cam-Tu Nguyen Cited in: 7 Publications (2011–2022) Related Software: TwitterRank; Maven; la4j; JAMA; Lucene; Lemur; … Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Leaflet Software Authors: Agafonkin V Cited in: 5 Publications (2017–2022) Related Software: OpenStreetMap; R; leaflet; GitHub; JavaScript; Node.js; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Lynx Software Authors: Ganesh, V., O’Donnell, C.W., Soos, M., Devadas, S., Rinard, M.C., Solar-Lezama, A. Cited in: 9 Publications (2013–2021) Related Software: MathCheck; Maple; FFTW; SMT-LIB; Mathematica; z3; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Geometry (51-XX)
MASTRO Software Authors: Calvanese, D., et al. Cited in: 8 Publications (2018–2021) Related Software: Ontop; SPARQL; clasp; WASP; LARS; HiLog; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NC-OPT Software Authors: Weiwei Kong Cited in: 10 Publications (2019–2022) Related Software: PhaseLift; BADMM; SBEED; ISLR Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Computer science (68-XX)
Optuna Software Authors: Takuya Akiba, Shotaro Sano, Toshihiko Yanase, Takeru Ohta, Masanori Koyama Cited in: 9 Publications (2021–2022) Related Software: PyTorch; Adam; GitHub; TensorFlow; Scikit; Hyperopt; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
rneos Software Authors: Pfaff, Bernhard Cited in: 9 Publications (2013–2021) Related Software: gogarch; cccp; urca; R; vars; FRAPO; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SEAL Software Authors: Microsoft; Laine, K., Chen, H., Player, R. Cited in: 8 Publications (2017–2022) Related Software: GitHub; TFHE; HElib; NTRU; CUDA; nGraph-HE; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
WebGL Software Authors: Khronos Group Cited in: 6 Publications (2015–2019) Related Software: Node.js; R; OpenGL; shiny; Turf.js; PostGIS; … Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
Wikipedia Miner Software Authors: David Milne; Ian H. Witten Cited in: 4 Publications (2012–2019) Related Software: DBpedia; MENTA; BabelNet; YAGO; Freebase; WordNet; … Main Fields: Statistics (62-XX); Computer science (68-XX)
ADL Software Authors: The Open Group Cited in: 4 Publications (1995–2018) Related Software: JPAX; CESAR; Bandera; Pex; SLAM; veriSoft; … Main Fields: Computer science (68-XX)
CellSys Software Authors: Hoehme S, Drasdo D Cited in: 8 Publications (2012–2021) Related Software: Chaste; Biocellion; PhysiCell; CellML; Morpheus; SciPy; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
h5py Software Authors: A. Colette Cited in: 1 Publication (2010) Related Software: Python; NumPy; HDF5; SciPy; Matplotlib; Astropy; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistical mechanics, structure of matter (82-XX)
InterpretML Software Authors: Harsha Nori, Samuel Jenkins, Paul Koch, Rich Caruana Cited in: 2 Publications (2020–2021) Related Software: AI Explainability 360; modelStudio; H2O; DALEX; Python; shap; … Main Fields: Computer science (68-XX)
Plots.jl Software Authors: Breloff T Cited in: 0 Publications Related Software: Julia; DifferentialEquations.jl; Distributions.jl; ComplexRegions.Jl; NetworkDynamics.jl; GaussianProcesses.jl; … Main Fields: –