Related papers: Numerical Evaluation of Elliptic Functions, Ellipt…
Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a theorem prover or proof assistant in a convenient and highly…
We deliver a call to arms for probabilistic numerical methods: algorithms for numerical tasks, including linear algebra, integration, optimization and solving differential equations, that return uncertainties in their calculations. Such…
We describe an approximate rational arithmetic with round-off errors (both absolute and relative) controlled by the user. The rounding procedure is based on the continued fraction expansion of real numbers. Results of computer experiments…
In this work, we investigate the numerical reconstruction of inclusions in a semilinear elliptic equation arising in the mathematical modeling of cardiac ischemia. We propose an adaptive finite element method for the resulting constrained…
The complete $p$-elliptic integrals are generalizations of the complete elliptic integrals by the generalized trigonometric function $\sin_p{\theta}$ and its half-period $\pi_p$. It is shown, only for $p=4$, that the generalized…
This note shows how to compute, to high relative accuracy under mild assumptions, complex Jacobi rotations for diagonalization of Hermitian matrices of order two, using the correctly rounded functions $\mathtt{cr\_hypot}$ and…
The implementation of the finite element method for linear elliptic equations requires to assemble the stiffness matrix and the load vector. In general, the entries of this matrix-vector system are not known explicitly but need to be…
We present a detailed analysis of how to implement the computation of modular symbols for a given elliptic curve by using numerical approximations. This method turns out to be more efficient than current implementation as the conductor of…
We state and discuss numerous mathematical identities involving Jacobi elliptic functions sn(x,m), cn(x,m), dn(x,m), where m is the elliptic modulus parameter. In all identities, the arguments of the Jacobi functions are separated by either…
Evaluation of relativistic molecular integrals over exponential-type spinor orbitals require using the relativistic auxiliary functions in prolate spheroidal coordinates. They have derived recently by the author [Physical Review E 91,…
We show the modular properties of the multiple 'elliptic' gamma functions, which are an extension of those of the theta function and the elliptic gamma function. The modular property of the theta function is known as Jacobi's…
A relationship between two old mathematical subjects is observed: the theory of hypergeometric functions and the separability in classical mechanics. Separable potential perturbations of the integrable billiard systems and the Jacobi…
This paper, pursuing the work started in [10] and [11], holds six new formulae for {\pi}, see equations, through ratios of first kind elliptic integrals and some values of hypergeometric functions of three or four variables of Lauricella…
This article is a review on basic concepts and tools devoted to a posteriori error estimation for problems solved with the Finite Element Method. For the sake of simplicity and clarity, we mostly focus on linear elliptic diffusion problems,…
This paper is concerned with the derivation of computable and guaranteed upper bounds of the difference between the exact and the approximate solution of an exterior domain boundary value problem for a linear elliptic equation. Our analysis…
We give one parameter deformation of level $k$ free field realization of the screening current of the elliptic algebra $U_{q,p}(sl_2^)$. By means of these free field realizations, we construct infinitly many commutative operators, which we…
Regularity theory for diffusive operators is among the finest treasures of the modern mathematical sciences. It appears in several different fields, such as, differential geometry, topology, numerical analysis, dynamical systems,…
This paper establishes relationships between elliptic functions and Riordan arrays leading to new classes of Riordan arrays which here are called elliptic Riordan arrays. In particular, the case of Riordan arrays derived from Jacobi…
This is the first paper in a series where we study arithmetic applications of the multiple elliptic Gamma functions originated from mathematical physics. The main purpose of this paper is the introduction of a framework for applications of…
Recently, Hong, Mertens, Ono and Zhang proved a conjecture of C\u{a}ld\u{a}raru, He, and Huang that expresses the Taylor series of the modular $j$-function around the elliptic points $i$ and $\rho=e^{\pi i/3}$ as rational functions arising…