Mathematical Theory Exploration

Bruno Buchberger
2006 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
doi:10.1109/synasc.2006.50 dblp:conf/synasc/Buchberger06 fatcat:h6zis2ygf5d33answ3hupgnp4u