Applicable mathematics

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

Topic mentions per year

Topic mentions per year

1973-2018
012319732018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
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)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • table 1
Is this relevant?
2016
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
Formalized mathematics and mathematical knowledge management (MKM) are extremely fruitful and quickly expanding fields of… (More)
  • figure 4.2
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)
  • figure 2
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
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
In this talk, we touch upon the chaotic and fractal aspects of the Universe. 
Is this relevant?
1980
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
Understanding in mathematics often occurs in significant jumps, accompanied by a clear sense of comprehension, ratter than a… (More)
Is this relevant?