
Bertini
 Referenced in 253 articles
[sw06683]
 start systems, and also user defined homotopies. Implements parameter continuation for families of systems, such...

BVPh
 Referenced in 217 articles
[sw06575]
 method for highly nonlinear problems, namely the homotopy analysis method (HAM). Unlike perturbation methods ... nothing to do with small/large physical parameters. In addition, it provides great freedom to choose...

Paramotopy
 Referenced in 12 articles
[sw08781]
 Paramotopy: Software for parameter homotopies. It has long been known in the numerical algebraic geometry ... community that parameter homotopies provide a powerful tool for solving parametrized polynomial systems ... processing of a large number of parameter homotopies. Paramotopy makes use of Bertini’s implementation ... will include a brief introduction to parameter homotopies, a short tutorial on Paramotopy, and details...

Bertini.m2
 Referenced in 10 articles
[sw08784]
 variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface ... numerically from a variety, and perform parameter homotopy runs. In this talk, a short tutorial...

NESVM
 Referenced in 6 articles
[sw08753]
 also propose ”homotopy NESVM” to accelerate NESVM by dynamically decreasing the smooth parameter and using...

JFNK
 Referenced in 3 articles
[sw09302]
 does the Picard solver). Globalization through parameter continuation did not remedy this problem and future ... Picard and JFNK and the use of homotopy methods...

HarmonicBalance.jl
 Referenced in 1 article
[sw41379]
 differential equations. Time dependence of the system parameters is treated with the harmonic balance method ... contemporary implementations of symbolic algebra and the homotopy continuation method to numerically determine all steady...

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

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

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

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

CADNA
 Referenced in 47 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

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
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

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

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

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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