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

This paper presents the concept of an environment for distributed mathematical education based on the computer algebra system Mathematica c. Mathematica is a \system for doing mathematics by computer" which combines a computational engine with powerful presentation and visualization facilities based on the concept of notebooks (multimedia hypertext documents). The system has gained large popula...

This work focuses on a mechanism (and software) which communicates (via MathLink protocol) and provides compatibility between the representation of nonlinear functions specified as Mathematica expressions and objects of suitable classes supported by the C-XSC automatic differentiation modules. The application of the developed communication software is demonstrated by MathLink compatible program...