Sciweavers

75
Voted
AISC
2008
Springer
15 years 26 days ago
Effective Set Membership in Computer Algebra and Beyond
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
James H. Davenport