| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9655866 | Electronic Notes in Theoretical Computer Science | 2005 | 8 Pages |
Abstract
We explore several ways of constructively implementing vectors in proof assistants and we discuss their advantages and their drawbacks.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jean Duprat,