Results 1 to 10 of about 67,243 (217)
The challenge of computer mathematics [PDF]
Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematical concepts, algorithms and proofs in one language and in an impeccable way. This is not in spite of, but partially based on the famous results of Gödel and Turing.
Barendregt, H.P., Wiedijk, F.
openaire +4 more sources
Computational Mathematics with SageMath [PDF]
International ...
Zimmermann, Paul+15 more
openaire +5 more sources
Computers in mathematics [PDF]
Computer Approaches to Mathematical Problems. By Jurg Nievergelt, J. Craig Farrar and Edward M. Reingold. Pp. xii+267. (Prentice-Hall, Englewood Cliffs, 1973.) $8.95.
openaire +2 more sources
Mathematical and computational modeling of flexoelectricity
We first revisit the mathematical modeling of the flexoelectric effect in the context of continuum mechanics at infinitesimal deformations. We establish and clarify the relation between the different formulations, point out theoretical and numerical issues related to the resulting boundary value problems, and present the natural extension to finite ...
D. Codony+3 more
openaire +3 more sources
Computational Mathematics and Neural Systems [PDF]
This special issue was conceived to explore the latest advancements in the field of computational techniques for solving forward and inverse problems [...]
Stefania Tomasiello+2 more
openaire +4 more sources
Mathematics: A life computed [PDF]
James Poskett navigates a sophisticated account of Alan Turing's extraordinarily varied intellectual world.
openaire +2 more sources
Computational Thinking and Mathematics
This chapter deals with the recent development of Computational Thinking (CT) in the curricula of many countries, principally in mathematics. It aims at discussing, broadly, how CT changes the mathematical activity and impacts mathematical contents. More precisely, we study the relations between mathematics, computer science, mathematical thinking and ...
Broley, Laura+4 more
openaire +2 more sources
Mathematics of topological quantum computing [PDF]
In topological quantum computing, information is encoded in “knotted” quantum states of topological phases of matter, thus being locked into topology to prevent decay. Topological precision has been confirmed in quantum Hall liquids by experiments to an accuracy of10−1010^{-10}and harnessed to stabilize quantum memory.
Zhenghan Wang, Eric C. Rowell
openaire +3 more sources
Computational and Mathematical Methods in Medicine [PDF]
This issue marks a transition and a changing of the guard for Computational and Mathematical Methods in Medicine (CMMM). It is with some nostalgia that we look back on our long and illustrious association with Taylor and Francis; however, at the same time we look to the future with optimism and hope as Hindawi takes the helm and converts CMMM to the ...
Sivabal Sivaloganathan, Pamela F. Jones
openaire +3 more sources
Computers and mathematics education
AbstractThe two main arguments of this paper are: first, that it is important for our society of the near future that every educated person understand some of the principles on which computers operate; and second, that there is an important relationship between mathematics education and computers, both in the sense that the mathematics curriculum can ...
openaire +2 more sources