Results 1 to 10 of about 61,598 (308)
Open sets in computability theory and reverse mathematics [PDF]
Journal of Logic and Computation, 2019 To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this paper, what the
D. Normann, Sam Sanders
semanticscholar +4 more sources
Pincherle's theorem in reverse mathematics and computability theory [PDF]
Annals of Pure and Applied Logic, 2018 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
D. Normann, Sam Sanders
semanticscholar +7 more sources
Inverse Optimization: Theory and Applications [PDF]
Operational Research, 2021 A Review of Inverse Optimization In recent years, there has been an explosion of interest in the mathematics and applications of inverse optimization.
T. Chan, Rafid Mahmood, Ian Yihang Zhu
semanticscholar +1 more source
Sustainable Research Software Hand-Over
Journal of Open Research Software, 2021 Scientific software projects evolve rapidly in their initial development phase, yet at the end of a funding period, the completion of a research project, thesis, or publication, further engagement in the project may slow down or cease completely.
J. Fehr, C. Himpe, S. Rave, J. Saak
doaj +1 more source
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis [PDF]
Journal of Logic and Computation, 2020 The Axiom of Choice (AC for short) is the most (in)famous axiom of the usual foundations of mathematics, ZFC set theory. The (non-)essential use of AC in mathematics has been well-studied and thoroughly classified.
D. Normann, Sam Sanders
semanticscholar +1 more source
Frontiers in Applied Mathematics and Statistics, 2022 The control of general nonlinear systems is a challenging task in particular for large-scale models as they occur in the semi-discretization of partial differential equations (PDEs) of, say, fluid flow.
Jan Heiland +4 more
doaj +1 more source
Journal of mathematics and mathematics education, 2022 This study intends to carry out a bibliometric analysis to answer the following research questions: What is the annual increase in publications of constructionism, constructivism, and computational thinking, and mathematics education?; Who are the most ...
Edi Supriyadi, J. A. Dahlan
semanticscholar +1 more source
Integration of computational thinking activities in Grade 10 mathematics learning
International Journal of Research In Business and Social Science, 2023 This study explored integrating computational thinking (CT) activities in mathematics learning in Grade 10 classrooms in South African township, suburban and independent schools.
Sam Ramaila, Hlulani Shilenge
semanticscholar +1 more source
The concept of computational thinking in mathematics education
Journal of Mathematics and Science Teacher, 2023 This article is part of an investigation that aimed to develop, from conceptual nexuses and assumptions of cultural-historical theory, the theoretical concept of computational thinking for its development in mathematics education.
Eloisa Rosotti Navarro +1 more
semanticscholar +1 more source
Scientific Reports, 2022 Electro-osmotic flow via a microchannel has numerous uses in the contemporary world, including in the biochemical and pharmaceutical industries. This research explores the electroosmotic flow of Casson-type nanofluid with Sodium Alginate nanoparticles ...
Dolat Khan +5 more
doaj +1 more source