Results 21 to 30 of about 693,162 (317)
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
Radiative MHD thin film flow of Williamson fluid over an unsteady permeable stretching sheet
Heliyon, 2018 In this research work we have examined the flow of Williamson liquid film fluid with heat transmission and having the impact of thermal radiation embedded in a permeable medium over a time dependent stretching surface.
Zahir Shah +4 more
doaj +1 more source
International Journal of STEM Education, 2023 Background There exist shared competencies between computational thinking (CT) and mathematics, and these two domains also mutually benefit from various teaching approaches. However, the linkages between mathematics and computational thinking lack robust
Silvia Wen-Yu Lee +3 more
doaj +1 more source
High precision computing of definite integrals with .net framework c# and x-mpir
Cybernetics and Information Technologies, 2014 This paper concerns high precision numerical computing of definite integrals in a specific environment, namely .NET Framework. The work is a part of a series, tracing the progress of creating tools for high precision computations in this environment and ...
Dzhambov Velichko
doaj +1 more source
Heliyon, 2019 We develop the new Kumaraswamy Log-Logistic Weibull (KLLoGW) distribution by combining the Kumaraswamy and Log-logistic Weibull distributions. This new model is flexible for modelling lifetime data. Some statistical properties including quantile function,
P. Mdlongwa +4 more
doaj +1 more source
Matter and Radiation at Extremes, 2021 We report significant differences in high-pressure properties of vanadium at zero temperature and finite temperature when different projector augmented wave (PAW) potentials are used in simulations based on density functional theory. When a PAW potential
Tingting Zhang +8 more
doaj +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
Solutions of nonlinear real world problems by a new analytical technique
Heliyon, 2018 Here a new analytical scheme is presented to solve nonlinear boundary value problems (BVPs) of higher order occurring in nonlinear phenomena. This method is called second alternative of Optimal Homotopy Asymptotic Method.
Liaqat Ali +4 more
doaj +1 more source
Heliyon, 2020 This investigation addresses the influence of a buoyancy force on the flow of a couple stress hydromagnetic heat generating fluid across a porous channel with isothermal boundaries.
Anthony R. Hassan +2 more
doaj +1 more source
LUMAT, 2023 Computational thinking has become part of the mathematics curriculum in several countries. This has led recently available teaching resources to explicitly integrate computational thinking (CT).
Raimundo Elicer +3 more
doaj +1 more source