Publicações

Designing an Algorithmic Proof of the Two-Squares Theorem

AuthID
P-00A-8Z0

Author(s)

Ferreira, JF

Tipo de Documento

Proceedings Paper

Year published

2010

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 6120 LNCS, Páginas: 140-156

Conference

10Th International Conference on the Mathematics of Program Construction, Mpc 2010, Date: 21 June 2010 through 23 June 2010, Location: Quebec City, QC, Patrocinadores: Universite Laval;Universite de Montreal, Centre de Recherches Mathematiques

Indexing