Output details
11 - Computer Science and Informatics
University of Dundee
Article title
Discovery of invariants through automated theory formation
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
n/a
Issue number
-
First page of article
1
ISSN of journal
0934-5043
Year of publication
2012
Number of additional authors
2
Additional information
<11> This was one of the outputs of grant EP/F035594/1 (a three-site, £514k grant), which supported work on building and applying models of theories from philosophy and cognitive science about how people do mathematics. The paper describes our application of a model of mathematical concept and conjecture formulation to automated invariant discovery. It follows on from a publication at the 15th International Refinement Workshop, for which best paper was awarded. A subsequent EPSRC proposal based on this work is currently under review.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
