• 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...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: 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 round-off 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...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. 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]
  • HOM4PS-2.0: a software package for solving polynomial...