Title: Artificial intelligence in mathematics /
Authors: Johnson, J.; McKee, Sean.; Vella, Alfred.; Institute of Mathematics and Its Applications.
Publisher: Clarendon Press ; Oxford University Press,
Year: 1994
Subjects: Mathematics Data processing Congresses; Artificial intelligence Congresses
Contents: An Introduction to Artificial Intelligence in Mathematics / Jeffrey Johnson, Sean McKee and Alfred Vella -- What is Artificial Intelligence and is it Relevant to Mathematics? / James L. Alty -- Artificial Intelligence and the Mathcycle / Alfred Vella and Carol Vella -- Learning from AM / Graume Ritchie -- Learning Qualitative Models of Dynamic Systems / Ivan Bratko, Stephen Muggleton and Alen Varsek -- Varieties of Approximation / John S. N. Elvey -- Uncertainty Versus Computational Complexity / Jean-Claude Simon -- Representing Ignorance, or: Knowing What We Do Not Know / Laurent Siklossy -- A System for Multi-Level Mathematical Reasoning / Fausto Giunchiglia and Paolo Traverso -- From Meta-level Tactics to Object-level Programs / Christian Horn and Alan Smaill -- Searching Dependency Between Algebraic Equations: an Algorithm Applied to Automated Reasoning / Yang Lu and Zhang Jingzhong -- The Role of Intelligence in Computer Algebra / James H. Davenport -- An Artificial Intelligence Environment for Computer Algebra / J. Calmet and I. A. Tjandra -- Modelling Mathematical Objects in Knowledge-Based Systems for Scientific Computing / Francois Rechenmann -- Hybrid Knowledge Representation and Theorem Proving in Mathematics / Philippe Laublet -- The Mathematics Understander / Edmund Furse -- Heuristics for Solving Overdetermined Systems of Partial Differential Equations / Thomas Wolf and Andreas Brand -- Declarative Programming for Mathematical Exploration / Ron Knott.