Currently, the three most popular commercial computer algebra systems are Mathematica, Maple and Macsyma (the 3 M's). These systems provide a wide variety of symbolic ...

In order to make predictive statements about the role and reactions of different species in a physically dynamic chemically reactive system, it is necessary to construct a ...

The torsion function u of a plane domain D is a function which is zero on the boundary of the domain and whose Laplacian is minus one at every point inside the domain. The ...

A straightforward algorithm for the symbolic computation of higher-order symmetries of nonlinear evolution equations and lattice equations is presented. The scaling ...

The paper presents a Mathematica package SMS (Symbolic Mechanics System) for the automatic derivation of formulas needed in nonlinear finite element analysis. Symbolic ...

Hybrid systems are characterized by the hybrid evolution of their state: a part of the state changes discretely, the other part changes continuously over time. Typically, ...

Traditional uses of computers in education include skill drills, tutorials, simulations/demonstrations, training in the use of software packages (e.g., word processors), and ...

This paper identifies a comprehensive set of compact rules and efficient algorithms for simplifying and rearranging structures common in multidimensional multirate signal ...

Identifies a comprehensive set of compact rules and efficient algorithms for simplifying and rearranging structures common in multidimensional multirate signal processing. ...

In my book Algorithmic Information Theory I explain how I constructed a million-character equation that proves that there is randomness in arithmetic. My book only includes a ...