Applicable mathematics is a subdiscipline of applied mathematics. It can be difficult to find an exact definition of what consists the subjectâ€¦Â (More)

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

2018

2018

- Arnon Avron, Liron Cohen
- ArXiv
- 2018

In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of differentâ€¦Â (More)

Is this relevant?

2017

2017

- Omprakash Mishra
- 2017

Since time immemorial mathematics has been considered as a boring subject having no real life connections and implicationsâ€¦Â (More)

Is this relevant?

2016

2016

- Arnon Avron, Liron Cohen
- J. Formalized Reasoning
- 2016

In [3] a new framework for formalizing mathematics was developed. The main new features of this framework are that it is based onâ€¦Â (More)

Is this relevant?

2016

2016

- Liron Cohen
- 2016

Formalized mathematics and mathematical knowledge management (MKM) are extremely fruitful and quickly expanding fields ofâ€¦Â (More)

Is this relevant?

2015

2015

- Christopher M. Klinger
- 2015

A major challenge for practitioners in adult mathematics education is to achieve effective learning outcomes in the face ofâ€¦Â (More)

Is this relevant?

2013

2013

We say the sets of nonnegative integers A and B are additive complements if their sum contains all sufficiently large integersâ€¦Â (More)

Is this relevant?

2002

2002

- Solomon Feferman
- 2002

We have good reason to believe our best scientific theories, and mathematical entities are indispensable to those theories, so weâ€¦Â (More)

Is this relevant?

2000

2000

- B. G. Sidharth
- 2000

In this talk, we touch upon the chaotic and fractal aspects of the Universe.Â

Is this relevant?

1980

1980

- Kurt GÃ¶del
- J. Philosophical Logic
- 1980

P. Bernays has pointed out that, in order to prove the consistency of cIassicaJ number theory, it is necessary to extend Hilbertâ€¦Â (More)

Is this relevant?

1977

1977

- David Tall
- 1977

Understanding in mathematics often occurs in significant jumps, accompanied by a clear sense of comprehension, ratter than aâ€¦Â (More)

Is this relevant?