A complete university-level mathematics course can be made accessible through the Mathematica software platform. We are developing an online Linear Algebra course composed of ...

Higher Mathematics with Mathematica, volume 2: Analysis

Contains a set of Mathematica projects to accompany a 4-semester calculus program. Designed to facilitate an understanding of the fundamental ideas of calculus and its ...

We use symbolic simulation for the verification of high level circuit specifications. We combine Mathematica for algebraic computation and ACL2 for branching decision to ...

This manual was written to accompany the fifth edition of James Stewart's Calculus, which is used widely in calculus courses. The goals of the manual are to show students how ...

Analytica is an automatic theorem prover written in Mathematica for theorems in elementary analysis. The goal of the project is to use a powerful symbolic computation system ...

Expanding on the author's previous book, this book includes more of the beautiful, simple, and basic mathematical problems in calculus, number theory, ordinary and partial ...

The speckle phenomenon is ubiquitous, occurring in all regions of the electromagnetic spectrum, as well as in both ultrasound and synthetic-aperture-radar imaging. Speckle ...

Mathematica is one of several recently developed equation analysis programs that is particularly well suited for solving a broad range of intermediate engineering problems. ...

The framework for pseudorandom number generation in Mathematica has been completely redesigned for version 6. There are new functions optimized for generating large arrays of ...