• RealPaver

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

  • Referenced in 43 articles [sw06459]
  • versions of a comprehensive set of elementary function. filib++ extends this library in two aspects...
  • SLEEF

  • Referenced in 41 articles [sw05889]
  • SLEEF - SIMD Library for Evaluating Elementary Functions Most of today’s processors have capabilities...
  • Algorithm 693

  • Referenced in 25 articles [sw08017]
  • floating-point multiple-precision arithmetic and elementary functions. Results are almost always correctly rounded ... improved algorithms used for elementary functions, reasonable efficiency is obtained...
  • Janet

  • Referenced in 37 articles [sw07776]
  • characteristic zero whose coefficients are rational functions, an elementary divisor algorithm [Rehm 2001/2002], [Cohn...
  • Wolfram Demonstrations

  • Referenced in 43 articles [sw13598]
  • these thousands of fully functional Demonstrations. From elementary education to front-line research, topics span...
  • Isabelle/ZF

  • Referenced in 63 articles [sw04973]
  • greater part of elementary set theory, including relations, functions, injections, surjections, ordinals and cardinals. Results...
  • Gappa

  • Referenced in 18 articles [sw04885]
  • used to certify elementary functions in CRlibm. While Gappa is intended to be used directly...
  • CLICAL

  • Referenced in 17 articles [sw20733]
  • multivectors, called Clifford algebras. CLICAL evaluates elementary functions with arguments in complex numbers, and their...
  • Geometer's Sketchpad

  • Referenced in 228 articles [sw04858]
  • math more meaningful and memorable using Sketchpad. Elementary students can manipulate dynamic models of fractions ... ratio and proportion, rate of change, and functional relationships through numeric, tabular, and graphical representations...
  • Algorithm 786

  • Referenced in 12 articles [sw04671]
  • Algorithm 786: Multiple-precision complex arithmetic and functions. This article describes a collection of Fortran ... multiple-precision complex arithmetic and elementary functions. The packing provides good exception handling, flexible input...
  • Autodiff

  • Referenced in 12 articles [sw04168]
  • chain rule to obtain derivatives of a function given as a computer program. AD exploits ... matter how complicated, executes a sequence of elementary ... arithmetic operations such as additions or elementary functions such as exp(). By applying the chain...
  • AlgoPy

  • Referenced in 10 articles [sw16107]
  • sequence of scalar elementary functions. Instead, dedicated algorithms for the matrix product, matrix inverse...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • INTLIB - a portable Fortran 77 interval standard-function library. INTLIB is meant ... library is composed of elementary interval arithmetic routines, standard function routines for interval data...
  • CELEFUNT

  • Referenced in 6 articles [sw00117]
  • portable test package for complex elementary functions. This paper discusses CELEFUNT, a package of Fortran ... programs for testing complex elementary functions...
  • DiffSharp

  • Referenced in 95 articles [sw16033]
  • DiffSharp: Automatic differentiation library. DiffSharp is a functional automatic differentiation (AD) library. AD allows exact ... chain rule of calculus at the elementary operator level during program execution. AD is different ... vector products) is applied using higher-order functions, that is, functions which take other functions...
  • CR-LIBM

  • Referenced in 4 articles [sw18090]
  • LIBM, a correctly rounded elementary function library. We present a new elementary function library, called...
  • CRlibm

  • Referenced in 4 articles [sw12390]
  • double-precision C99 standard elementary functions, correctly rounded in the four IEEE-754 rounding modes ... library an excellent tutorial on software elementary function development. The CRlibm library also includes...
  • NSWC

  • Referenced in 11 articles [sw09119]
  • available in the following areas: elementary operations, geometry, special functions, polynomials, vectors, matrices, large dense...