
BVPh
 Referenced in 204 articles
[sw06575]
 Homotopy analysis method in nonlinear differential equations. ”Homotopy Analysis Method in Nonlinear Differential Equations” presents ... highly nonlinear problems, namely the homotopy analysis method (HAM). Unlike perturbation methods...

ISHAM
 Referenced in 7 articles
[sw07454]
 improved spectral homotopy analysis method for solving boundary layer problems This article presents an improved ... spectralhomotopy analysis method (ISHAM) for solving nonlinear differential equations. The implementation of this...

ADHO
 Referenced in 2 articles
[sw06741]
 Based on the homotopy analysis method, a general analytic technique for strongly nonlinear problems ... nonlinear periodic oscillator. Based on the homotopy analysis method which is valid even for highly...

NOPH
 Referenced in 1 article
[sw09560]
 elimination method, the homotopy analysis method as well as Padé technique, a Maple package NOPH...

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

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

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

cdd
 Referenced in 115 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

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