A computer implementation of Gödel's algorithm for class formation in Mathematica is useful for automated reasoning in set theory. The original intent was to forge a ...

A computer implementation of Gödel's algorithm for class for- mation in Mathematica was used to formulate definitions and theorems about iteration in Gödel's class theory. ...

In this case study, a Support Vector Classifier function has been developed in Mathematica. Starting with a brief summary of the support vector classification method, a step ...

The presentation describes a package to emulate computer arithmetic and, as an illustration of one application, applies the package, using Mathematica to compute the truth, ...

We show how Mathematica can be used to obtain numerical solutions of integral equations by exploiting a combination of iteration and interpolation. The efficacy of the method ...

What are web services? Programmatic interfaces made available on the network which are used for application to application communication. Language and Platform independent ...

GeometricalGeodesy is a Mathematica application package that implements everything necessary for fundamental geodesy and analytical cartography. It computes coordinates in ...

Rayica is a Mathematica application package that provides ray-tracing and rendering of optical systems. It offers unprecedented flexibility for advanced optical work. It has ...

The notebook solves Example 7.5 page 285 presented in the excellent book by Henley and Seader, Equilibrium-Stage Separation Operations in Chemical Engineering, Wiley, 1981. ...

SelectionBrowser provides a referring tool to work with one or several notebooks simultaneously. One can add reference to any part of the cell and later can return by its ...