Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno ...

MathLink is Wolfram Research’s protocol for communicating with the Mathematica Kernel and is used extensively in their own Notebook Frontends. The Mathematica Book ...

A dynamic multimedia calculus textbook that can be used for independent study, as asupplement to a calculus class, and by instructors and tutors to enhance their ...

Classical Pitowsky correlation polytopes are reviewed with particular emphasis on the Minkowski-Weyl representation theorem. The inequalities representing the faces of ...

A category of Mathematica Notebook, called a tool kit, serves to exemplify the kind of pedagogic interface that may be utilized by a relatively naive user to solve problems ...

webMathematica opens up exciting new possibilities for Mathematica developers. For example, it is now possible to sell or rent Mathematica services, or to build specialized ...

A Mathlink interface to the ANSYS bin library. It allows us to read ANSYS binary files into Mathematica. AnsysRecords reads any binary file, record by record. AnsysEmat is ...

GraphicsToolbox is an accelerated 3D graphics programming interface for Mathematica that is based on OpenGL. GraphicsToolbox uses an event-driven model for displaying, ...

This guide covers Mathematica Version 6.0, which is a major upgrade to previous versions of the software. Several interactive features have been incorporated into the user ...

SecDec is a program which can be used for the factorization of dimensionally regulated poles from parametric integrals, in particular multi-loop integrals, and the subsequent ...