Academic
Publications
The Theorema project: A progress report

The Theorema project: A progress report,B. Buchberger,C. Dupre,T. Jebelean,F. Kriftner,K. Nakagawa,D. Vasaru,W. Windsteiger

The Theorema project: A progress report   (Citations: 76)
BibTex | RIS | RefWorks Download
Published in 2000.
Cumulative Annual
Sort by: