Results 41 to 50 of about 53,306 (259)
All hyperbolic Coxeter $n$-cubes
, 2018 Beside simplices, $n$-cubes form an important class of simple polyhedra. Unlike hyperbolic Coxeter simplices, hyperbolic Coxeter $n$-cubes are not classified.
Jacquemet, Matthieu, Tschantz, Steven T.
core +1 more source
Real root finding for equivariant semi-algebraic systems [PDF]
, 2018 Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$.
Bank B. +5 more
core +3 more sources
Advances in Mathematical Physics, 2012 The reductive perturbation method has been employed to derive the Korteweg-de Vries (KdV) equation for small- but finite-amplitude electrostatic ion-acoustic waves in weakly relativistic plasma consisting of warm ions and isothermal electrons.
S. A. El-Wakil +4 more
doaj +1 more source
Electric‐Current‐Assisted Nucleation of Zero‐Field Hopfion Rings
Advanced Materials, EarlyView.This work reports a novel and efficient nucleation protocol for 3D localized topological magnetic solitons‐hopfion rings in chiral magnets using pulsed electric currents. By using Lorentz transmission electron microscopy and topological analysis, we report characteristic features and extraordinary stability of hopfion rings in zero or inverted external
Xiaowen Chen +12 more
wiley +1 more source
MathematicsThis paper reports an application of the Lie algebra se(3) of the Euclidean group SE(3), which is isomorphic to the theory of screws in the velocity and acceleration analyses of serial manipulators.
Jaime Gallardo-Alvarado +3 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
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition [PDF]
, 2017 In the paper which inspired the SC2 project, [E. A´ bra´ham, Building Bridges between Symbolic Computation and Satisfiability Checking, Proc. ISSAC ’15, pp. 1–6, ACM, 2015] the author identified the use of sophisticated heuristics as a technique that the
Davenport, James H., England, Matthew
core
RealCertify: a Maple package for certifying non-negativity
, 2018 Let $\mathbb{Q}$ (resp. $\mathbb{R}$) be the field of rational (resp. real) numbers and $X = (X_1, \ldots, X_n)$ be variables. Deciding the non-negativity of polynomials in $\mathbb{Q}[X]$ over $\mathbb{R}^n$ or over semi-algebraic domains defined by ...
Din, Mohab Safey El, Magron, Victor
core +3 more sources
NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials [PDF]
Optimization Methods and Software, 2011 NCSOStools is a Matlab toolbox for • symbolic computation with polynomials in noncommuting NC variables; • constructing and solving sum of Hermitian squares with commutators programs for polynomials in NC variables. It can be used in combination with semidefinite programming software, such as SeDuMi, SDPA or SDPT3, to solve these ...
Kristijan Cafuta, Igor Klep, Janez Povh
openaire +1 more source
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