Lemma-generation and rippling tactics in the CADIZ proof system

Shock capturing schemes

Sweby, P.K
Reading Univ. (United Kingdom)

January 1982

SIGLEAvailable from British Library Lending Division - LD:D54681/85 / BLDSC - British Library Docume...

Learning method outlines in proof planning

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

January 2001

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

Berkshire UK

Rg Hx

December 2015

Copyright c © : Lemma 1 Ltd. 2006 0Information on the current status of ProofPower is available on t...

Extensions to the rippling-out tactic for guiding inductive proofs

Bundy, A.
Harmelen, F. van
Smaill, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1990

Available from British Library Document Supply Centre- DSC:3511.638(DAI-RP--459) / BLDSC - British L...

Rippling A heuristic for guiding inductive proofs

Bundy, A.
Stevens, A.
Harmelen, F. van
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--567) / BLDSC - B...

On the bisimulation proof method

Sangiorgi, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

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

Lemmas: Generation, Selection, Application

Rawson, Michael
Wernhard, Christoph
Zombori, Zsolt
Bibel, Wolfgang

January 2023

Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of le...

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

Leverrier's algorithm A new proof and extensions

Barnett, S
Bradford Univ. (United Kingdom). School of Mathematical Sciences

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7673.7004(88/52) / BLDSC - British L...

Patterns and invasions of evolutionarily stable strategies

Cannings, C.
Vickers, G
Sheffield Univ. (United Kingdom). Dept. of Probability and Statistics

January 1988

Available from British Library Document Supply Centre- DSC:7769.0860(SU-DPS-RR--309/88) / BLDSC - Br...

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

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

Continuously generated fixed-points

Bracho-Carpizo, F
Oxford Univ. (United Kingdom)

January 1983

SIGLEAvailable from British Library Lending Division - LD:D54974/85 / BLDSC - British Library Docume...

Planes de prueba y demostracion automatica de teoremas con sugerencias

Negrete, S
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

Text in SpanishAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--661) /...

Spanish causative constructions

Guerra, C.G

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D67238/86 / BLDSC - British Library ...

Shock capturing schemes

Sweby, P.K
Reading Univ. (United Kingdom)

January 1982

SIGLEAvailable from British Library Lending Division - LD:D54681/85 / BLDSC - British Library Docume...

Learning method outlines in proof planning

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

January 2001

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

Berkshire UK

Rg Hx

December 2015

Copyright c © : Lemma 1 Ltd. 2006 0Information on the current status of ProofPower is available on t...

Extensions to the rippling-out tactic for guiding inductive proofs

Bundy, A.
Harmelen, F. van
Smaill, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1990

Available from British Library Document Supply Centre- DSC:3511.638(DAI-RP--459) / BLDSC - British L...

Rippling A heuristic for guiding inductive proofs

Bundy, A.
Stevens, A.
Harmelen, F. van
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--567) / BLDSC - B...

On the bisimulation proof method

Sangiorgi, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

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

Lemmas: Generation, Selection, Application

Rawson, Michael
Wernhard, Christoph
Zombori, Zsolt
Bibel, Wolfgang

January 2023

Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of le...

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

Leverrier's algorithm A new proof and extensions

Barnett, S
Bradford Univ. (United Kingdom). School of Mathematical Sciences

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7673.7004(88/52) / BLDSC - British L...

Patterns and invasions of evolutionarily stable strategies

Cannings, C.
Vickers, G
Sheffield Univ. (United Kingdom). Dept. of Probability and Statistics

January 1988

Available from British Library Document Supply Centre- DSC:7769.0860(SU-DPS-RR--309/88) / BLDSC - Br...

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

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

Continuously generated fixed-points

Bracho-Carpizo, F
Oxford Univ. (United Kingdom)

January 1983

SIGLEAvailable from British Library Lending Division - LD:D54974/85 / BLDSC - British Library Docume...

Planes de prueba y demostracion automatica de teoremas con sugerencias

Negrete, S
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

Text in SpanishAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--661) /...

Spanish causative constructions

Guerra, C.G

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D67238/86 / BLDSC - British Library ...

Shock capturing schemes

Sweby, P.K
Reading Univ. (United Kingdom)

January 1982

SIGLEAvailable from British Library Lending Division - LD:D54681/85 / BLDSC - British Library Docume...

Learning method outlines in proof planning

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

January 2001

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

Berkshire UK

Rg Hx

December 2015

Lemma-generation and rippling tactics in the CADIZ proof system

Abstract

Extracted data

Lemma-generation and rippling tactics in the CADIZ proof system

Abstract

Extracted data

Related items

Related items