
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 userdefined functions, linear regression, symbolic differentation and integration, patternmatch ... define conditional, case, piecewise, recursive, multivalue 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...

ADOLC
 Referenced in 239 articles
[sw00019]
 ADOLC: 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 highlevel language and interactive...

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