Results 21 to 30 of about 491,707 (327)
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
Open sets in computability theory and reverse mathematics [PDF]
Journal of Logic and Computation, 2020 AbstractTo 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 influence of this extra data and structure is on the logical and computational properties ...
Sam Sanders, Dag Normann
openaire +3 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 +7 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
An inertial extrapolation method for multiple-set split feasibility problem
Journal of Inequalities and Applications, 2020 In this paper, we propose an iterative algorithm with inertial extrapolation to approximate the solution of multiple-set split feasibility problem. Based on Lopez et al. (Inverse Probl.
Guash Haile Taddele +2 more
doaj +1 more source
Современные информационные технологии и IT-образование, 2021 Some aspects of the process of mathematical modeling and computational experiment are considered. The modeling process is considered as a method of predicting the behavior of dynamic systems and processes, which allows implementing a chain from a full ...
Sergey Strebulyaev, Daria Sirotkina
doaj +1 more source
THE DEVELOPMENT OF STUDENTS APPLIED MATHEMATICAL THINKING IN TEACHING INVERSE AND ILL-POSED PROBLEMS
RUDN Journal of Informatization in Education, 2017 In the article the author draws the reader’s attention to the fact that, while mastering the process of learning the theory and methodology of inverse and ill-posed problems, students not only form the fundamental knowledge in the field of inverse and ...
V S Kornilov
doaj +1 more source
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation [PDF]
PeerJ Computer Science, 2023 Acquiring reliable knowledge amidst uncertainty is a topical issue of modern science. Interval mathematics has proved to be of central importance in coping with uncertainty and imprecision.
Hend Dawood, Nefertiti Megahed
doaj +2 more sources
Amorphous computing: examples, mathematics and theory [PDF]
Natural Computing, 2013 The cellular automata model was described by John von Neumann and his friends in the 1950s as a representation of information processing in multicellular tissue. With crystalline arrays of cells and synchronous activity, it missed the mark (Stark and Hughes, BioSystems 55:107-117, 2000). Recently, amorphous computing, a valid model for morphogenesis in
openaire +3 more sources
Advances in Difference Equations, 2021 This paper provides iterative construction of a common solution associated with the classes of equilibrium problems (EP) and split convex feasibility problems.
Yasir Arfat +4 more
doaj +1 more source