Results 31 to 40 of about 16,932,162 (348)
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
A Construction of Rotated Lattices via Totally Real Subfields of the Cyclotomic Field Q(z_p)
Trends in Computational and Applied Mathematics, 2019 The theory of lattices have shown to be useful in information theory and rotated lattices with high modulations diversity have been extensively studied as an alternative approach for transmission over a Rayleigh-fading channel, where the performance of ...
Antonio A. Andrade +2 more
doaj +1 more source
Propulsion and Power Research, 2021 Time-dependent viscous fluid flow due to a stretchable rotating disk is investigated. Magnetic field is applied in vertical direction to the disk. Temperature equation is assisted with Joule heating effect.
Salman Ahmad +4 more
doaj +1 more source
On the Units of Algebraic Number Fields
Journal of Number Theory, 1994 Let \(K\) be an algebraic number field of degree \(n\) over the rational number field and \(k\) be a proper subfield of \(K\) with \([K: k]=m\). Further, let \(R_ 1\), \(r_ 1\) denote the number of embeddings of \(K\), \(k\) into the real numbers and \(2R_ 2\), \(2r_ 2\) denote the numbers of embeddings of \(K\), \(k\) into the complex numbers.
Yamaguchi, I., Takeuchi, H.
openaire +2 more sources
Quadratic forms and linear algebraic groups [PDF]
, 2009 Topics discussed at the workshop Quadratic Forms and Linear Algebraic Groups included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of the theory of linear algebraic groups and homogeneous varieties ...
Harbater, David +6 more
core +1 more source
SMARANDACHE SPECIAL DEFINITE ALGEBRAIC STRUCTURES [PDF]
, 2009 Introducing the notion of Smarandache special definite algebraic structures, also called equivalently as Smarandache definite special algebraic structures.
Vasantha, Kandasamy
core +1 more source
The nilpotent structure of open-closed string field theory
Journal of High Energy Physics, 2023 In this note we revisit the homotopy-algebraic structure of oriented bosonic open-closed string field theory and we give a new compact formulation in terms of a single cyclic open-closed co-derivation which defines a single nilpotent structure describing
Carlo Maccaferri +2 more
doaj +1 more source
Bicyclic commutator quotients with one non-elementary component [PDF]
Mathematica Bohemica, 2023 For any number field $K$ with non-elementary $3$-class group ${\rm Cl}_3(K)\simeq C_{3^e}\times C_3$, $e\ge2$, the punctured capitulation type $\varkappa(K)$ of $K$ in its unramified cyclic cubic extensions $L_i$, $1\le i\le4$, is an orbit under the ...
Daniel C. Mayer
doaj +1 more source
Taking Particle Physics Seriously: a Critique of the Algebraic Approach to Quantum Field Theory [PDF]
, 2011 I argue against the currently-prevalent view in philosophy of physics that algebraic quantum field theory (AQFT) is the correct framework for philosophy of quantum field theory and that "conventional" quantum field theory (CQFT), of the sort used in ...
Wallace, David, David Wallace
core +1 more source
An analogue of Bauer’s theorem for closed orbits of skew products [PDF]
, 2008 In this article we prove an analogue of Bauer’s theorem from algebraic number theory in the context of hyperbolic ...
Mark Pollicott +3 more
core +1 more source