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 ...

Requirements are formulated for a reaction kinetics program package to be useful for an as wide as possible circle of users and they are illustrated with examples using ...

The number of different isomers and derivatives is often mentioned in undergraduate chemistry courses, in order to rationalize the vast variety of existing (and new, ...

The machine learning framework for Mathematica is a collection of powerful machine learning algorithms integrated into a framework for the purpose of data analysis. Fuzzy ...