|
 
|
[DM05a] Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System
Conférence Internationale avec comité de lecture : Calculemus, University of Newcastle upon Tyn (United Kingdom), January 2005, Vol. 151(1), pp.57-73, Series ENTCS,
motcle:
BibTeX
| @inproceedings { | |||
| DM05a, | |||
| title | = | "{Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System}", | |
| author | = | " D. Delahaye and M. Mayero ", | |
| booktitle | = | "{Calculemus, University of Newcastle upon Tyn (United Kingdom)}", | |
| year | = | 2005, | |
| month | = | "January", | |
| series | = | "ENTCS", | |
| volume | = | 151, | |
| issue | = | 1, | |
| pages | = | "57-73", | |
| } | |||
