• PIBASE

  • Referenced in 2 articles [sw29350]
  • protein domains. It is composed of binary interfaces extracted from structures ... diverse set of geometric, physiochemical and topologic properties are calculated for each complex, its domains ... topological classes based on their patterns of domain–domain contacts. The binary interfaces and their ... categorized into 18 755 and 30 975 topological classes, respectively, based on the topology...
  • MDiNE

  • Referenced in 1 article [sw42427]
  • network to estimate the co-occurrence patterns among taxa through precision matrices. Existing methods ... estimate network changes with respect to a binary covariate. The counts of individual taxa ... estimate changes in the intestinal microbial network topology with respect to Crohn’s disease. Availability...
  • AlignNemo

  • Referenced in 0 articles [sw34159]
  • need not to correspond to specific interaction patterns, so that they more closely ... that at each step explores the local topology of the networks beyond the proteins directly ... similarity applied to Gene Ontology vocabularies. The binaries of AlignNemo and supplementary details about...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

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

  • Referenced in 85 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1906 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...
  • GAP

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

  • Referenced in 354 articles [sw00341]
  • Gerris is a Free Software program for the...
  • HSL

  • Referenced in 284 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • LAPACK

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

  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • 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...
  • Mathematica

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