Mathematica, as a powerful programming tool, provides many functions for the manipulation of strings. This document examines these, along with some possible uses. Reprint ...

The equational prover of the THEOREMA systems is described. It is implemented on Mathematica and is designed for unit equalities in the first order or in the applicative ...

A commercial computer algebra program, Mathematica, is used to generate the C matrix that characterizes our implementation of the Löwdin alpha-function method as applied to ...

This paper uses a linear partial differential equation (PDE) solver to construct the bifurcating branches of solutions of nonlinear PDE's. This linear PDE solver (developed ...

MathLink is Wolfram Research’s protocol for communicating with the Mathematica Kernel and is used extensively in their own Notebook Frontends. The Mathematica Book ...

The Digital Image Processing application package, a relatively recent addition to the Mathematica application library, enhances Mathematica with over 160 functions in the ...

MathSBML is a Mathematica package designed for manipulating Systems Biology Markup Language (SBML) models. It converts SBML models into Mathematica data structures and ...

This is a half-day workshop providing secondary and community college teachers (or education students) a look at how to integrate Mathematica into their courses. Participants ...

While producing a color animation of a solution to the heat equation using Mathematica, we discover many ways to optimize Mathematica code, resulting in a program that runs ...

DrawGraphics is a Mathematica package that establishes a more natural paradigm for creating graphics and adds many useful graphical routines. The package is demonstrated and ...