Integrating Symbolic Mathematical Computation and Artificial Intelligence

Integrating Symbolic Mathematical Computation and Artificial Intelligence
Author :
Publisher : Springer Science & Business Media
Total Pages : 72
Release :
ISBN-10 : 3540601562
ISBN-13 : 9783540601562
Rating : 4/5 (62 Downloads)

Book Synopsis Integrating Symbolic Mathematical Computation and Artificial Intelligence by : Jacques Calmet

Download or read book Integrating Symbolic Mathematical Computation and Artificial Intelligence written by Jacques Calmet and published by Springer Science & Business Media. This book was released on 1995-08-10 with total page 72 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.


Integrating Symbolic Mathematical Computation and Artificial Intelligence Related Books

Integrating Symbolic Mathematical Computation and Artificial Intelligence
Language: en
Pages: 72
Authors: Jacques Calmet
Categories: Computers
Type: BOOK - Published: 1995-08-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympoli
Symbolic and Numerical Computation for Artificial Intelligence
Language: en
Pages: 392
Authors: Bruce R. Donald
Categories: Computers
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and ar
Artificial Intelligence and Symbolic Mathematical Computing
Language: en
Pages: 324
Authors: Jacques Calmet
Categories: Computers
Type: BOOK - Published: 1993-10-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference,
Research Directions in Computational Mechanics
Language: en
Pages: 145
Authors: National Research Council
Categories: Technology & Engineering
Type: BOOK - Published: 1991-02-01 - Publisher: National Academies Press

DOWNLOAD EBOOK

Computational mechanics is a scientific discipline that marries physics, computers, and mathematics to emulate natural physical phenomena. It is a technology th
Symbolic Computation and Automated Reasoning
Language: en
Pages: 283
Authors: Manfred Kerber
Categories: Mathematics
Type: BOOK - Published: 2001-04-02 - Publisher: CRC Press

DOWNLOAD EBOOK

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becomin