WOLFRAM
Products
Wolfram|One
Mathematica
Wolfram|Alpha Notebook Edition
System Modeler
All Products
Consulting & Solutions
Wolfram Consulting
Industry Solutions
Solutions for Education
Learning & Support
Wolfram U Courses
Wolfram Language Resources
Wolfram Community
Support FAQs
Contact Support
Company
About Wolfram
Careers
Events
Educational Programs
All Sites and Resources
Wolfram|Alpha
Wolfram Cloud
Your Account
Your Account
User Portal
Search
Close
Enable JavaScript to interact with content and submit forms on Wolfram websites.
Learn how
For the newest resources, visit
Wolfram Repositories and Archives »
Mathematics
>
Foundations of Mathematics
SUBSECTIONS
Logic
(42)
Philosophy of Mathematics
(2)
Set Theory
(16)
ITEMS
11
items are in this category. Listing
all
items:
Algorithmic Algorithm Synthesis
[in
MathSource: Packages and Programs
]
Antique Notations
[in
Demos
]
bnf2xml - context search bnf xml trees
[in
MathSource: Packages and Programs
]
Book Review: Playing with Infinity
[in
Articles
]
Classical Mathematics with Mathematica.
[in
Articles
]
Computer-Supported Mathematical Theory Exploration
[in
MathSource: Packages and Programs
]
The Foundations of Mathematics and Mathematica
[in
Articles
]
Höhere Mathematik mit Mathematica, Band 1: Grundlagen, Lineare Algebra
[in
Books
]
A New Kind of Science
-- Programs from the Notes
[in
MathSource: Packages and Programs
]
Theorema: Theorem Proving for the Masses Using Mathematica
[in
Conference Proceedings
]
Two Rectangles Are Constructible with Tangrams: An Enumeration Proof Using Mathematica
[in
Articles
]
Display in one page:
10
|
20
records
For the newest resources, visit Wolfram Repositories and Archives »For the newest resources, visit Wolfram Repositories and Archives »
For the newest resources, visit Wolfram Repositories and Archives »
