✦ LIBER ✦

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

✍ Scribed by Steve Linton; Roberto Sebastiani

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 78 KB
Volume: 34
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.2002.0553

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Electronic Communication of Mathematics

Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants

✍ Henk Barendregt; Arjeh M. Cohen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 355 KB

Present day computer algebra systems (CASs) and proof assistants (PAs) are specialized programs that help humans with mathematical computations and deductions. Although several such systems are impressive, they all have certain limitations. In most CASs side conditions that are essential for the tru

The man-machine interface of automated t

The man-machine interface of automated testing : Brewster, K.Proceedings of the Joint Conference on Automatic Test Systems, Birmingham, England, 14–17 April 1970, 211–220; abstr. in Computer and Control Abstracts

📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 124 KB

An evaluation of production systems from

An evaluation of production systems from the ergonomic viewpoint; A plea for an integral approach to design. In: Ergonomics of Hybrid Automated Systems I : Kragt, H. W. Karwowski, H.R. Parsaei and M.R. Wilhelm (Eds), Elsevier, Amsterdam, 1988, pp 577–583

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 149 KB