Results 21 to 30 of about 6,644 (238)
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps [PDF]
, 2008 This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by structural or
Dufourd, Jean-François
core +6 more sources
An Automatic Proof of Euler's Formula [PDF]
Computer Science Journal of Moldova, 2005 In this information age, everything is digitalized. The encoding of functions and the automatic proof of functions are important. This paper will discuss the automatic calculation for Taylor expansion coefficients, as an example, it can be applied to
Jun Zhang
doaj
A recovery of Brouncker's proof for the quadrature continued fraction [PDF]
, 2006 350 years ago in Spring of 1655 Sir William Brouncker on a request by John Wallis obtained a beautiful continued fraction for 4/π. Brouncker never published his proof. Many sources on the history of Mathematics claim that this proof was lost forever.
Khrushchev, Sergey
core +2 more sources
Computation, 2023 This study introduces an approach for modeling an arm of a Stewart platform to analyze the location of sections with a high deflection among the arms. Given the dynamic nature of the Stewart platform, its arms experience static and dynamic loads.
Reza Hassanian, Morris Riedel
doaj +1 more source
On a Conjecture of Alzer, Berg, and Koumandos
Mathematics, 2020 In this paper, we find a solution of an open problem posed by Alzer, Berg, and Koumandos: determine ( α , m ) ∈ R + × N such that the function x α | ψ ( m ) ( x ) | is completely monotonic on ( 0 , ∞ ) , where ψ (
Ladislav Matejíčka
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
Inverse hyperbolic equation, Spectral technique, Regularization method, Operational matrix
Kuwait Journal of ScienceRecently, the realm related to Euler's Beta function has played a significant role in the development of special function theory. In this study, a new extension of the special function known as Euler's Beta function with respect to the Mittag-Leffler ...
Firas Ghanim +2 more
doaj +1 more source
Generalized Summation Formulas for the Kampé de Fériet Function
Axioms, 2021 By employing two well-known Euler’s transformations for the hypergeometric function 2F1, Liu and Wang established numerous general transformation and reduction formulas for the Kampé de Fériet function and deduced many new summation formulas for the ...
Junesang Choi +2 more
doaj +1 more source
Euler's constant, q-logarithms, and formulas of Ramanujan and Gosper
, 2003 The aim of the paper is to relate computational and arithmetic questions about Euler's constant $\gamma$ with properties of the values of the $q$-logarithm function, with natural choice of $q$.
E. Catalan +3 more
core +1 more source
An elementary proof of Euler formula using Cauchy's method
, 2020 The use of Cauchy's method to prove Euler's well-known formula is an object of many controversies. The purpose of this paper is to prove that Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces such as the torus, the
Brasselet, Jean-Paul +1 more
core +3 more sources