Improved geospatial instrumentation and technology such as in laser scanning has now resulted in millions of data being collected, e.g., point clouds. It is in realization ...

Loci generation is a key characteristic of dynamic geometry environments. The approach taken by currents systems such as CABRI, The Geometer's Sketchpad, Geometry Expert or ...

We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive ...

This notebook illustrates the solution of four simultaneous ordinary differential equations with three constant initial boundary conditions and one algebraic final boundary ...

This is the legacy standard add-on package Algebra`PolynomialPowerMod` from Version 5.2, with minimal updates for basic compatibility with 6.0. It does contain obsolescence ...

This is the legacy standard add-on package LinearAlgebra`MatrixManipulation` from Version 5.2, with minimal updates for basic compatibility with 6.0. It does contain ...

This is the legacy standard add-on package Algebra`PolynomialContinuedFractions` from Version 5.2, with minimal updates for basic compatibility with 6.0. It does contain ...

This article presents the H2/Hinf control (disturbance rejection LQ method) of the Bergman minimal model, [10] for Type I diabetic patients under intensive care using ...

We present an analytical approach, based on computer algebra using Mathematica, to solve for the time-dependent responses of the earth's surface to the melting of the last ...

A symbolic method which can be used to obtain the asymptotic bias and variance coefficients to order O(1/n) for estimators in stationary time series is discussed. Using this ...