Division of Informatics

Forrest Hill & 80 South Bridge

| ||

## 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 |