Artificial intelligence in mathematics
著者
書誌事項
Artificial intelligence in mathematics
（The Institute of Mathematics and its Applications conference series, new ser. 51）
Clarendon Press , Oxford University Press, 1994
大学図書館所蔵 全20件
注記
"Based on the proceedings of a Conference on Artificial Intelligence in Mathematics, organized by the Institute of Mathematics and Its Applications, hosted by the University of Strathclyde and the Turing Institute in April 1991."
"Eurostat, supported by the Statistical Office of the European Communities"
Includes bibliographical references
内容説明・目次
内容説明
This book suggests that in future science, social science, engineering and social administration will be based on the complementary interplay of artificial intelligence, mathematics, and statistics. It shows how intelligent computer systems will help pure mathematicians in their work, and how mathematicians may develop as a problem-solving discipline. Artificial intelligence provides profound insights into the nature of complex problems and how computers can be used to solve them; mathematics provides a rich language for presenting systems and methods for investigating them rigorously; while statistics provides the interface between abstract theory and data from observation and experiment. The book is divided into five sections: (1) an introduction to artificial intelligence in mathematics; (2) philosophical and structural issues; (3) automated theorem proving; (4) artificial intelligence in computer algebra and computer systems for mathematics; and (5) artificial intelligence in applied mathematics and statistics. This book is intended for academic and industrial researchers into pure and applied mathematics, artificial intelligence, and statistics.
目次
- Part I An Introduction to Artificial Intelligence in Mathematics
- Jeffrey Johnson, Sean McKee and Alfred Vella: An Introduction to Artificial Intelligence in Mathematics
- Part II The Impact of Computers on Mathematics: Philosophical and Structural Issues
- James L. Alty: What is Artificial Intelligence and is it Relevant to Mathematics?
- Alfred Vella and Carol Vella: Artificial Intelligence and the Mathcycle
- Graeme Ritchie: Learning from AM
- Ivan Bratko, Stephen Muggleton and Alen Varsek: Learning Qualitative Models of Dynamic Systems
- John S.N. Elvey: Varieties of Approximations
- Jean-Claude Simon: Uncertainty Versus Computational Complexity
- Laurent Siklossy: Representing Ignorance, or Knowing What We Do Not Know
- Part III: Logic and Computer Proof
- Fausto Giunchiglia and Paolo Traverso: A System for Multi-Level Mathematical Reasoning
- Christian Horn and Alan Smaill: From Meta-level Tactics to Object-level Programs
- Yang Lu, Zhang Jingzhong: Searching Dependency Between Algebraic Equations: an Algorithm Applied to Automated Reasoning
- Part IV Artificial Intelligence in Computer Algebra and Computer Systems for Mathematics
- James H. Davenport: The Role of Intelligence in Computer Algebra
- J. Calmet and I.A. Tjandra: An Artificial Intelligence Environment for Computer Algebra
- Francois Rechenmann: Modelling Mathematical Objects in Knowledge-Based Systems for Scientific Computing
- Philippe Laublet: Hybrid Knowledge Representation and Theorem Proving in Mathematics
- Edmund Furse: The Mathematics Understander
- Thomas Wolf and Andreas Brand: Heuristics for Solving Overdetermined Systems of Partial Differential Equations
- Ron Knott: Declarative Programming for Mathematical Exploration
- Peter Samuels: Hypertext for Computational Mathematics
- Part V Artificial Intelligence in Applied Mathematics and Statistics
- David J. Hand: Artificial Intelligence and Statistics: Synergy in Action?
- B. Ford, S.J. Hague, R.M.J. Iles, I. Reid: A Framework for Combining Reasoning Components with Mathematical Software
- Fergus Daly: An Intelligent Assistant for the Statistical Analysis of Markov Process Data
- P. Olioveira, S. McKee, C. Coles: Genetic Algorithms and Optimizing Large Nonlinear Systems
- Jeffrey Johnson: Representation, Knowledge Elicitation and Mathematical Science.
「Nielsen BookData」 より