• ProtNet

  • Referenced in 1 article [sw29365]
  • average globular protein. The protein filled lattice has an occupancy (e.g. 20%) compatible with ... complexes are free to translate and rotate on the lattice that represents a sort...
  • surface_dynamics

  • Referenced in 3 articles [sw38631]
  • adds functionality related to interval exchange transformations, translation surfaces, mapping classes and more ... groups; PPL (Parma Polyhedra Library) and LattE (Lattice point Enumeration) for polytope computations...
  • Hemocell

  • Referenced in 2 articles [sw36407]
  • blood plasma are resolved by using the lattice Boltzmann method (LBM), while the cellular membranes ... solutions are introduced and discussed, whose application translates to significant performance benefits. These solutions extend...
  • cdd

  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1958 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 455 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • revolve

  • Referenced in 82 articles [sw00802]
  • Algorithm 799: revolve. An implementation of checkpointing for...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...