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

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