Increasing the versatility of heuristic based theorem provers

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

An attempt to map the performance of a range of algorithm and heuristic combinations

Kwan, A.C.
Borrett, J.E.
Tsang, E.P.
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1994

Available from British Library Document Supply Centre-DSC:9109.3968(210) / BLDSC - British Library D...

Understanding mathematics Proof and childrens autonomous judgements

Porteous, K.

January 1988

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

Studies in the completeness and efficiency of theorem-proving by resolution

Kowalski, R

January 1970

SIGLEAvailable from British Library Document Supply Centre- DSC:D74096/87 / BLDSC - British Library ...

Use of a theorem prover for transformational synthesis

Koelmans, A.M.
Burns, F.P.
Kinniment, D.J
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - B...

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

A subsumption architecture for theorem proving

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1995

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

The use of proof planning for cooperative theorem proving

Lowe, H.
Bundy, A.
McLean, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1995

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

Heuristic knowledge representation and evidence combination parallelization

Hong, X.

January 2001

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

General techniques for automatic program optimization and synthesis through theorem proving

Madden, P.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

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

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

Solving large scale distribution problems using heuristic algorithms

Sohrabi, B.

January 2000

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

PROBE A meta-heuristic for combinatorial optimisation problems

Barake, M.

January 2001

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

The foundation of a generic theorem prover

Paulson, L.C
Cambridge Univ. (United Kingdom). Computer Lab

January 1988

Rev. version of CU-CL-TR--113Available from British Library Document Supply Centre- DSC:8723.247(CU-...

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

An attempt to map the performance of a range of algorithm and heuristic combinations

Kwan, A.C.
Borrett, J.E.
Tsang, E.P.
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1994

Available from British Library Document Supply Centre-DSC:9109.3968(210) / BLDSC - British Library D...

Understanding mathematics Proof and childrens autonomous judgements

Porteous, K.

January 1988

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

Studies in the completeness and efficiency of theorem-proving by resolution

Kowalski, R

January 1970

SIGLEAvailable from British Library Document Supply Centre- DSC:D74096/87 / BLDSC - British Library ...

Use of a theorem prover for transformational synthesis

Koelmans, A.M.
Burns, F.P.
Kinniment, D.J
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - B...

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

A subsumption architecture for theorem proving

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1995

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

The use of proof planning for cooperative theorem proving

Lowe, H.
Bundy, A.
McLean, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1995

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

Heuristic knowledge representation and evidence combination parallelization

Hong, X.

January 2001

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

General techniques for automatic program optimization and synthesis through theorem proving

Madden, P.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

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

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

Solving large scale distribution problems using heuristic algorithms

Sohrabi, B.

January 2000

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

PROBE A meta-heuristic for combinatorial optimisation problems

Barake, M.

January 2001

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

The foundation of a generic theorem prover

Paulson, L.C
Cambridge Univ. (United Kingdom). Computer Lab

January 1988

Rev. version of CU-CL-TR--113Available from British Library Document Supply Centre- DSC:8723.247(CU-...

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

An attempt to map the performance of a range of algorithm and heuristic combinations

Kwan, A.C.
Borrett, J.E.
Tsang, E.P.
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1994

Available from British Library Document Supply Centre-DSC:9109.3968(210) / BLDSC - British Library D...

Understanding mathematics Proof and childrens autonomous judgements

Porteous, K.

January 1988

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

Increasing the versatility of heuristic based theorem provers

Abstract

Extracted data

Related items

Related items