Division of Informatics
Forrest Hill & 80 South Bridge
|
Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work. | ||
Discussion Paper | ||
| DP173 | 1996 Discussion Paper | Jamnik,M |
|---|---|---|
| Automation of Diagrammatic Proofs in Mathematics | ||
Paper in Conference Proceedings | ||
| PP1195 | 1997 Paper in Conference Proceedings | Jamnik,M; Bundy,A; Green,I |
| Automation of Diagrammatic Reasoning | ||
| PP1201 | 1997 Paper in Conference Proceedings | Jamnik,M; Bundy,A; Green,I |
| Automation of Diagrammatic Proofs in Mathematics | ||
PhD Thesis | ||
| PT9915 | 1999 PhD Thesis | Jamnik,M |
| Automating Diagrammatic Proofs of Arithmetic Arguments | ||
Research Paper | ||
| RP910 | 1998 Research Paper | Jamnik,M; Bundy,A; Green,I |
| On Automating Diagrammatic Proofs of Arithmetic Arguments | ||
| RP924 | 1998 Research Paper | Jamnik,M; Bundy,A; Green,I |
| Verification of Diagrammatic Proofs | ||
| RP873 | 1997 Research Paper | Jamnik,M; Bundy,A; Green,I |
| Automation of Diagrammatic Reasoning | ||
| RP835 | 1996 Research Paper | Jamnik,M; Bundy,A; Green,I |
| Automation of Diagrammatic Proofs in Mathematics | ||
Working Paper | ||
| WP260 | 1996 Working Paper | Jamnik,M |
| Diagrammatic Reasoning Systems | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}