Mathematics
>
Foundations of Mathematics
SUBSECTIONS
Logic
(8)
Philosophy of Mathematics
(1)
Set Theory
(7)
ITEMS
3
items are in this category. Listing
all
items:
Algorithmic Algorithm Synthesis
Computer-Supported Mathematical Theory Exploration
A New Kind of Science
-- Programs from the Notes
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter:
