by Kuich, Werner, Rahonis, George
Year of Publication 2011

by International Workshop on Mathematics Mechanization, GIAE, Li, Hongbo, Olver, Peter J., Sommer, Gerald
Year of Publication 2005

by Boztas, Serdar, Lu, Hsiao-feng
Year of Publication 2007

by AAECC, Fossorier, Marc, Imai, Hideki, Lin, Shu, Poli, Alain
Year of Publication 2006

by Bayro-Corrochano, Eduardo, Scheuermann, Gerik
Year of Publication 2010