# Metamath

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

2018

- 2018

We evaluate six conjectures and one theorem, as proffered by Metamath staff. The conjectures are not tautologous. The Tarski… Expand

Is this relevant?

2016

2016

- FM4M/MathUI/ThEdu/DP/WIP@CIKM
- 2016

Although some work has been done on the metamathematics of Metamath, there has not been a clear definition of a model for a… Expand

Is this relevant?

2016

2016

- 2016

This research aims at studying engineering students’ perceptions of their mathematics courses. We present the methodology of data… Expand

Is this relevant?

2016

2016

- ArXiv
- 2016

I propose a system for Automated Theorem Proving in higher order logic using deep learning and eschewing hand-constructed… Expand

Is this relevant?

2015

2015

- 2015

We present the formalization of Specker's "local" version of the claim that the Generalized Continuum Hypothesis implies the… Expand

Is this relevant?

2015

2015

- 2015

Unlike some other formal systems, the proof system Metamath has no built-in concept of “decimal number” in the sense that… Expand

Is this relevant?

2015

2015

- ArXiv
- 2015

Unlike some other formal systems, the proof system Metamath has no built-in concept of "decimal number" in the sense that… Expand

Is this relevant?

2014

2014

- J. Formalized Reasoning
- 2014

We present an algorithm for converting proofs from the OpenTheory interchange format, which can be translated to and from any of… Expand

Is this relevant?

Review

2014

Review

2014

- 2014

This paper opens a special issue of the Russian-speaking section of the Educational Technology and Society journal. The special… Expand

Is this relevant?

1969

1969

- 1969

Mathematics Revealed 3.1 Logic and Set Theory Set theory can be viewed as a form of exact theology.

Is this relevant?