Results 31 to 40 of about 10,375,970 (302)
A Topological Perspective on Interacting Algebraic Theories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum computation.
Amar Hadzihasanovic
doaj +1 more source
Computation of relative integral bases for algebraic number fields
International Journal of Mathematics and Mathematical Sciences, 1988 At first we are given conditions for existence of relative integral bases for extension (K;k)=n. Then we will construct relative integral bases for extensions OK6(−36)/Ok2(−3), OK6(−36)/Ok3(−33), OK6(−36)/Z.
Mahmood Haghighi
doaj +1 more source
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +1 more source
The Genus Field and Genus Number in Algebraic Number Fields [PDF]
Nagoya Mathematical Journal, 1967 Let k be an algebraic number field and K be its normal extension of finite degree. Then the genus field K* of K over k is defined as the maximal unramified extension of K which is obtained from K by composing an abelian extension over k2). We call the degree (K*: K) the genus number of K over k.
openaire +2 more sources
Heights and multiplicative relations on algebraic varieties [PDF]
, 2007 Points on a subvariety X of a semi-abelian variety A that are contained in a subgroup, let the subgroup be of finite rank or algebraic, are subject to severe restrictions arithmetical nature. Finiteness results for intersections of X with subgroups of
Habegger, Philipp
core +1 more source
General Quantum Field Theory of Flavor Mixing and Oscillations
Universe, 2021 We review the canonical transformation in quantum physics known as the Bogoliubov transformation and present its application to the general theory of quantum field mixing and oscillations with an arbitrary number of mixed particles with either boson or ...
Chueng-Ryong Ji, Yuriy Mishchenko
doaj +1 more source
Preprint: Machine-learning number fields
, 2020 We show that standard machine-learning algorithms may be trained to predict certain invariants of algebraic number fields to high accuracy. A random-forest classifier that is trained on finitely many Dedekind zeta coefficients is able to distinguish ...
Oliver, T., He, Y.-H., Lee, K.-H.
core +1 more source
Studies on the number theory of orders [PDF]
, 1982 Bibliography: pages 78-81.In the nineteenth century no distinction was drawn between maximal and nonmaximal orders in a numberfield. Most of the work on orders in this period was done by Dedekind and Kronecker.
Omar, Mohammed Rafiq
core +1 more source
Short Principal Ideal Problem in multicubic fields
Journal of Mathematical Cryptology, 2020 One family of candidates to build a post-quantum cryptosystem upon relies on euclidean lattices. In order to make such cryptosystems more efficient, one can consider special lattices with an additional algebraic structure such as ideal lattices.
Lesavourey Andrea +2 more
doaj +1 more source
On the Genus Field in Algebraic Number Fields
Tokyo Journal of Mathematics, 1983 Sei \(K/k\) eine endliche galoissche Erweiterung algebraischer Zahlkörper, \(\mathfrak M\) ein Modul von \(K\) (der unendliche Primstellen enthalten kann), \(K(\mathfrak M)\) der Strahlklassenkörper von \(K \bmod {\mathfrak M}\), \(E/k\) die maximale abelsche Erweiterung in \(K(\mathfrak M)\) und \(K^*(\mathfrak M) = E\cdot K\); \(K^*(\mathfrak M ...
openaire +3 more sources