Of all built-in types of formatting InputForm is most easily read after pasting in an email message. However, the InputForm of a real number often has sixteen digits and one ...

This items consists of 9 example programs developed as learning tools within the undergraduate curriculum in Chemical Engineering at the Colorado School of Mines. The subject ...

A robust algorithm to connect the dots.

A difference equation (or map) of the form x_n-1 = f(x_n, x_n-1, ...) which, together with some specified values or initial conditions defines a sequence {x_n}. Despite the ...

Superprime Rib, and responses by John Novak; Lou D'Andria; Ken Levasseur

Contains over 50 student projects for an introductory course in multivariable calculus. Can be used as a supplement to any standard calculus book.

Current automatic theorem provers, particularly those based on some variant of resolution, have concentrated on obtaining ever higher inference rates by using clever ...

no abstract

Users can look forward to major new features in several areas: string maniipulation and support of foreign character sets; three-dimensional graphics and composite graphics; ...