
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 highlevel language and interactive...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic 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, opensource math software...