Results 1 to 10 of about 2,671,214 (312)
About Pure and Applied Mathematics
Bibechana, 2018 No abstract available.
Nagendra Prasad Shah
doaj +7 more sources
Courses in Higher Pure Mathematics [PDF]
Science, 1911 n ...
George A. Miller
openalex +6 more sources
American Journal of Mathematics, Pure and Applied [PDF]
Nature, 1880 THE American Journal of Mathematics was established in 1878 under the auspices of the Johns Hopkins University at Baltimore, and four handsome quarto volumes of 400 pages each have now been published. Prof. Sylvester was editor-in-chief of the first three volumes, being assisted by Mr.
J. Glaisher
semanticscholar +3 more sources
Qualitative (pure) mathematics as an alternative to measurement. [PDF]
Front PsycholThis paper focuses on the possible usage of qualitative mathematics in psychology. Qualitative mathematics is understood to be equivalent to pure mathematics. First, it is explained that mathematics is a discipline studying patterns in reproducible mental objects.
Linkov V.
europepmc +4 more sources
Expander Graphs in Pure and Applied Mathematics [PDF]
Bulletin of the American Mathematical Society, 2011 This paper is based on notes prepared for the Colloquium Lectures at the Joint Annual Meeting of the American Mathematical Society (AMS) and the Mathematical Association of America (MAA).
Alexander Lubotzky
openalex +5 more sources
On the Importance of Pure Mathematics [PDF]
Journal of Mathematics and Statistics, 2014 F. Kachapova
semanticscholar +3 more sources
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge, 2007 We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated theorem provers, programs designed to generate examples, mathematical databases, and theory formation programs on the body of knowledge in pure mathematics. We discuss to what extent the
S. Colton
semanticscholar +3 more sources
German Idealism and the Origins of Pure Mathematics: Riemann, Dedekind, Cantor [PDF]
Journal of Philosophical Investigations, 2021 When it comes to the relation of modern mathematics and philosophy, most people tend to think of the three major schools of thought—i.e. logicism, formalism, and intuitionism—that emerged as profound researches on the foundations and nature of ...
Ehsan Karimi Torshizi
doaj +1 more source
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics [PDF]
arXiv.org, 2023 We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a natural language theorem ...
Zhangir Azerbayev +5 more
semanticscholar +1 more source