Results 1 to 10 of about 3,222,612 (208)
About Pure and Applied Mathematics
BIBECHANA, 2018 No abstract available.
N. Shah
semanticscholar +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
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
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
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
Educational Studies in Mathematics, 2023 The transition from school to university mathematics is a challenging process for many students, which is reflected in high dropout rates during the first year at university.
Sebastian Geisler +2 more
semanticscholar +1 more source
Smart Learning Environments, 2021 In this mixed-methods research, the relationship between four factors of individual online learners and their mathematics self-concept was explored. In addition, the challenges the students faced in learning mathematics online during the Coronavirus ...
R. Bringula +3 more
semanticscholar +1 more source