OurBigBook
About
$
Donate
Sign in
Sign up
Entity formalizing mathematics
Ciro Santilli
(
@cirosantilli,
40
)
Mathematics
Area of mathematics
Formalization of mathematics
2026-02-08
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Table of contents
expMath
Entity formalizing mathematics
expMath
0
0
0
Entity formalizing mathematics
Tags:
DARPA project
www.darpa.mil/research/programs/expmath-exponential-mathematics
Funded for example
Math, Inc
as
mentioned at:
www.math.inc/gauss
.
Ancestors
(4)
Formalization of mathematics
Area of mathematics
Mathematics
Home
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version