David Delahaye, Micaela Mayero. Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. Electronic Notes in Theoretical Computer Science, 151(1):57-73, 2006. [doi]
No reviews for this publication, yet.