A Complete Method for Algorithm Validation

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

Original language	English
Title of host publication	Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09
Editors	B. Buchberger, R. McCasland, A. Craciun
Place of Publication	Hagenberg, Austria
Pages	21-25
Number of pages	5
Publication status	Published - Jun 2009

Fields of science

@inproceedings{bf90a56f111f41c9875a7844777fe032,

title = "A Complete Method for Algorithm Validation",

author = "Nikolaj Popov and Tudor Jebelean",

year = "2009",

month = jun,

language = "English",

pages = "21--25",

editor = "\{B. Buchberger, R. McCasland, A. Craciun\}",

booktitle = "Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09",

}