
DOTmark
 Referenced in 7 articles
[sw17085]
 tool in statistics, machine learning and computer science with many applications to biological or medical...

DeepXDE
 Referenced in 38 articles
[sw32456]
 differential equations. Deep learning has achieved remarkable success in diverse applications; however ... research tool for solving problems in computational science and engineering. Specifically, DeepXDE can solve forward ... rapid development of the emerging Scientific Machine Learning field...

Orbital library
 Referenced in 13 articles
[sw05562]
 science. It comprises theorem proving, computer algebra, search and planning, as well as machine learning ... that surround the heart of many scientific applications, hence the name ”Orbital library”. In order...

Higra
 Referenced in 2 articles
[sw32589]
 variety of application fields like machine learning, data science, pattern analysis and computer vision. Moreover...

tsfresh
 Referenced in 6 articles
[sw28448]
 time series characterization methods, which by default compute a total of 794 time series features ... early stage of the data science process, tsfresh closes feedback loops with domain experts ... time series and machine learning libraries (e.g. pandas and scikitlearn) and is designed ... straightforward integration into operational data science applications...

Lighthouse
 Referenced in 2 articles
[sw17469]
 linear algebra software. Various fields of science and engineering rely on linear algebra for large ... modeling and simulation, machine learning, and other applied problems. Linear algebra computations often dominate ... execution time of such applications. Meanwhile, experts in these domains typically lack the training...

Parsl
 Referenced in 3 articles
[sw28682]
 coupled with the growing need for parallel computing (e.g., due to big data ... machine learning applications in fields such as biology, cosmology, and materials science...

DLHub
 Referenced in 2 articles
[sw28738]
 Data Serving for Science. While the Machine Learning (ML) landscape is evolving rapidly, there ... relative lag in the development of the ”learning systems” needed to enable broad adoption. Furthermore ... present the Data and Learning Hub for science (DLHub), a multitenant system that provides ... serving capabilities with a focus on science applications. DLHub addresses two significant shortcomings in current...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

CLIFFORD
 Referenced in 84 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

Gmsh
 Referenced in 720 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 262 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...