Results 71 to 80 of about 1,135,760 (216)

Galois Connections: Mathematics, Art, and Archives [PDF]

Electronic Workshops in Computing, 2015
Evariste Galois (1811--1832) has been increasingly recognised as an important mathematician who despite his short life developed mathematical ideas that today have applications in computer science (such as Galois connections) and elsewhere. Some of Galois' mathematics can be visualised in interesting and even artistic ways, aided using software.
Jonathan P. Bowen, Tula Giannini
openaire   +2 more sources

Algorithm for Obtaining Complete Irreducible Polynomials over Given Galois Field for New Method of Digital Monitoring of Information Space

Computers
Irreducible polynomials are widely used in modern cryptography; however, algorithms for finding such polynomials remain quite complex and require significant computational resources.
Dina Shaltykova, Aliya Massalimova, Yelizaveta Vitulyova, Ibragim Suleimenov   +3 more
doaj   +1 more source

Galois connecting call-by-value and call-by-name [PDF]

Logical Methods in Computer Science
We establish a general framework for reasoning about the relationship between call-by-value and call-by-name. In languages with computational effects, call-by-value and call-by-name executions of programs often have different, but related, observable ...
Dylan McDermott, Alan Mycroft
doaj   +1 more source

An elegant model of the geodesic flow on the modular surface

Journal of the London Mathematical Society, Volume 114, Issue 1, July 2026.
Abstract Caroline Series' [The modular surface and continued fractions, J. Lond. Math. Soc. (2), 31, no. 1, (1985), 69–80] gives a clear framework linking, in a deceptively simple way, the dynamics of the geodesic flow on the modular surface with the dynamics of the regular continued fraction, through a well‐chosen symbolic coding.
Pierre Arnoux, Thomas A. Schmidt
wiley   +1 more source

A Galois connection for weighted (relational) clones of infinite size [PDF]

, 2015
A Galois connection between clones and relational clones on a fixed finite domain is one of the cornerstones of the so-called algebraic approach to the computational complexity of non-uniform Constraint Satisfaction Problems (CSPs).
Zivny, S, Zivny, Stanislav, Fulla, Peter, Fulla, P   +3 more
core   +1 more source

Abelian threefolds with imaginary multiplication

Journal of the London Mathematical Society, Volume 114, Issue 1, July 2026.
Abstract Let A$A$ be an abelian threefold defined over a number field K$K$ with potential multiplication by an imaginary quadratic field M$M$. Under mild assumptions on K$K$, if A$A$ has signature (2,1) and the multiplication by M$M$ is defined over KM$KM$, we attach to A$A$ an elliptic curve defined over K$K$ with potential complex multiplication by M$
Francesc Fité, Pip Goodman
wiley   +1 more source

A Constructive Framework for Galois Connections

CoRR, 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   +2 more sources

A Galois connection between distance functions and inequality relations [PDF]

, 1974
summary:Following the ideas of R. DeMarr, we establish a Galois connection between distance functions on a set $S$ and inequality relations on $X_{S}=S \times \mathbb{R}$.
Száz, Árpád, Ekeland, Ivar, Ekeland, I.   +2 more
core   +1 more source

On the Lang–Trotter conjecture for Siegel modular forms

Mathematika, Volume 72, Issue 3, July 2026.
Abstract Let f$f$ be a genus‐two cuspidal Siegel eigenform. We prove an adelic open image theorem for the compatible system of Galois representations associated with f$f$, generalizing the results of Ribet and Momose for elliptic modular forms. Using this result, we investigate the distribution of the Hecke eigenvalues ap$a_p$ of f$f$, and obtain upper
Arvind Kumar, Moni Kumari, Ariel Weiss
wiley   +1 more source

Prismatic F‐crystals and Wach modules

Proceedings of the London Mathematical Society, Volume 133, Issue 1, July 2026.
Abstract We show that the category of analytic/completed prismatic F-crystals$F\text{-crystals}$ on the absolute prismatic site of a small (unramified at p$p$) base ring is naturally equivalent to the category of relative Wach modules from the theory of (φ,Γ)-modules$(\varphi, \Gamma)\text{-modules}$.
Abhinandan
wiley   +1 more source