Results 1 to 10 of about 3,272,917 (354)
About Pure and Applied Mathematics
Bibechana, 2018 No abstract available.
Nagendra Prasad Shah
doaj +7 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
Mathematics, word problems, common sense, and artificial intelligence [PDF]
Bulletin of the American Mathematical Society, 2023 The paper discusses the capacities and limitations of current artificial intelligence (AI) technology to solve word problems that combine elementary mathematics with commonsense reasoning. No existing AI systems can solve these reliably.
E. Davis
semanticscholar +1 more source
European Journal for Philosophy of Science, 2021 In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general.
José Antonio Pérez-Escobar +1 more
semanticscholar +1 more source
Mathematical Modeling of Wax Deposition in Field-Scale Crude Oil Pipeline Systems
Journal of Applied Mathematics, 2022 The formation of solid wax crystals, which interlock and form a gel-like layer on the inner wall of the crude oil pipeline, influences the transportation of waxy crude oil. The deposited layer grows continuously and hardens during the oil transportation,
Francis Oketch Ochieng +3 more
doaj +1 more source
Hydromagnetic Non-Newtonian Fluid Flow in a Convergent Conduit
Journal of Applied Mathematics, 2022 In the present study, a hydromagnetic non-Newtonian (dilatant) fluid flow in a convergent conduit, in the presence of a variable transverse magnetic field, has been investigated.
Njue Caroline Wawira +2 more
doaj +1 more source
Advancing mathematics by guiding human intuition with AI
Nature, 2021 The practice of mathematics involves discovering patterns and using these to formulate and prove conjectures, resulting in theorems. Since the 1960s, mathematicians have used computers to assist in the discovery of patterns and formulation of ...
A. Davies +13 more
semanticscholar +1 more source
Computing some Laplacian Coefficients of Forests
Journal of Applied Mathematics, 2022 Let G be a finite simple graph with Laplacian polynomial ψG,λ=∑k=0n−1n−kckλk. In an earlier paper, the coefficients cn−4 and cn−5 for forests with respect to some degree-based graph invariants were computed. The aim of this paper is to continue this work
Ali Ghalavand, Ali Reza Ashrafi
doaj +1 more source