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

File Description SizeFormat 
Automated conjecture making in.pdfdefault233.72 kBAdobe PDFDownload
Title: Automated conjecture making in number theory using HR, Otter and Maple
Author(s): Colton, S
Item Type: Journal Article
Publication Date: 1-May-2005
Citation: J SYMB COMPUT Vol.( 39 ) No.( 5 ) pp 593 - 615
URI: http://hdl.handle.net/10044/1/674
Publisher Link: 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
Volume: 39
Appears in Collections:Logic and Artificial Intelligence



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons