Results 291 to 300 of about 4,880,009 (349)
, 2018 Some of the next articles are maybe not open access.
Related searches:
Related searches:
Machine Learning and Computational Mathematics
Communications in Computational Physics, 2020Neural network-based machine learning is capable of approximating functions in very high dimension with unprecedented efficiency and accuracy. This has opened up many exciting new possibilities, not just in traditional areas of artificial intelligence ...
Weinan E
semanticscholar +1 more source
Computer-Oriented Mathematics: Computers in Mathematics Education
The Mathematics Teacher, 1969The advent of the computer has served as a catalyst to the turmoil in mathematics and mathematics education during the past decade. Mathematicians have run the gamut from 1950 when only a few innovative souls ventured to use computers to explore solutions of mathematical relationships to the present time when a majority of those who make extensive use ...
Walter Koetke, Charles J. Zoet
openaire +1 more source
Computational thinking and mathematics using Scratch: an experiment with sixth-grade students
Interactive Learning Environments, 2019The potential benefits from the introduction of programming environments such as Scratch for learning mathematics has reactivated research in this area.
J. Rodríguez-Martínez +2 more
semanticscholar +1 more source
Computational Thinking, Mathematics, and Science: Elementary Teachers’ Perspectives on Integration
The Journal of Technology and Teacher Education, 2019In order to create professional development experiences, curriculum materials, and policies that support elementary school teachers to embed computational thinking (CT) in their teaching, researchers and teacher educators must understand ways teachers ...
Kathryn M. Rich, Aman Yadav, C. Schwarz
semanticscholar +1 more source
Nonconstructive Computational Mathematics
Journal of Automated Reasoning, 1998This paper is in the nature of a survey, and has two aspects. The first is about the proof-theoretic strength of \(\text{PRA}^*\), primitive recursive arithmetic strengthened by application of the minimum operator at most once. The second aspect is a comparison of \(\text{PRA}^*\) and the Boyer-Moore theorem prover NQTHM.
openaire +2 more sources