View of Computer Algebra Data from Coq

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Research output: Contribution to conference › Paper › peer-review

1 results

Filter

Finished
1 Symbolic Compulation Infra' 026133: Symbolic computation infrastructure for Europe
Linton, S. A. (PI) & Hammond, K. (CoI)
European Commission
1/04/06 → 31/12/11
Project: Standard