Certified exact transcendental real number computation in Co…
Certified exact transcendental real number computation in Coq
eBook
Authors:
Russell O%27Connor
Page:
-261
Published:
2008
ISBN:
9783540710677
We were unable to find direct full text links for this item.