Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha


	Mathematics > Foundations of Mathematics > Set Theory
	ITEMS

	16 items are in this category. Listing all items:

	bnf2xml - context search bnf xml trees [in MathSource: Packages and Programs] Computer-Supported Mathematical Theory Exploration [in MathSource: Packages and Programs] Counting Non-Isomorphic Relations [in Articles] Discrete Mathematics Package for webMathematica [in MathSource: Packages and Programs] Formal Proofs in Axiomatic Set Theory [in MathSource: Packages and Programs] Fuzzy Set Functions [in MathSource: Packages and Programs] Implementing finite structures in Mathematica via a skeletal topos of finite sets [in Articles] Interactive Mathematics for Teachers [in Courseware and Class Materials] Mathematica One-Liners [in Articles] Mathematica One-Liners [in Articles] The Mathematica Programmer: Fast Computation of Equivalence Classes [in Articles] On Relations [in MathSource: Packages and Programs] Packages for Logic and Set Theory [in MathSource: Packages and Programs] Packages for Logic and Set Theory [in Articles] Reasoning About Iteration in Gödel's Class Theory [in Articles] Routines to Implement Concepts from Lattice Theory [in MathSource: Packages and Programs]
	Display in one page: 10 \| All records