-
CGAL
- Referenced in 384 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
Coq
- Referenced in 1880 articles
[sw00161]
- Coq is a formal proof management system. It...
-
Isabelle
- Referenced in 698 articles
[sw00454]
- Isabelle is a generic proof assistant. It allows...
-
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 high-level language and interactive...
-
R
- Referenced in 9810 articles
[sw00771]
- R is a language and environment for statistical...
-
SCIP
- Referenced in 536 articles
[sw01091]
- SCIP is currently one of the fastest non...
-
ML
- Referenced in 522 articles
[sw01218]
- ML (’Meta Language’) is a general-purpose functional...
-
SPADE
- Referenced in 89 articles
[sw02226]
- In this paper we present SPADE, a new...
-
CUDA
- Referenced in 1317 articles
[sw03258]
- The NVIDIA® CUDA® Toolkit provides a comprehensive development...
-
UCI-ml
- Referenced in 3379 articles
[sw04074]
- UC Irvine Machine Learning Repository. We currently maintain...
-
CPLEX
- Referenced in 2766 articles
[sw04082]
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
-
Bioconductor
- Referenced in 320 articles
[sw04205]
- Bioconductor provides tools for the analysis and comprehension...
-
ARPACK
- Referenced in 841 articles
[sw04218]
- ARPACK is a collection of Fortran77 subroutines designed...
-
survival
- Referenced in 196 articles
[sw04364]
- R package survival: Survival analysis, including penalised likelihood...
-
fda (R)
- Referenced in 1461 articles
[sw04511]
- fda: Functional Data Analysis , These functions were developed...
-
KernSmooth
- Referenced in 978 articles
[sw04586]
- Kernel smoothing refers to a general methodology for...
