Results 21 to 30 of about 268,040 (278)

Isomorphisms of algebraic number fields [PDF]

Journal de théorie des nombres de Bordeaux, 2012
Let ℚ(α) and ℚ(β) be algebraic number fields. We describe a new method to find (if they exist) all isomorphisms, ℚ(β)→ℚ(α). The algorithm is particularly efficient if there is only one isomorphism.
van Hoeij, Mark, Pal, Vivek
openaire   +2 more sources

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 $16$th Hilbert problem on algebraic limit cycles [PDF]

, 2014
For real planar polynomial differential systems there appeared a simple version of the $16$th Hilbert problem on algebraic limit cycles: {\it Is there an upper bound on the number of algebraic limit cycles of all polynomial vector fields of degree $m ...
Xiang, Zhang
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

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, Plantard Thomas, Susilo Willy   +2 more
doaj   +1 more source

Analytic curves in algebraic varieties over number fields

, 2007
We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and P\'
A Franchetta, B Dwork, C P Ramanujam, D G Cantor, D Harbater, D Mumford, D V Chudnovsky, D V Chudnovsky, E Kani, G Eisenstein, G Pólya, H Hironaka, H Hironaka, H Matsumura, H Randriambololona, J Fresnel, J.-B. Bost, J.-B. Bost, J.-B. Bost, J.-B. Bost, J.-P. Serre, L Bădescu, L Moret-Bailly, L Moret-Bailly, M Raynaud, M van der Put, P Graftieaux, P Graftieaux, R Hartshorne, R Hartshorne, R Rumely, R S Rumely, S Bosch, S Bosch, S Bosch, V G Berkovich, W Gubler, Y Amice, Y André, Y Ihara, Yu. I. Manin, É Borel   +41 more
core   +5 more sources

Geometric representation of interval exchange maps over algebraic number fields

, 2007
We consider the restriction of interval exchange transformations to algebraic number fields, which leads to maps on lattices. We characterize renormalizability arithmetically, and study its relationships with a geometrical quantity that we call the drift
Adamczewski B, Ahmadi O Vega G, Arnoux P, Arnoux P, Arnoux P, Arnoux P, Arnoux P, Avila A, Boshernitzan M, Boshernitzan M D, Calta K Smillie J, Cohen H, F Vivaldi, G Poggiaspalla, Gutkin E, J H Lowenstein, Jacobson N, Kouptsov K L, Lowenstein J H, Lowenstein J H, Pytheas Fogg N, Rauzy G, Yoccoz J-C, Zorich A, Zorich A, Zorich A   +25 more
core   +1 more source

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Elementary Fractal Geometry. 2. Carpets Involving Irrational Rotations

Fractal and Fractional, 2022
Self-similar sets with the open set condition, the linear objects of fractal geometry, have been considered mainly for crystallographic data. Here we introduce new symmetry classes in the plane, based on rotation by irrational angles.
Christoph Bandt, Dmitry Mekhontsev
doaj   +1 more source