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

Commentary

Uniform polyhedra consist of regular faces and congruent vertices. Allowing for non-convex faces and vertex figures, there are 75 such polyhedra, as well as two infinite ...

The problem for this issue appeared in the delightful book Programming Pearls by Jon Bentley, Addison-Wesley, 1986. Here he presents this issue's problem as a lesson in ...