• 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 Low-Resolution Maps from Electron Microscopy. Three-dimensional 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 iso-energy contour map which is proposed as an alternative structure ... Construction and optimization of the side-chain 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 one-to-one 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...
  • C-XSC 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...