Mathematics
>
Foundations of Mathematics
SUBSECTIONS
Logic
(41)
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
]
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 Logic of Exceptions
[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
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter:
