Results 71 to 80 of about 888,944 (169)

Quasi‐convex surface subgroups in some one‐relator groups with torsion

Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.
Abstract We find surface subgroups in certain one‐relator groups with torsion and use this to deduce a profinite criterion for a word in the free group to be primitive.
Andrew Ng
wiley   +1 more source

Characterization of image sets: the Galois Lattice approach [PDF]

, 2003
This paper presents a new method for supervised image classification. One or several landmarks are attached to each class, with the intention of characterizing it and discriminating it from the other classes.
Samuelides, Manuel, Zenou, Emmanuel, Manuel Samuelides, Emmanuel Zenou   +3 more
core  

Hilbert Algebras with Hilbert-Galois Connections II

Bulletin of the Section of Logic
Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,f,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq g(b)\), and \(g(a\rightarrow b)\leq ...
Sergio A. Celani, Daniela Montagie
doaj   +1 more source

A Lattice-Theoretic Approach to Multigranulation Approximation Space

The Scientific World Journal, 2014
In this paper, we mainly investigate the equivalence between multigranulation approximation space and single-granulation approximation space from the lattice-theoretic viewpoint.
Xiaoli He, Yanhong She
doaj   +1 more source

Galois Connections in Categorial Type Logic

Electronic Notes in Theoretical Computer Science, 2004
AbstractThe introduction of unary connectives has proved to be an important addition to the categorial vocabulary. The connectives considered so far are order-preserving; in this paper instead, we consider the addition of order-reversing, Galois connected operators. In §2 we do the basic model-theoretic and proof-theoretic groundwork.
Carlos Areces, Raffaella Bernardi, Michael Moortgat   +2 more
openaire   +8 more sources

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

Conics Through Inequivalent 5-Arcs in PG(2, 32)

مجلة بغداد للعلوم
A k-arcs is usually defined to be a set of k points in the projective plane such that some lines meets K in two points. A conic is an irreducible plane quadric curve with six terms.
Zainab Abbas Khalaf, Emad Bakr Al-Zangana   +1 more
doaj   +1 more source

Study of MV-algebras via derivations

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019
The main goal of this paper is to give some representations of MV-algebras in terms of derivations. In this paper, we investigate some properties of implicative and difference derivations and give their characterizations in MV-algebras.
Wang Jun Tao, She Yan Hong, Qian Ting
doaj   +1 more source

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

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