
BVPh
 Referenced in 204 articles
[sw06575]
 nonlinear problems, namely the homotopy analysis method (HAM). Unlike perturbation methods, the HAM has nothing...

HOPE
 Referenced in 4 articles
[sw32999]
 energy associated with a protein model. The method uses the minimum energy conformation ... path of conformations determined by a homotopy between the potential energy functions ... proteins. Ensembles of solutions are produced by perturbing conformations along the path, increasing the likelihood ... compared to a variant of Newton’s method and to simulated annealing...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 704 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

CGAL
 Referenced in 394 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

complib
 Referenced in 34 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

FORTRANSC
 Referenced in 14 articles
[sw00305]
 FORTRANSC ist eine vollständig implementierte Erweiterung von...

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

HOM4PS
 Referenced in 81 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

LAPACK
 Referenced in 1701 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1921 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5369 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 442 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

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