
kTAM
 Referenced in 1 article
[sw22257]
 Computational modelling of the kinetic tile assembly model using a rulebased approach. The (abstract ... Tile Assembly Model (aTAM), is a mathematical paradigm for the study and algorithmic design ... experimental implementations of DNA tiles and their subsequent algorithmic assembly into larger complexes ... provide further insight into the assembly process, the aTAM model has been extended...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

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

nauty
 Referenced in 561 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

ScaLAPACK
 Referenced in 404 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

BLAS
 Referenced in 485 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

CUDA
 Referenced in 1207 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

PETSc
 Referenced in 1182 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

UCIml
 Referenced in 3100 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

CPLEX
 Referenced in 2583 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 530 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

RODAS
 Referenced in 1599 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

Bioconductor
 Referenced in 305 articles
[sw04205]
 Bioconductor provides tools for the analysis and comprehension...

Valgrind
 Referenced in 58 articles
[sw04420]
 Valgrind is an instrumentation framework for building dynamic...

Gringo
 Referenced in 97 articles
[sw04630]
 This document provides an introduction to the Answer...