Automation of diagrammatic proofs in mathematics

Combining interaction and automation in process algebra verification

Camilleri, A.
Inverardi, P.
Nesi, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-13) / BLDSC - Bri...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...

Using and computing symmetry in geometry proofs

Fearnley-Sander, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--257) / BLDSC - Brit...

On automating diagrammatic proofs of arithmetic arguments

Jamnik, M.
Bundy, A.
Green, I.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(910) / BLDSC - British Libra...

Verification of diagrammatic proofs

Jamnik, M.
Bundy, A.
Green, I.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(924) / BLDSC - British Libra...

The automation of proof A historical and sociological exploration

McKenzie, D
Edinburgh Univ. (United Kingdom). Programme on Information and Communication Technologies (PICT)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:3661.0182(EU-PICT-WP--56) / BLDSC - ...

Understanding mathematics Proof and childrens autonomous judgements

Porteous, K.

January 1988

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN018893 / BLDSC - British Library D...

A framework for diagrammatic reasoning

Rudin, Paul

January 2001

Available from British Library Document Supply Centre- DSC:DN056544 / BLDSC - British Library Docume...

Computer assessement in mathematics

Wild, D.G

January 1996

Available from British Library Document Supply Centre-DSC:DXN006883 / BLDSC - British Library Docume...

Automation of diagrammatic reasoning

Mateja Jamnik
Alan Bundy
Ian Green

January 1997

Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is...

Point-based mathematics for computer-aided manufacture

Fisher, M.

January 2000

Available from British Library Document Supply Centre-DSC:DXN048118 / BLDSC - British Library Docume...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

Solving the problem of mathematics

Harding, R
Staff College, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5678.44238(19) / BLDSC - British Lib...

Assessing, planning and recording in mathematics

Griffin, P.
Holding, K.
Owen, D.
Devon County Council, Exeter (United Kingdom). Dept. of Education

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:OP-LG/8449 / BLDSC - British Library ...

A proof assistant for symbolic model checking

Bradfield, J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-199) / BLDSC ...

Combining interaction and automation in process algebra verification

Camilleri, A.
Inverardi, P.
Nesi, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-13) / BLDSC - Bri...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...

Using and computing symmetry in geometry proofs

Fearnley-Sander, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--257) / BLDSC - Brit...

On automating diagrammatic proofs of arithmetic arguments

Jamnik, M.
Bundy, A.
Green, I.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(910) / BLDSC - British Libra...

Verification of diagrammatic proofs

Jamnik, M.
Bundy, A.
Green, I.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(924) / BLDSC - British Libra...

The automation of proof A historical and sociological exploration

McKenzie, D
Edinburgh Univ. (United Kingdom). Programme on Information and Communication Technologies (PICT)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:3661.0182(EU-PICT-WP--56) / BLDSC - ...

Understanding mathematics Proof and childrens autonomous judgements

Porteous, K.

January 1988

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN018893 / BLDSC - British Library D...

A framework for diagrammatic reasoning

Rudin, Paul

January 2001

Available from British Library Document Supply Centre- DSC:DN056544 / BLDSC - British Library Docume...

Computer assessement in mathematics

Wild, D.G

January 1996

Available from British Library Document Supply Centre-DSC:DXN006883 / BLDSC - British Library Docume...

Automation of diagrammatic reasoning

Mateja Jamnik
Alan Bundy
Ian Green

January 1997

Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is...

Point-based mathematics for computer-aided manufacture

Fisher, M.

January 2000

Available from British Library Document Supply Centre-DSC:DXN048118 / BLDSC - British Library Docume...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

Solving the problem of mathematics

Harding, R
Staff College, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5678.44238(19) / BLDSC - British Lib...

Assessing, planning and recording in mathematics

Griffin, P.
Holding, K.
Owen, D.
Devon County Council, Exeter (United Kingdom). Dept. of Education

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:OP-LG/8449 / BLDSC - British Library ...

A proof assistant for symbolic model checking

Bradfield, J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-199) / BLDSC ...

Combining interaction and automation in process algebra verification

Camilleri, A.
Inverardi, P.
Nesi, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-13) / BLDSC - Bri...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...

Using and computing symmetry in geometry proofs

Fearnley-Sander, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--257) / BLDSC - Brit...

Automation of diagrammatic proofs in mathematics

Abstract

Extracted data

Automation of diagrammatic proofs in mathematics

Abstract

Extracted data

Related items

Related items