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]

Authors

Vladimir Komendantsky

This author has not been identified. Look up 'Vladimir Komendantsky' in Google

Alexander Konovalov

This author has not been identified. Look up 'Alexander Konovalov' in Google

Steve Linton

This author has not been identified. Look up 'Steve Linton' in Google