Results 41 to 50 of about 613,077 (145)
Arithmetic, Set Theory, Reduction and Explanation [PDF]
, 2018 Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress.
D’Alessandro, William
core
On the supersingular reduction of K3 surfaces with complex multiplication [PDF]
, 2017 We study the good reduction modulo p of K3 surfaces with complex multiplication. If a K3 surface with complex multiplication has good reduction, we calculate the Picard number and the height of the formal Brauer group of the reduction.
Ito, Kazuhiro
core +1 more source
Special L-values of t-motives: a conjecture
, 2008 We propose a conjecture on special values of $ L $-functions in a function field context with positive characteristic coefficients. For $ M $ a uniformizable $ t $-motive with everywhere good reduction we conjecture a relation between the value of the ...
Anderson +21 more
core +1 more source
Etnomatematika: Eksplorasi Budaya Sasak sebagai Sumber Belajar Matematika Sekolah Dasar
JRPM (Jurnal Review Pembelajaran Matematika), 2020 The purpose of this research is to describe the results of the exploration of ethnomathematics of Sasak culture that can be used as a source of learning mathematics. This type of research is exploratory qualitative research with an ethnographic approach.
Asri Fauzi +4 more
doaj +1 more source
On Mathematical and Logical Realism and Contingency
Mathematics, 2023 This study presents the claim that mathematics and logic are merely highly formalized reflections, grounded in the physical laws of conservation. The claim generally correlates with John Stuart Mill’s known stance, but unlike his general view, it ...
Jovan M. Tadić
doaj +1 more source
Extending the Applicability Condition in the Formal System \lambda\delta [PDF]
, 2015 The formal system \lambda\delta is a typed lambda calculus derived from \Lambda\infinity, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory).
Guidi, Ferruccio
core +1 more source
Algorithms, 2021 Parameter identification is an important research topic with a variety of applications in industrial and environmental problems. Usually, a functional has to be minimized in conjunction with parameter identification; thus, there is a certain similarity ...
Vasiliy V. Grigoriev +2 more
doaj +1 more source
Reduction of flexible joint manipulator mathematical model [PDF]
Collection of selected papers of the III International Conference on Information Technology and Nanotechnology, 2017 The singularly perturbed differential systems which describe the dynamics of the manipulator with flexible joints are investigated under the condition of weak dissipation. The method of integral manifolds is used to construct the reduced model of robot. Integral manifolds may be constructed as an asymptotic power series. The simplified model is used to
Natalya V. Voropaeva, Olga V. Vidilina
openaire +1 more source
Collapsing along monotone poset maps
, 2005 We introduce the notion of nonevasive reduction, and show that for any monotone poset map $\phi:P\to P$, the simplicial complex $\Delta(P)$ {\tt NE}-reduces to $\Delta(Q)$, for any $Q\supseteq{\text{\rm Fix}}\phi$. As a corollary, we prove that for any
Kozlov, Dmitry N.
core +4 more sources
Four lectures on probabilistic methods for data science
, 2016 Methods of high-dimensional probability play a central role in applications for statistics, signal processing theoretical computer science and related fields.
Vershynin, Roman
core +1 more source