✦ LIBER ✦

Integrating Computational and Deduction Systems Using OpenMath

✍ Scribed by O. Caprotti; A.M. Cohen

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 739 KB
Volume: 23
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80616-4

No coin nor oath required. For personal study only.

✦ Synopsis

The standard OpenMath is a crucial ingredient for creating an integrated environment combining systems for computer algebra with proof checkers. OpenMath consists of a formal grammar of OpenMath objects, their encodings, Content Dictionaries, Phrasebooks and other tools. The OpenMath standard allows integration of computational systems of different kind. Here we demonstrate how OpenMath works by setting up an environment in which Maple expressions are type-checked by the proof checkers Lego and Coq.

📜 SIMILAR VOLUMES

Deductive databases for computing certai

Deductive databases for computing certain and consistent answers from mediated data integration systems

✍ Loreto Bravo; Leopoldo Bertossi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 353 KB

We address the problem of retrieving certain and consistent answers to queries posed to a mediated data integration system under the local-as-view paradigm with open sources and conjunctive and disjunctive view definitions. For obtaining certain answers a query program is run under the cautious stab

Integrating systems design and control u

Integrating systems design and control using dynamic flexibility analysis

✍ Andrés Malcolm; Jamie Polan; Libin Zhang; Babatunde A. Ogunnaike; Andreas A. Lin 📂 Article 📅 2007 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 830 KB

Using computer controlled physical model

Using computer controlled physical models to analyze computer integrated manufacturing systems

✍ Bob.E. White 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 327 KB

Special Issue on Calculemus-99: Integrat

Special Issue on Calculemus-99: Integrating Computation and Deduction Foreword of the Guest Editors

✍ Alessandro Armando; Tudor Jebelean 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 88 KB

Systems thinking and computer-Integrated

Systems thinking and computer-Integrated Manufacturing

✍ Andrew Williamson; Peter Deasley 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 776 KB

An integrated methodology for manufactur

An integrated methodology for manufacturing systems design using manual and computer simulation

✍ Victor Paquet; Li Lin 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 1021 KB

## Abstract Traditional approaches to manufacturing systems design utilize a sequential procedure that focuses on production capacity requirements, with human operator task design developed late in the systems design phase. Implementing manufacturing systems in this way is difficult when operations