Automated conjecture making in number theory using HR, Otter and Maple

File(s)

Automated conjecture making in.pdf (233.72 KB)

default

Show more

Author(s)

Colton, S

Type

Journal Article

Date Issued

2005-05-01

Citation

J SYMB COMPUT Vol.( 39 ) No.( 5 ) pp 593 - 615

URI

http://hdl.handle.net/10044/1/674

URL

http://dx.doi.org/10.1016/j.jsc.2004.12.003

DOI

10.1016/j.jsc.2004.12.003

ISSN

0747-7171

Start Page

593

End Page

615

Copyright Statement

© 2005 Elsevier Ltd. This is the author’s version of a work that was accepted for publication in Journal of Symbolic Computation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Symbolic Computation, volume 39, issue 5 (May 2005). Doi:10.1016/j.jsc.2004.12.003

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Source Volume Number

39