Results 41 to 50 of about 32,087 (238)
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 Classic Solution of the Problem for a Homogeneous Wave Equation with Fixed End-Points and Zero Initial Velocity [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2019 The paper gives necessary and sufficient conditions of classic solution for a homogeneous wave equation with a summable potential, fixed end-point, and zero initial velocity.
Avgust Petrovich Khromov
doaj +1 more source
Hyers-Ulam Stability of Euler’s Equation in the Calculus of Variations
Mathematics, 2021 In this paper we study Hyers-Ulam stability of Euler’s equation in the calculus of variations in two special cases: when F=F(x,y′) and when F=F(y,y′). For the first case we use the direct method and for the second case we use the Laplace transform.
Daniela Marian +2 more
doaj +1 more source
Integrals Over Polytopes, Multiple Zeta Values and Polylogarithms, and Euler's Constant
, 2007 Let $T$ be the triangle with vertices (1,0), (0,1), (1,1). We study certain integrals over $T$, one of which was computed by Euler. We give expressions for them both as a linear combination of multiple zeta values, and as a polynomial in single zeta ...
B. C. Berndt +15 more
core +1 more source
Pellet Printing for Soft Robotic Devices
Advanced Science, EarlyView.Fused Granulate Fabrication (FGF) is established here as a reliable method for fabricating soft, airtight robotic devices. Through coordinated optimization of hardware, material selection, and process parameters, this approach enables high‐speed printing of thermoplastic elastomers with silicone‐like softness and modulus.
Yijia Wu +6 more
wiley +1 more source
Vehicle Directional Cosine Calculation Method
Vehicles, 2023 Teaching kinematic rotations is a daunting task for even some of the most advanced mathematical minds. However, changing the paradigm can highly simplify envisioning and explaining the three-dimensional rotations.
Derek Hall, Timothy Sands
doaj +1 more source
Solutions of fractional logistic equations by Euler's numbers
, 2017 In this paper, we solve in the convergence set, the fractional logistic equation making use of Euler's numbers. To our knowledge, the answer is still an open question. The key point is that the coefficients can be connected with Euler's numbers, and then
D'Ovidio, Mirko, Loreti, Paola
core +1 more source
Developing Micro/Nanostructured Fluidic Mixing Technology for Biomedical Applications
Advanced Science, EarlyView.This review critically evaluates how micro/nanostructured mixing technologies are redefining biomedical research. By synergizing fundamental analysis, numerical modeling, structural design, and external field manipulation, these systems attain unprecedented control over mass transport.
Junkai Wang +3 more
wiley +1 more source
Entropy, 2023 We introduce a quantum Lernmatrix based on the Monte Carlo Lernmatrix in which n units are stored in the quantum superposition of log2(n) units representing On2log(n)2 binary sparse coded patterns.
Andreas Wichert
doaj +1 more source
On the works of Euler and his followers on spherical geometry [PDF]
, 2014 We review and comment on some works of Euler and his followers on spherical geometry. We start by presenting some memoirs of Euler on spherical trigonometry. We comment on Euler's use of the methods of the calculus of variations in spherical trigonometry.
Papadopoulos, Athanase
core