Results 1 to 10 of about 683,884 (120)
Mixed-type functional differential equations: A numerical approach [PDF]
, 2009 This is a PDF version of a preprint submitted to Elsevier. The definitive version was published in Journal of computational and applied mathematics and is available at www.elsevier.comThis preprint discusses mixed-type functional ...
Ford, Neville J., Lumb, Patricia M.
core +1 more source
The challenge of computer mathematics [PDF]
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2005 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 +3 more sources
Norman Julius Zabusky OBITUARY [PDF]
, 2018 Norman Julius Zabusky, who laid the foundations for several critical advancements in nonlinear science and experimental mathematics, died of idiopathic pulmonary fibrosis on 5 February 2018 in Beersheba, Israel.
Campbell, David K. +2 more
core +1 more source
Using theoretical-computational conflicts to enrich the concept name of derivative [PDF]
, 2003 Recent literature has pointed out pedagogical obstacles associated with the use of computational environments in the learning of mathematics. In this paper, we focus on the pedagogical role of the computer's inherent limitations in the development of ...
Carvalho, Luiz Mariano +2 more
core +1 more source
Pincherle's theorem in Reverse Mathematics and computability theory
, 2020 We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first
Normann, Dag, Sanders, Sam
core +1 more source
Investigations and explorations in the mathematics classroom [PDF]
, 2007 In Portugal, since the beginning of the 1990s, problem solving became increasingly identified with mathematical explorations and investigations. A number of research studies have been conducted, focusing on students’ learning, teachers’ classroom ...
Ponte, João Pedro da
core +1 more source
Parameterized Algorithmics for Computational Social Choice: Nine Research Challenges [PDF]
, 2014 Computational Social Choice is an interdisciplinary research area involving Economics, Political Science, and Social Science on the one side, and Mathematics and Computer Science (including Artificial Intelligence and Multiagent Systems) on the other ...
Bredereck, Robert +5 more
core +3 more sources
Tropical Effective Primary and Dual Nullstellens\"atze [PDF]
, 2015 Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic
Grigoriev, Dima, Podolskii, Vladimir V.
core +3 more sources
Computational reverse mathematics and foundational analysis [PDF]
, 2018 Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which
Eastaugh, Benedict
core +1 more source
Analysis of moving least squares approximation revisited
, 2015 In this article the error estimation of the moving least squares approximation is provided for functions in fractional order Sobolev spaces. The analysis presented in this paper extends the previous estimations and explains some unnoticed mathematical ...
Mirzaei, Davoud
core +1 more source