A Survey on the Theorema Project (1997)

Cached

Download Links

by Bruno Buchberger , Tudor Jebelean , Franz Kriftner , Mircea Marin , Elena Tomuta , Daniela Vasaru , A Schlo Hagenberg
Venue:In International Symposium on Symbolic and Algebraic Computation
Citations:47 - 10 self