
PARI/GP
 Referenced in 636 articles
[sw00680]
 contains a large number of other useful functions to compute with mathematical entities such ... numbers, etc., and a lot of transcendental functions. PARI is also available...

SINGULAR
 Referenced in 1504 articles
[sw00866]
 finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings ... freeresolution computations, and many more related functionalities. Based on an easytouse interactive...

Nestedsums
 Referenced in 28 articles
[sw15013]
 Nestedsums library. Symbolic Expansion of Transcendental Functions. Higher transcendental function occur frequently in the calculation...

Algorithm 719
 Referenced in 41 articles
[sw13183]
 variety of arithmetic operations and transcendental functions on floating point numbers of arbitrarily high precision...

RealPaver
 Referenced in 51 articles
[sw04401]
 continuous or discrete, have to be bounded. Functions and constraints have to be defined ... expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers the solution...

XSummer
 Referenced in 30 articles
[sw06109]
 XSummer  transcendental functions and symbolic summation in form. Harmonic sums and their generalizations are extremely...

Rmpfr
 Referenced in 12 articles
[sw11599]
 classes and methods for) arithmetic including transcendental (”special”) functions for arbitrary precision floating point numbers...

NLCertify
 Referenced in 4 articles
[sw08786]
 formal certification of nonlinear inequalities involving transcendental multivariate functions. The tool exploits sparse semialgebraic ... optimization techniques with approximation methods for transcendental functions, as well as formal features. Given ... other nodes can be either univariate transcendental functions (arctan, cos, exp, etc) or basic operations ... user can choose to approximate transcendental functions with best uniform (or minimax) polynomials as well...

core 2
 Referenced in 7 articles
[sw04960]
 integrates our algebraic ENC subsystem with transcendental functions with ϵaccurate comparisons. This paper describes ... setting that combines algebraic and transcendental elements. Our redesign preserves the original goals...

NumExp
 Referenced in 6 articles
[sw16825]
 expanding hypergeometric functions and/or other transcendental functions in a small regularization parameter. The hypergeometric function...

DynaThinLayer
 Referenced in 5 articles
[sw08738]
 approximates the stiffness matrix involving transcendental functions by truncating the Taylor series of the stiffness...

iSAT
 Referenced in 4 articles
[sw28679]
 linear constraint formulas (including transcendental functions),and thus is suitable to verify safety properties...

MultiZ
 Referenced in 3 articles
[sw35932]
 used to compute arbitrary order derivates of functions of a single variable or multiple variables ... operations. The computation of algebraic and transcendental functions is achieved using a Taylor series approximation...

Numexpr
 Referenced in 3 articles
[sw20814]
 memorybounded (e.g. those using transcendental functions). Last but not least, numexpr can make...

DrazinInverse
 Referenced in 2 articles
[sw39043]
 Drazin Inverse Matrices with Multivariate Transcendental Functions Entries. The study of Drazin inverses ... entries, rational functions, formal Laurent series, meromorphic functions. Furthermore, symbolic techniques have proven ... whose entries are elements of a finite transcendental field extension of a computable field ... Gröbner bases, of matrices with rational functions entries. More precisely, this paper presents a Maple...

SCIPPlan
 Referenced in 2 articles
[sw30743]
 nonlinear domains with general metric objectives, transcendental functions such as exponentials, and instantaneous continuous actions...

PSPLINE
 Referenced in 1 article
[sw16616]
 somewhat faster computationally. Spline and Hermite interpolation functions are often much faster to evaluate than ... Fourier series or otherwise involving transcendental functions...

iSAT3
 Referenced in 1 article
[sw31001]
 linear arithmetic as well as transcendental functions. iSAT3 is the third implementation of the iSAT...

INVLAP
 Referenced in 2 articles
[sw20911]
 containing rational, irrational or transcendental expressions. The function does not require to compute poles...

fastfunlib
 Referenced in 0 articles
[sw05914]
 fastfunlib library (fast multiprecision transcendental functions...