• AGES

  • Referenced in 3 articles [sw32284]
  • different sorts. Function and predicate symbols are then interpreted by means of piecewise interpretations with...
  • SEGMENTD

  • Referenced in 1 article [sw31545]
  • array of tools for doing large, complicated symbolic manipulations conveniently, quickly, and accurately. Current ... Maple have some facilities for manipulating piecewise defined functions. While useful for small problems, these ... some kinds of large manipulations where symbolic breakpoints and range limits are used. Some years...
  • SymbMath

  • Referenced in 1 article [sw00936]
  • plot data and user-defined functions, linear regression, symbolic differentation and integration, pattern-match ... define conditional, case, piecewise, recursive, multi-value functions and procedures, derivatives, integrals and rules...
  • IRIT

  • Referenced in 5 articles [sw21528]
  • help in handling freeform geometry including strong symbolic, numeric and algebraic based computation and analysis ... volumes, as well as general multivariate spline functions. IRIT offers numerous unique computational abilities such ... including using composition), freeform surface decomposition into piecewise ruled and piecewise developable surfaces, and into...
  • FourierSeries

  • Referenced in 1 article [sw09216]
  • symbolic calculation of Fourier series coefficients is presented. It returns the coefficients in piecewise form ... able to handle special cases. Periodic functions can be easily generated and plotted. Also...
  • ADOL-C

  • Referenced in 239 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • CGAL

  • Referenced in 360 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLIFFORD

  • Referenced in 79 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CSDP

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • HSL

  • Referenced in 270 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • LANGAGE

  • Referenced in 36 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LGO

  • Referenced in 92 articles [sw00516]
  • The program system LGO serves to solve global...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 376 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MuPAD

  • Referenced in 138 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...