Results 91 to 100 of about 19,730 (191)
On Constructivity of Galois Connections [PDF]
, 2017 Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool for mathematically specifying abstract domains.
openaire +1 more source
Nonvanishing minors of eigenvector matrices and consequences
Special MatricesFor a matrix M∈Kn×n{\bf{M}}\in {{\mathbb{K}}}^{n\times n}, we establish a condition on the Galois group of the characteristic polynomial φM{\varphi }_{{\bf{M}}} that induces nonvanishing of the minors of the eigenvector matrix of M{\bf{M}}.
Emmrich Tarek
doaj +1 more source
Mereological approach to higher-order structure in complex systems: From macro to micro with Möbius
Physical Review ResearchRelating macroscopic observables to microscopic interactions is a central challenge in the study of complex systems. While current approaches often focus on pairwise interactions, a complete understanding requires going beyond these to capture the full ...
Abel Jansma
doaj +1 more source
Modeling and simulation of a Tamil language encoder for advanced encryption technologies. [PDF]
Patterns (N Y), 2023 Suthaharan S.
europepmc +1 more source
Systems of Precision: Coherent Probabilities on Pre-Dynkin Systems and Coherent Previsions on Linear Subspaces. [PDF]
Entropy (Basel), 2023 Derr R, Williamson RC.
europepmc +1 more source
Monodromy of a Class of Logarithmic Connections on an Elliptic Curve
Symmetry, Integrability and Geometry: Methods and Applications, 2007 The logarithmic connections studied in the paper are direct images of regular connections on line bundles over genus-2 double covers of the elliptic curve.
Francois-Xavier Machu
doaj
Identity, individuality and indistinguishability in physics and mathematics. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Catren G.
europepmc +1 more source
The structure of Galois connections [PDF]
Pacific Journal of Mathematics, 1974 openaire +2 more sources
Galois connections and modal algebras
Cognitio: Revista de FilosofiaWe investigate the properties of a modal algebra, more specifically, a non-distributive lattice with operators via Galois connections. Pairs of Galois are very common in mathematical environments, and, in this article, they appear as unary operators in lattices even without the distributivity. In a previous paper, Castiglioni and Ertola-Biraben studied
Hércules de Araújo Feitosa +2 more
openaire +1 more source
Modularity of PGL2(𝔽p)-representations over totally real fields. [PDF]
Proc Natl Acad Sci U S A, 2021 Allen PB, Khare CB, Thorne JA.
europepmc +1 more source