Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of the software packages. In this work we present the integration of programs based on the interval libraries filib++ and C-XSC into Mathematica via MathLink communication protocol. On some small easily readable programs we demon...

Recently, we developed and reported some novel ways to make MATHEMATICA produce derivations that contain conventionally structured narratives and formulas, using a procedure that interprets files containing expressions, which MATHEMATICA evaluates symbolically, control information and text. Now, this work is extended to give TEX typeset output. It supports the interactive crafting of publicatio...

Mathematica is a symbolic programming language that empowers the user to undertake complicated algebraic tasks. One such task is the derivation of maximum likelihood estimators, demonstrably an important topic in statistics at both the research and the expository level. In this paper, a Mathematica package is provided that contains a function entitled SuperLog. This function utilizes pattern-ma...

Several algorithms are presented. The standard algorithm generates all N anticliques of a graph G with v vertices in time O(Nv). It can e.g. be adapted to calculate the independence polynomial of G, to generate all maximum cardinality anticliques, or just one maximum anticlique. The latter was programmed using the Mathematica 6.0 code. For a random (45, 92)-graph G a maximum anticlique of size ...

We have developed a Mathematica application package to perform dynamic simulations of the red blood cell (RBC) metabolic network. The package relies on, and integrates, many years of mathematical modeling and biochemical work on red blood cell metabolism. The extensive data regarding the red blood cell metabolic network and the previous kinetic analysis of all the individual components makes th...

First publication: Monatshefte für Mathematik und Physik, 37, 173–198 Reprints: S. Feferman et al., eds., Kurt Gödel. Collected Works. Volume I: Publications 1929–1936. New York: Oxford University Press, 1986, pp. 116–195. Translations: English translations: ‘On formally undecidable propositions of Principia mathematica and related systems I.’ Translation by B. Meltzer, On Formally Undecidable ...