Affiliation: | 1. Department of Mathematics, North Carolina State University, Raleigh, NC, 27695-8205, USA;2. School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada;3. Key Lab of Mathematics Mechanization, AMSS, Beijing 100080, China |