#### Filter Results:

#### Publication Year

1985

2016

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- Kurt Ammon
- CADE
- 1992

- Kurt Ammon
- AAAI
- 1988

The SHUNYATA program constructs proof methods by analyzing proofs of simple theorems in mathematical theories such as group theory and uses these methods to form prooh of new theorems in the same or in other theories. Such methods are capable of generating proo& of theorems whose complexity represents the state of the art in automated theorem proving. They… (More)

- Kurt Ammon
- ArXiv
- 2016

- Kurt Ammon
- ArXiv
- 2013

We give an effective procedure that produces a natural number in its output from any natural number in its input, that is, it computes a total function. The elementary operations of the procedure are Turing-computable. The procedure has a second input which can contain the Gödel number of any Turing-computable total function whose range is a subset of the… (More)

- Kurt Ammon
- ArXiv
- 2010

- Kurt Ammon
- ArXiv
- 2009

- Kurt Ammon
- CADE
- 1992