Results 51 to 60 of about 501,741 (285)
On the Divergence of Lagrange Interpolation to |x|
Journal of Approximation Theory, 1995 The authors prove that the sequence of polynomial interpolants to the absolute value of \(x\) at a family of nodes diverges everywhere except at zero and the end-points.
Brutman, L., Passow, E.
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
, 2020 The accurate recognition of road condition is one of the important factors that influence vehicle safety performance. This paper comes up with an original mathematical method of an interval recognition algorithm of the pavement surface condition based on
R. He, Liwei Zhang
semanticscholar +1 more source
Advanced Science, EarlyView.In situ mechanical loading of osteoarthritis‐prone murine knee joints reveals that spatial alterations in subchondral plate microarchitecture precede cartilage loss and promote a shift from coordinated epiphyseal strain dissipation in healthy joints to focal subchondral strain concentration in osteoarthritis‐prone joints.
Aikta Sharma +10 more
wiley +1 more source
地震科学进展The distance traveled by contour wave with artificial wave velocity in a step-time is often inconsistent with the mesh size. Therefore, when the transmission boundary formula is applied, the calculation nodes of transmission boundary are usually ...
Xueliang Duan +8 more
doaj +1 more source
FPGA realization of Farrow structure for sampling rate change [PDF]
Serbian Journal of Electrical Engineering, 2016 In numerous implementations of modern telecommunications and digital audio systems there is a need for sampling rate change of the system input signal.
Marković Bogdan, Ćertić Jelena
doaj +1 more source
Curve fitting by Lagrange interpolation
, 1993 It is demonstrated that interpolation by quadratic polynomials using the Lagrange formula may compete in accuracy with cubic spline interpolation, while being simpler to implement. It is also shown that Lagrange interpolation may easily be used to fit an
G. Bäckström, Bäckström, Gunnar,
core +1 more source
Data‐Driven Discovery of Unconventional Antiferromagnets
Advanced Science, EarlyView.A high‐throughput workflow that combines the physics‐informed pre‐screening, high‐throughput exchange calculations, Luttinger‐Tisza analysis and symmetry classification is established for accurate identification of unconventional antiferromagnets from the broad structural database.
Qirui Cui +3 more
wiley +1 more source
Trigonometric Sums via Lagrange Interpolation
AxiomsBy means of the Lagrange interpolation, we derive two trigonometric identities that are utilized to evaluate, in closed forms, eight classes of power sums of trigonometric functions over equally distributed angles around the unit circle.
Marta Na Chen +2 more
doaj +1 more source
Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements [PDF]
Applied Mathematics and Computation, 2016 For the quadratic Lagrange interpolation function, an algorithm is proposed to provide explicit and verified bound for the interpolation error constant that appears in the interpolation error estimation.
Xuefeng Liu, Chun'guang You
semanticscholar +1 more source