Output details
11 - Computer Science and Informatics
Goldsmiths' College
Return to search
Output 0 of 0 in the submission
Article title
Automatic Construction and Verification of Isotopy Invariants
Type
D - Journal article
Title of journal
Journal of Automated Reasoning
Article number
-
Volume number
40
Issue number
2/3
First page of article
221
ISSN of journal
01687433
Year of publication
2008
Number of additional authors
3
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
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-