Classical Pitowsky correlation polytopes are reviewed with particular emphasis on the Minkowski-Weyl representation theorem. The inequalities representing the faces of polytopes are Boole’s “conditions of possible experience.” Many of these inequalities have been discussed in the context of Bell’s inequalities. We introduce CddIF, a Mathematica package created as an interface between Mathematic...

We present the nonlinearity and dispersion effects involved in the propagation of optical solitons which can be understood by using a numerical routine to solve the generalized nonlinear paraxial equation. A sequence of code has been developed in Mathematica to explore in depth several features of the optical soliton’s formation and propagation. These numerical routines were implemented through...

This report describes a World-Wide Web-based Mathematica application for demonstrating a genetic algorithm. The application was installed on a server maintained by UN-L Information Services, with the assistance of Donna Liss, Director of Campus-Wide Information Services ,and Linda Hunt ,Steve Hunt and Alex MacAuly from Wolfram Research Incorporated. The application links input from clients usin...

We introduce the MathGR package, written in Mathematica. The package can manipulate tensor and GR calculations with either abstract or explicit indices, simplify tensors with permutational symmetries, decompose tensors from abstract indices to partially or completely explicit indices and convert partial derivatives into total derivatives. Frequently used GR tensors and a model of FRW universe w...

Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern control applications belong to this class of systems, where a digital controller interacts with a physical environment. In this article we illustrate how a combination of the formal method VDM and the computer algebra s...

This review covers the GuideBooks for Numerics and Symbolics. Both are part of Michael Trott’s mammoth four-volume set of Mathematica GuideBooks. The GuideBooks total 5,179 pages, 14 chapters, 107 sections, 4,700 illustrations and over 10,000 references, some of which overlap. There are 278 problems, all solved, resulting in 1650 pages of solutions. Each volume is available separately and deals...