Computer algebra systems as a tool for computer proofs in quantum logic theory.

by

Miroslav Hamouz, Czech Technical University, Prague

Mirko Navara, Czech Technical University, Prague

Available texts:

HTML version (Full article in html-format)

postscript version (Full article as postscript document)

E-MAIL:

• Miroslav Hamouz: xhamouz@lab.felk.cvut.cz,
• Mirko Navara: navara@cmp.felk.cvut.cz

WWW:

• http://cmp.felk.cvut.cz/~navara