View of Computer Algebra Data from Coq

Vladimir Komendantsky, Alexander Konovalov, Steve Linton. View of Computer Algebra Data from Coq. In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe, editors, Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Volume 6824 of Lecture Notes in Computer Science, pages 74-89, Springer, 2011. [doi]


Abstract is missing.