• 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 ... free-resolution computations, and many more related functionalities. Based on an easy-to-use 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]
  • memory-bounded (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...