A logical approach to abstract algebra
Paper in proceeding, 2005
Theorem proving
Mathematical transformations
Computational methods
Author
Thierry Coquand
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 3526 86-95Amsterdam, Netherlands,
Subject Categories
Algebra and Logic
Mathematics
Computational Mathematics
DOI
10.1007/11494645_12