
BLSURF
 Referenced in 6 articles
[sw10379]
 suitable for generating a mesh which conforms to given constraints (prescribed sizes of the elements ... surface mesh is obtained when this is mapped to the 3D space. By discretizing first...

Situs
 Referenced in 4 articles
[sw09515]
 Docking Crystal Structures into LowResolution Maps from Electron Microscopy. Threedimensional image reconstructions ... allowed for the extraction of unique conformations of the macromolecules and is limited only...

LOOPER
 Referenced in 1 article
[sw17376]
 glycine, which is sampled by four representative conformations. The initial (φ, ψ) values are determined ... analysis of a novel isoenergy contour map which is proposed as an alternative structure ... Construction and optimization of the sidechain conformations is followed by a final ranking stage...

CD2Alloy
 Referenced in 2 articles
[sw38503]
 thus limited to checking consistency and generating conforming object models of a single ... uses a deeper embedding strategy. Rather than mapping each CD construct to a semantically equivalent...

My5C
 Referenced in 1 article
[sw17262]
 My5C: Web tools for chromosome conformation capture studies. The 5C approach combines 3C with multiplexed ... handling of large chromatin interaction maps can be daunting. To enable adoption...

ElNemo
 Referenced in 1 article
[sw22480]
 biology, such as the study of protein conformational changes upon ligand binding, membrane channel opening ... movement, residue mean square displacements, distance fluctuation maps, and the correlation between observed and normal ... generated for download. If two conformations of the same (or a homologous) protein are available...

iCTRL
 Referenced in 1 article
[sw01473]
 iCTRL: Intensional conformal text representation language A new compact and homogeneous symbolism is introduced ... problems like onetoone sentence–formula mapping. The CTRL/iCTRL formalism can model them successfully...

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

Apron
 Referenced in 70 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BoomerAMG
 Referenced in 185 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CLIFFORD
 Referenced in 82 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CLUCalc
 Referenced in 34 articles
[sw00133]
 CLUCalc is a freely available software tool for...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

Gaalop
 Referenced in 27 articles
[sw00313]
 Gaalop – high performance parallel computing based on conformal...

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