Netvouz / AllanBaasch / folder / ProvenMath http://netvouz.com/AllanBaasch/folder/8994295057454906861/Programming+H+-+P+P+PROTEGE+MISC+MATH+ProvenMath?feed=rss AllanBaasch's bookmarks in folder ProvenMath on Netvouz About the ProvenMath Project http://www.apronus.com/provenmath/about_provenmath.htm Apronus.com Programming > H - P > P > PROTEGE > MISC > MATH > ProvenMath AllanBaasch Sat, 01 Mar 2008 08:36:50 GMT Cartesian Product, Relation and Function http://www.apronus.com/provenmath/cartesian.htm Apronus.com Programming > H - P > P > PROTEGE > MISC > MATH > ProvenMath AllanBaasch Sat, 01 Mar 2008 08:36:18 GMT