- Referenced in 1 article
- Computational modelling of the kinetic tile assembly model using a rule-based approach. The (abstract ... Tile Assembly Model (aTAM), is a mathematical paradigm for the study and algorithmic design ... experimental implementations of DNA tiles and their sub-sequent algorithmic assembly into larger complexes ... provide further insight into the assembly process, the aTAM model has been extended...
- Referenced in 197 articles
- This paper describes the Automatically Tuned Linear Algebra...
- Referenced in 1807 articles
- Coq is a formal proof management system. It...
- Referenced in 2876 articles
- GAP is a system for computational discrete algebra...
- Referenced in 1642 articles
- LAPACK is written in Fortran 90 and provides...
- Referenced in 5957 articles
- Almost any workflow involves computing results, and that...
- Referenced in 12309 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 561 articles
- graph-theoretic program NAUTY: nauty is a program...
- Referenced in 8601 articles
- R is a language and environment for statistical...
- Referenced in 404 articles
- ScaLAPACK is an acronym for scalable linear algebra...
- Referenced in 485 articles
- Low-level utilities common to many mathematical software...
- Referenced in 1207 articles
- The NVIDIA® CUDA® Toolkit provides a comprehensive development...
- Referenced in 1182 articles
- The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...
- Referenced in 3100 articles
- UC Irvine Machine Learning Repository. We currently maintain...
- Referenced in 2583 articles
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
- Referenced in 530 articles
- GUROBI OPTIMIZER: State of the Art Mathematical Programming...
- Referenced in 1599 articles
- Rosenbrock method of order 4(3), for problems...
- Referenced in 305 articles
- Bioconductor provides tools for the analysis and comprehension...
- Referenced in 58 articles
- Valgrind is an instrumentation framework for building dynamic...
- Referenced in 97 articles
- This document provides an introduction to the Answer...