You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Goldsmiths' College » Outputs » Detail

Output details

11 - Computer Science and Informatics

Goldsmiths' College

Return to search Previous output Next output

Output 15 of 85 in the submission

Article title

Automatic Construction and Verification of Isotopy Invariants

Type

D - Journal article

DOI

10.1007/s10817-007-9093-y

Title of journal

Journal of Automated Reasoning

Article number

Volume number

Issue number

2/3

First page of article

221

ISSN of journal

01687433

Year of publication

2008

URL

http://eprints.gold.ac.uk/9177/

Number of additional authors

Additional information

<12> The JAR is the top journal for automated theorem proving. This work uses Colton’s earlier work on theorem generation in a combination of learning, proving and model generation techniques to discover new and valuable algebra theorems leading to a sister paper (Comment. Math. Univ. Carolin 49(2)). It has been cited by researchers at Imperial, Edinburgh, Southampton, St Andrews and Herriot Watt. It led directly to EPSRC grant EP/F036647 on formalising mathematical learning/discovery, applied to AI problem solving and formal methods. The research was covered in a 2009 New Scientist article.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract