Results 41 to 50 of about 491,707 (327)
AIMS Mathematics, 2016 Over the recent years the importance of numerical experiments has gradually been more recognized. Nonetheless, su cient documentation of how computational results have been obtained is often not available.
Jörg Fehr +3 more
doaj +1 more source
The Ontological Role of Applied Mathematics in Virtual Worlds
Philosophies, 2022 In this paper, I will argue that with the emergence of digital virtual worlds (in video games, animation movies, etc.) by the animation industry, we need to rethink the role and authority of mathematics, also from an ontological point of view.
Miklós Hoffmann
doaj +1 more source
Guarded Cubical Type Theory: Path Equality for Guarded Recursion [PDF]
, 2016 This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics,
Birkedal, Lars +5 more
core +2 more sources
Jurnal Math Educator Nusantara: Wahana Publikasi Karya Tulis Ilmiah di Bidang Pendidikan Matematika, 2021 The implementation of online learning in computational mathematics courses has encountered various obstacles in addition to the decline in student learning outcomes. Therefore, research is aimed to explore student perceptions of online learning that has
Filda Febrinita, Wahyu Dwi Puspitasari
doaj +1 more source
Introduction to Gestural Similarity in Music. An Application of Category Theory to the Orchestra
, 2018 Mathematics, and more generally computational sciences, intervene in several aspects of music. Mathematics describes the acoustics of the sounds giving formal tools to physics, and the matter of music itself in terms of compositional structures and ...
Mannone, Maria
core +1 more source
Hodge Theory on Metric Spaces [PDF]
, 2011 Hodge theory is a beautiful synthesis of geometry, topology, and analysis, which has been developed in the setting of Riemannian manifolds. On the other hand, spaces of images, which are important in the mathematical foundations of vision and pattern ...
A. Zomorodian +40 more
core +2 more sources
Scientific Reports, 2021 The numerical analysis of MHD boundary layer non-Newtonian micropolar fluid due to an exponentially curved stretching sheet is developed in this study. In the energy equation effects of viscous dissipation are included.
Qiu-Hong Shi +5 more
doaj +1 more source
Matrix Structure Exploitation in Generalized Eigenproblems Arising in Density Functional Theory
, 2009 In this short paper, the authors report a new computational approach in the context of Density Functional Theory (DFT). It is shown how it is possible to speed up the self-consistent cycle (iteration) characterizing one of the most well-known DFT ...
Bientinesi, Paolo +4 more
core +1 more source
Structural results on convexity relative to cost functions
, 2012 Mass transportation problems appear in various areas of mathematics, their solutions involving cost convex potentials. Fenchel duality also represents an important concept for a wide variety of optimization problems, both from the theoretical and the ...
A. Karakhanyan +13 more
core +1 more source
Common workflows for computing material properties using different quantum engines
npj Computational Materials, 2021 The prediction of material properties based on density-functional theory has become routinely common, thanks, in part, to the steady increase in the number and robustness of available simulation packages.
Sebastiaan P. Huber +25 more
doaj +1 more source