
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 cooccurrence 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...

CXSC 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...