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

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

Topics: A brief Mathematica tour Symbolic and Numeric Computation List Manipulation Symbolic Algebra Symbolic Differentiation, Integration

This package provides some of the functions that are common in lattice theory (such as computing distinct coset vectors) and the geometry of numbers (such as the Bézout ...

Most of the previous work on calculating fluxes of carbon during ultra-low carbon steel production under vacuum have relied on simplifications. Using Mathematica, the authors ...

A short Mathematica program implements the basic operations of the exterior calculus of vector fields and differential forms. A utility package implements the linear homotopy ...

This award-winning application has become the center of precipitation for other Mathematica packages in control engineering. This demonstration highlights the capabilities of ...

A set of Mathematica packages for symbolic calculation of Feynman diagrams. The packages were designed as an aid in calculating tree-level multi-particle electroweak ...

This notebook is the first in an instructional series which shows how Mathematica may be used to solve ordinary differential equations (with and without the use of DSolve). ...