Graham Steel  Home/Search
Context Related
| homepages.inf.ed.ac.uk/g...thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.ac.uk/gs...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many interesting and valuable concepts in mathematics are essentially `cross-domain' in nature, i.e. they relate objects, ideas and theories from more than one area of mathematics. Examples include prime order groups and graph nodes of maximal degree. These concepts are often involved in vital steps in the formation of a mathematical theory. (Update)
Context of citations to this paper: More
.... and number theory testing, and further details of the graph theory testing including the complete output from a run, can be found in (Steel, 1999). 3.1 Generating standard interesting concepts To measure the ability to re invent standard cross domain concepts, we compiled a...
Cited by: More
Automated Theory Formation for Tutoring Tasks in Pure.. - Colton, McCasland.. (Correct)
ILP for Mathematical Discovery - Colton, Muggleton (2003) (Correct)
Cross-domain Mathematical Concept Formation - Colton, Bundy, Walsh (2000) (Correct)
Active bibliography (related documents): More All
1.3: On the Notion of Interestingness in Automated Mathematical.. - Colton, Bundy, Walsh (2000) (Correct)
0.8: Cross-Domain Mathematical Concept Formation - Steel (1999) (Correct)
0.7: Agent Based Cooperative Theory Formation in Pure Mathematics - Colton, Bundy, Walsh (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
3: Automated Theory Formation in Pure Mathematics (context) - Colton - 2000
2: Automatic identication of mathematical concepts (context) - Colton, Bundy et al. - 2000
2: Making conjectures about Maple functions - Colton - 2002
BibTeX entry: (Update)
G. Steel. Cross-domain concept formation using HR. Master's thesis, University of Edinburgh, 1999. http://citeseer.ist.psu.edu/article/steel99crossdomain.html More
@misc{ steel99crossdomain,
author = "G. Steel",
title = "Cross-domain concept formation using HR",
text = "G. Steel. Cross-domain concept formation using HR. Master's thesis, University
of Edinburgh, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/steel99crossdomain.html" }
Citations (may not include all citations):474 Graph Theory (context) - Harary - 1969
295 Cambridge University Press (context) - Craik, Of - 1952
66 How to solve it (context) - P'olya - 1945
60 A Davis-Putnam program and its application to finite first-o.. - McCune - 1994
55 A science of reasoning - Bundy - 1991
49 The Computer Modelling of Mathematical Reasoning (context) - Bundy - 1983
33 Why AM and EURISKO appear to work (context) - Lenat, Brown - 1984
28 the notion of interestingness in automated mathematical disc.. - Colton, Bundy - 1999
26 HR: Automatic concept formation in pure mathematics (context) - Colton, Bundy et al. - 1999
24 Artificial Intelligence (context) - Lenat, of - 1982
20 AM: An artificial intelligence approach to discovery in math.. (context) - Lenat - 1976
17 Monstrous moonshine (context) - Conway, Norton - 1979
15 Learning and discovery: One system 's search for mathematica.. (context) - Epstein - 1988
15 Heuristic problem solving: The next advance in operations re.. (context) - Simon, Newell - 1958
13 Functional transformations in AI discovery systems (context) - Shen - 1987
13 Mathematical discovery (context) - P'olya - 1965
13 The online encyclopedia of integer sequences (context) - Sloane - 1998
9 Eurisko: A program which learns new heuristics and domain co.. (context) - Lenat - 1983
8 AM: A case study in methodology (context) - Ritchie, Hanna - 1984
8 Rll: A representation language language (context) - Lenat, Greiner - 1980
7 Discovery systems (context) - Haase - 1986
6 Private communication (context) - Maclean - 1999
5 Technical Report ANL (context) - McCune, user's - 1990
4 Knowledge Representation in Mathematics: A Case Study in Gra.. (context) - Epstein - 1983
4 Knowledge representation for mathematical discovery - Epstein - 1991
4 Discrete Mathematics (context) - Fajtlowicz, of - 1988
3 Graph Theory As I Have Known It (context) - Tutte - 1998
3 A survey of the eight national conference on artificial inte.. (context) - Cohen - 1991
3 Solutio problematis geometrian situs perinentis (context) - Euler
3 A Proposal for the Dartmouth Summer Research Project on Arti.. (context) - McCarthy - 1955
2 Why did AM run out of steam (context) - Furse - 1990
2 The nature of heuristics II (context) - Lenat - 1983
2 available from httpmath (context) - Intelligent, discovery et al. - 1999
2 emes sur les groupes de substitutions (context) - Sylow
1 The mactutor history of mathematics (context) - O'Connor, Robertson - 1999
1 Principles of human computer collaboration for knowledge dis.. (context) - Vald'es-P'erez
1 Unpublished PhD thesis (context) - Haase, Exploration - 1990
http://www.dai.ed.ac.uk/~simonco/research/hr
Documents on the same site (http://homepages.inf.ed.ac.uk/gsteel/papers/index.html): More
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
Artificial Intelligence and Scientific Creativity - Colton, Steel (1999) (Correct)
Visualising First-Order Proof Search - Steel (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC