Results 51 to 60 of about 343 (169)
Wild conductor exponents of curves
Bulletin of the London Mathematical Society, Volume 58, Issue 5, May 2026.Abstract We give an explicit formula for wild conductor exponents of plane curves over Qp$\mathbb {Q}_p$ in terms of standard invariants of explicit extensions of Qp$\mathbb {Q}_p$, generalising a formula for hyperelliptic curves. To do so, we prove a general result relating the wild conductor exponent of a simply branched cover of the projective line ...
Harry Spencer
wiley +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 +2 more
openaire +8 more sources
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 +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
Algebraicity of ratios of special L$L$‐values for GL(n)$\mathrm{GL}(n)$
Bulletin of the London Mathematical Society, Volume 58, Issue 5, May 2026.Abstract We prove, under certain assumptions, the algebraicity of the ratio L(m,Π×χ)/L(m,Π×χ′)$L(m, \Pi \times \chi)/L(m, \Pi \times \chi ^{\prime })$, where Π$\Pi$ is a cuspidal automorphic cohomological unitary representation of GLn(AQ)$\mathrm{GL}_n(\mathbb {A}_\mathbb {Q})$, and χ$\chi$, χ′$\chi ^{\prime }$ are finite‐order Hecke characters such ...
Ankit Rai, Gunja Sachdeva
wiley +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 +1 more source
ComputersIrreducible polynomials are widely used in modern cryptography; however, algorithms for finding such polynomials remain quite complex and require significant computational resources.
Dina Shaltykova +3 more
doaj +1 more source
Galois connecting call-by-value and call-by-name [PDF]
Logical Methods in Computer ScienceWe 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
Counting 5‐isogenies of elliptic curves over Q$\mathbb {Q}$
Journal of the London Mathematical Society, Volume 113, Issue 5, May 2026.Abstract We show that the number of 5‐isogenies of elliptic curves defined over Q$\mathbb {Q}$ with naive height bounded by H>0$H > 0$ is asymptotic to C5·H1/6(logH)2$C_5\cdot H^{1/6} (\log H)^2$ for some explicitly computable constant C5>0$C_5 > 0$. This settles the asymptotic count of rational points on the genus zero modular curves X0(m)$\mathcal {X}
Santiago Arango‐Piñeros +3 more
wiley +1 more source
A Vulnerability Lens for Intuitive‐Logic Scenarios
FUTURES &FORESIGHT SCIENCE, Volume 8, Issue 1, April 2026.ABSTRACT Exploration of possibilities by means of intuitive logic is hampered by a large number of scenarios, which easily exceed the limits imposed by human bounded rationality. While many practitioners constrain their scenarios within a 2 × 2 $2\times 2$ matrix by design, more structured approaches point to rationales such as eliminating ...
Guido Fioretti
wiley +1 more source