Results 41 to 50 of about 53,514 (278)
Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams [PDF]
, 2014 Nested sums containing binomial coefficients occur in the computation of massive operator matrix elements. Their associated iterated integrals lead to alphabets including radicals, for which we determined a suitable basis.
Ablinger, Jakob +3 more
core +1 more source
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
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
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
A Computational Approach to the Perimeter-Area Inequality in a Triangle
AxiomsThis paper explores the application of automated reasoning tools, specifically those implemented in GeoGebra Discovery, to the perimeter-area inequality in triangles.
Tomás Recio +2 more
doaj +1 more source
Symbolic Generation of Adomian Polynomials for Different Nonlinearities by Python [PDF]
Journal of Chemical and Petroleum EngineeringThe Adomian decomposition method (ADM) is a powerful mathematical technique to find closed-form solutions to nonlinear functional equations including ODEs, PDEs, differential-difference, integral, integro-differential, algebraic, and transcendental ...
Mohsen Noorimohammad +2 more
doaj +1 more source
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
On the complexity of computing with zero-dimensional triangular sets [PDF]
, 2011 We study the complexity of some fundamental operations for triangular sets in dimension zero. Using Las-Vegas algorithms, we prove that one can perform such operations as change of order, equiprojectable decomposition, or quasi-inverse computation with a
Poteaux, Adrien, Schost, Éric
core +7 more sources
AIChE Journal, EarlyView.Abstract Despite extensive modeling efforts in extraction research, transient column models are rarely applied in industry due to concerns regarding parameter identifiability and model reliability. To address this, we analyzed uncertainty propagation from estimated parameters in a previously introduced column model and assessed identifiability via ill ...
Andreas Palmtag +2 more
wiley +1 more source