
Mathematical Knowledge Representation: Semantic Models and Formalisms
The paper provides a survey of semantic methods for solution of fundamen...
read it

Three Puzzles on Mathematics, Computation, and Games
In this lecture I will talk about three mathematical puzzles involving m...
read it

Validating Mathematical Structures
With regard to formalizing mathematics in proof assistants, the hierarch...
read it

Automated Conjecturing VII: The Graph Brain Project & Big Mathematics
The Graph Brain Project is an experiment in how the use of automated mat...
read it

Explosive Proofs of Mathematical Truths
Mathematical proofs are both paradigms of certainty and some of the most...
read it

A data analysis of women's trails among ICM speakers
The International Congress of Mathematicians (ICM), inaugurated in 1897,...
read it

Analysing Mathematical Reasoning Abilities of Neural Models
Mathematical reasoninga core ability within human intelligencepres...
read it
Adventures in Mathematical Reasoning
"Mathematics is not a careful march down a wellcleared highway, but a journey into a strange wilderness, where the explorers often get lost. Rigour should be a signal to the historian that the maps have been made, and the real explorers have gone elsewhere." W.S. Anglin, the Mathematical Intelligencer, 4 (4), 1982.
READ FULL TEXT
Comments
There are no comments yet.