|
 
|
[DM05] Dealing with Algebraic Expressions over a Field in Coq using Maple
Revue Internationale avec comité de lecture : Journal JSC, vol. 39(5), pp. 569-592, 2005
motcle:
BibTeX
| @article { | |||
| DM05, | |||
| title | = | "{Dealing with Algebraic Expressions over a Field in Coq using Maple}", | |
| author | = | "D. Delahaye and M. Mayero", | |
| journal | = | "JSC", | |
| year | = | 2005, | |
| volume | = | 39, | |
| number | = | 5, | |
| pages | = | "569-592", | |
| } | |||
