## AM, an artificial intelligence approach to discovery in mathematics as heuristic search |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Pi view | |

Wsts of viewing AM as i | |

t Aw Example Discovering Prime Numbers | |

Copyright | |

8 other sections not shown

### Other editions - View all

### Common terms and phrases

active concept agenda algorithm already-known AM's analogy Any-concept Appendix arguments Artificial Intelligence bags behavior called Cand canonical CAR GETB Check examples Coalesce Compose composition conjecture consider contains cpu seconds created current task defined Dendral discovery divisors domain domain/range entry Domain/range facet DOUG BRUCE element empty set equal Examples facet examples have recently examples of Sets examples ol exist facet F factorization Fill in examples Fillin find examples Focus of Attention GETB BA1 heuristic rule initial insert interesting concept Intuition kind LISP function math mathematician mathematics non-examples noticed numbers OBJ-EQUAL Odd-primes operation F OSET pair perfect squares predicate primes priority value range reasons recently been found recursive relevant renamed Restrict result Same-size satisfy set theory Set-insert Set-union singleton singleton set specialization Square-root structure subset suggested theorem typical unique factorization theorem VECTOR worth