• kTAM

  • Referenced in 1 article [sw22257]
  • 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...
  • 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 high-level language and interactive...
  • nauty

  • Referenced in 561 articles [sw00611]
  • graph-theoretic 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]
  • Low-level 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 Scientific Computation (PETSc...
  • UCI-ml

  • 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...