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 effective set membership, starting with Gr

• Type: Conference
• Year: 2008
• Where: AISC
• Authors: James H. Davenport
• Keywords: AISC 2008, Algebra Systems, Artificial Intelligence, Effective Set Membership, Set Membership