Results 11 to 20 of about 3,204,797 (388)
Interactions of Computational Complexity Theory and Mathematics [PDF]
arXiv, 2017 $ $[This paper is a (self contained) chapter in a new book, Mathematics and Computation, whose draft is available on my homepage at https://www.math.ias.edu/avi/book ]. We survey some concrete interaction areas between computational complexity theory and different fields of mathematics.
Avi Wigderson
arxiv +3 more sources
Mathematical theory and numerical computation of cavitation in nonlinear elasticity [PDF]
SCIENTIA SINICA Mathematica, 2016 Many soft nonlinear elastic materials, such as polymers, organic tissues, etc., can produce special singular deformation called cavitation under certain conditions. The study of cavitation is an important part of the effort to understand, characterize, analyze and apply the materials.
normalsizesf Su ChunMei, LI ZhiPing
openalex +3 more sources
Interval Mathematics Techniques for Control Theory Computations [PDF]
, 1989 Various types of nonlinear equations or systems of equations arise in elementary and advanced control theory. For example, the transfer function corresponding to a single linear controlled ordinary differential equation is a rational function (cf. eg., [2], Sect. 1.2.).
R. Baker Kearfott
openalex +3 more sources
The computational content of Nonstandard Analysis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs.
Sam Sanders
doaj +6 more sources
Theory of quantum computation and philosophy of mathematics. Part I
Logic and Logical Philosophy, 2010 In the article, the philosophical significance of quantum computation theory for philosophy of mathematics is discussed. In particular, I examine the notion of “quantum-assisted proof” (QAP); the discussion sheds light on the problem of the nature of mathematical proof; the potential empirical aspects of mathematics and the realism-antirealism debate ...
Krzysztof Wójtowicz
openalex +6 more sources
A mathematical theory of randomized computation, I [PDF]
Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1988 Shinichi Yamada
openalex +6 more sources
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
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
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
On the computational properties of basic mathematical notions [PDF]
Journal of Logic and Computation, 2022 We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation, suprema, and ...
D. Normann, Sam Sanders
semanticscholar +1 more source