Results 71 to 80 of about 2,443 (266)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Photon‐Sphere Modes in Curved Optical Microcavities: A Black‐Hole Analogue Laser
Advanced Science, EarlyView.An optical analogue of a Schwarzschild black hole is realized using curved microcavities that preserve light‐like geodesics. A new family of laser modes confined around the photon sphere is identified alongside conventional whispering‐gallery modes. Analytical theory, numerical simulations, and experiments reveal curvature‐induced confinement, enabling
Chenni Xu +9 more
wiley +1 more source
Analysis of algorithms performing basic arithmetic operations in the quadratic RNS
Наука. Инновации. Технологии, 2022 In this paper we explore the question of representing complex numbers in a residue number system and build algorithms for the operations of addition and multiplication. The idea of the construction of such systems is in determining how the set of complex
Lyudmila Borisovna Kopytkova
doaj
On novel security systems based on the 2-cyclic refined integers and the foundations of 2-cyclic refined number theory [PDF]
Journal of Fuzzy Extension and ApplicationsIntegers play a basic role in the structures of asymmetric crypto-algorithms. Many famous public key crypto-schemes use the basics of number theory to share keys and decrypt and encrypt messages and multimedia.
Mohammad Abobala +2 more
doaj +1 more source
RING STRUCTURE OF INTEGER-VALUED RATIONAL FUNCTIONS
Journal of Commutative Algebra$\DeclareMathOperator{\IntR}{Int{}^\text{R}}$Integer-valued rational functions are a natural generalization of integer-valued polynomials. Given a domain $D$, the collection of all integer-valued rational functions over $D$ forms a ring extension $\IntR(D)$ of $D$. For a valuation domain $V$, we characterize when $\IntR(V)$ is a Prüfer domain and when $
openaire +2 more sources
Let F:K be a Galois extension of number fields and Q a prime ideal of O_F lying over the prime P of O_K. By analyzing the Q-adic closure of O_K in O_F we characterize those rings of integers O_K for which every residue class ring of Int(O_K) modulo a non-zero prime ideal is GE2 (meaning that every unimodular pair can be trasformed to (1,0) by a series ...
Frisch, Sophie, Halter-Koch, Franz
openaire +2 more sources
Rings of integer-valued rational functions
Journal of Pure and Applied Algebra, 1998 For \(D\) an integral domain with quotient field \(K\) and \(E \subseteq D\), let \(\text{Int} (E, D)= \{f \in K[x]\mid f(E) \subseteq D\}\) and \(\text{Int}^R (E, D) = \{f \in K (x) \mid f(E) \subseteq D\}\). For a large class of rings, called \(D\)-rings (which includes \({\mathbb Z}\)), \(\text{Int}^R (D, D) = \text{Int} (D, D)\).
Loper, Alan, Cahen, Paul-Jean
openaire +1 more source
Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths
Advanced Science, EarlyView.Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears +5 more
wiley +1 more source
Units in families of totally complex algebraic number fields
International Journal of Mathematics and Mathematical Sciences, 2004 Multidimensional continued fraction algorithms associated with GLn(ℤk), where ℤk is the ring of integers of an imaginary quadratic field K, are introduced and applied to find systems of fundamental units in families of totally complex algebraic number ...
L. Ya. Vulakh
doaj +1 more source
Matrices over rings of algebraic integers
Linear Algebra and its Applications, 1991 For matrices over a domain R of algebraic integers the authors investigate: (i) completions, (ii) the Hermite form, (iii) the Schur form, (iv) the Smith form, and (v) links relating eigenvalues and Smith invariants. These items have been investigated previously but not in the present context.
Newman, Morris, Thompson, Robert C.
openaire +2 more sources