We use Mathematica to construct zonotopes and display zonohedra.

We present an integration of Mathematica into Prolog using MathLink. We illustrate the interplay between the di erent components by evaluating a simple example. The motivation based on algebraic modeling as well as an application from combinatorial group theory are brie y sketched.

1 . Our investigations might be suggested by a sort of optimalization problem which could be described vividly in practical terms as follows : suppose we are given a network of routes on which there are critical points endangered by fire. We want to place fire stations at an appropriate number of points from which any endangered point can be reached within a given time interval in case of emerg...

This article outlines design and implementation details of the framework for one step methods for solving ordinary differential equations in Mathematica. The solver breaks up the solution into three main phases for equation processing and classification, numerical solution and processing of results. One of the distinguishing features of the framework is the hierarchical nature of the method inv...

For a given finite graph G and positive integer k, let r(G ; k) denote the least integer r such that if the edges of Kr , the complete graph on r vertices, are arbitrarily partitioned into k classes then some class contains a subgraph isomorphic to G . The existence of r(G ; k) follows at once from the well-known theorem of R a m s e y {8] which asserts that r(Kn ; k) < for all n and k . In thi...

In teaching a multivariable calculus course, two main difficulties facing the student are to draw surfaces in three-dimensions, and to setup and calculate tedious triple integrals. The added third dimension causes great difficulty even to the well prepared student who has successfully finished a two semester single variable calculus course. The student must now suddenly think in three-dimension...