Results 61 to 70 of about 449,654 (297)
MathematicsThis paper presents a set of survey-style notes linking core themes of pure algebra with central topics in algebraic and analytic number theory. We begin with finite extensions of Q and describe algebraic number fields through their realization as finite-
Miroslav Stoenchev +2 more
doaj +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 +3 more
wiley +1 more source
A CLASSIFICATION OF EXTENSIONS GENERATED BY A ROOT OF AN EISENSTEIN-DUMAS POLYNOMIAL [PDF]
Journal of Algebraic SystemsIt is known that for a discrete valuation v of a field K with value group Z, an valued extension field (K′, v′) of (K, v) is generated by a root of an Eisenstein polynomial with respect to v having coefficients in K if and only if the extension (K′, v′)/(
َAzadeh Nikseresht
doaj +1 more source
An extension of the disc algebra, I [PDF]
Bulletin of the London Mathematical Society, 2012 We identify all uniform limits of polynomials on the closed unit disc with respect to the chordal metric \c{hi} . One such limit is f=oo. The other limits are holomorphic functions f:-->C so that for every ζ in the boundary of unit disc D the limf(z) while z-->ζ exists in C U {oo}. The class of the above functions is denoted by A(D)~.
openaire +3 more sources
Higher dimensional algebraic fiberings of group extensions [PDF]
, 2023 We prove some conditions for the existence of higher dimensional algebraic fibering of group extensions. This leads to various corollaries on incoherence of groups and some geometric examples of algebraic fibers of type $F_n$ but not $FP_{n+1}$ of some ...
Vidussi, Stefano +1 more
core
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
MONOID ACTIONS AND ULTRAFILTER METHODS IN RAMSEY THEORY
Forum of Mathematics, Sigma, 2019 First, we prove a theorem on dynamics of actions of monoids by endomorphisms of semigroups. Second, we introduce algebraic structures suitable for formalizing infinitary Ramsey statements and prove a theorem that such statements are implied by the ...
SŁAWOMIR SOLECKI
doaj +1 more source
On algebraic extensions and algebraic closures of superfields
, 2023 Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic extension to a ...
Ribeiro, Hugo Rafael de Oliveira +2 more
core
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
On the geometry of normalizing sequences in graded skew PBW extensions
Revista IntegraciónIn this paper, we provide a geometric characterization of the algebraic notion of normalizing sequence in the context of graded SPBW extensions as introduced by Suárez [29], drawing upon the ideas of Cassidy and Vancliff [6].
Andrés Alejandro Rubiano Suárez +1 more
doaj +1 more source