We describe collaborative constraint functional logic programming and the system called Open CFLP that supports this programming paradigm. The system solves equations by ...

An experimental version of a Clifford Algebra package. This package uses an experimental version of the tensor calculus package Tensorial 3.0 that is included with the ...

An Introduction to Programming with Mathematica is designed to introduce the Mathematica programming language to a wide audience. Since the last edition of this book was ...

SetFaceandFont Palette. a Mathematica palette with many functions: Five font change buttons to common font choices (those used in Help)Font size buttons, font face buttons, ...

Interval computations are becoming a well-accepted method of rigorous mathematical proofs. We discuss some possibilities of deploying Mathematica into interval-computation ...

Narrow-band detection of the Raman water vapor spectrum using the lidar technique introduces a concern over the temperature dependence of the Raman spectrum. Various groups ...

We prove that nearest-neighbor percolation in dimensions d  11 displays mean-field behavior by proving that the infrared bound holds, in turn implying the finiteness of the ...

This is a four-part work on implementing finite automata (FA) algorithms. Part I, "Generating and Enumerating Words", deals with the generation of the set of words accepted ...

Note: This is a discontinued product. Archival documentation » Scientific Astronomer is a general astronomy system that produces charts, generates animations, and ...

This book presents the approaches, methods, tools, and algorithms for modelling the chemical dynamics of metabolic pathways. Included are an introduction to the basic ...