S Epstein. Knowledge Representation in Mathematics: A Case Study in Graph Theory. Unpublished PhD thesis, Department of Computer Science, Rutgers University, 1983. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Notion of Interestingness in Automated Mathematical.. - Colton, Bundy (2000) (8 citations) (Correct)
....iff it is acyclic and connected. GT successfully illustrated a possible mechanism for automated discovery in mathematics involving both deductive and inductive reasoning. This was possible because GT represented graph properties in a carefully thought out way developed in Epstein s PhD thesis, Epstein (1983), which allowed example generation, theorem proving and concept formation. Each graph property was represented as a triple, f; S; oe , consisting of a set of base cases, S, a constructor, f , and a set of constraints for the constructor, oe, which together detailed the recursive construction ....
S Epstein. Knowledge Representation in Mathematics: A Case Study in Graph Theory. PhD thesis, Department of Computer Science, Rutgers University, 1983.
On the Notion of Interestingness in Automated Mathematical.. - Colton, Bundy, Walsh (2000) (8 citations) (Correct)
....if it is acyclic and connected. GT successfully illustrated a possible mechanism for automated discovery in mathematics involving both deductive and inductive reasoning. This was possible because GT represented graph properties in a carefully thought out way developed in Epstein s PhD thesis, [8]. This representation was crucial as it allowed example generation, theorem proving and concept formation. Each graph property was represented as a triple, f; S; oe , consisting of a set of base cases, S, a constructor, f , and a set of constraints for the constructor, oe, which together ....
S Epstein. Knowledge Representation in Mathematics: A Case Study in Graph Theory. PhD thesis, Department of Computer Science, Rutgers University, 1983. 23
Cross-Domain Concept formation using HR - Steel (1999) (2 citations) (Correct)
No context found.
S Epstein. Knowledge Representation in Mathematics: A Case Study in Graph Theory. Unpublished PhD thesis, Department of Computer Science, Rutgers University, 1983.
On the Notion of Interestingness in Automated Mathematical.. - Colton, Bundy, Walsh (2000) (8 citations) (Correct)
No context found.
S Epstein. Knowledge Representation in Mathematics: A Case Study in Graph Theory. PhD thesis, Department of Computer Science, Rutgers University, 1983. 23
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