Publication View

Electronic communication of mathematics and the interaction of computer algebras systems and proof assistants (2001)

Publication details

Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article
Language	Englisch