Results 21 to 30 of about 14,166,488 (203)
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +1 more source
Finite-time average consensus for multi-agent systems under impulsive disturbances
Nantong Daxue xuebao. Ziran kexue ban, 2023 This study explores finite-time average consensus in multi-agent systems with switching topologies under impulsive disturbances. Utilizing algebraic graph theory, finite-time stability theorems, and impulsive control theory,criteria for finite-time ...
GENG Xiaopeng; Lü Xiaoxiao
doaj +1 more source
Square Integer Matrix with a Single Non-Integer Entry in Its Inverse
Mathematics, 2021 Matrix inversion is one of the most significant operations on a matrix. For any non-singular matrix A∈Zn×n, the inverse of this matrix may contain countless numbers of non-integer entries. These entries could be endless floating-point numbers.
Arif Mandangan +2 more
doaj +1 more source
Q_l-cohomology projective planes and singular Enriques surfaces in characteristic two [PDF]
Épijournal de Géométrie Algébrique, 2019 We classify singular Enriques surfaces in characteristic two supporting a rank nine configuration of smooth rational curves. They come in one-dimensional families defined over the prime field, paralleling the situation in other characteristics, but ...
Matthias Schütt
doaj +1 more source
Prime Spectrum of the Ring of Adeles of a Number Field
Mathematics, 2022 Much is known about the adele ring of an algebraic number field from the perspective of harmonic analysis and class field theory. However, its ring-theoretical aspects are often ignored.
Álvaro Serrano Holgado
doaj +1 more source
Rooting out letters: octagonal symbol alphabets and algebraic number theory
Journal of High Energy Physics, 2020 It is widely expected that NMHV amplitudes in planar, maximally supersymmetric Yang-Mills theory require symbol letters that are not rationally expressible in terms of momentum-twistor (or cluster) variables starting at two loops for eight particles. Re-
Jacob L. Bourjaily +5 more
doaj +1 more source
Journal of Medives: Journal of Mathematics Education IKIP Veteran Semarang, 2023 This study focused on students’ inability to correctly use psychometric tests applied for complex numbers in the context of generating an Algebraic abelian group (closure, commutative, associatively, inverse, and identity).
Idowu Oluwaseun Longe +1 more
doaj +1 more source
About the Entropy of a Natural Number and a Type of the Entropy of an Ideal
Entropy, 2023 In this article, we find some properties of certain types of entropies of a natural number. We are studying a way of measuring the “disorder” of the divisors of a natural number. We compare two of the entropies H and H¯ defined for a natural number.
Nicuşor Minculete, Diana Savin
doaj +1 more source
Quadratic forms and linear algebraic groups [PDF]
, 2009 Topics discussed at the workshop Quadratic Forms and Linear Algebraic Groups included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of the theory of linear algebraic groups and homogeneous varieties ...
Harbater, David +6 more
core +1 more source
An analogue of Bauer’s theorem for closed orbits of skew products [PDF]
, 2008 In this article we prove an analogue of Bauer’s theorem from algebraic number theory in the context of hyperbolic ...
Mark Pollicott +3 more
core +1 more source