Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

Adrian Craciun; Bruno Buchberger

Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the MKM 03 Symposium, Heriot-Watt University, Edingburgh 25-29 November 2003, ENTCS volume dedicated to teh MKM 03 Symposium
Publisher	Elsevier
Number of pages	15
ISBN (Print)	044451290X
Publication status	Published - 2003

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

@inproceedings{7c11cceb64ec4985ad82a483021587e4,

title = "Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema",

author = "Adrian Craciun and Bruno Buchberger",

year = "2003",

language = "English",

isbn = "044451290X",

booktitle = "Proceedings of the MKM 03 Symposium, Heriot-Watt University, Edingburgh 25-29 November 2003, ENTCS volume dedicated to teh MKM 03 Symposium",

publisher = "Elsevier",

}

Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. / Craciun, Adrian; Buchberger, Bruno.
Proceedings of the MKM 03 Symposium, Heriot-Watt University, Edingburgh 25-29 November 2003, ENTCS volume dedicated to teh MKM 03 Symposium. Elsevier, 2003.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review