ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed rst order language with subtypes and partial functions. The paper presents a constructive fragment of the core, based on terminating generator induction. We show how subtypes can be used to augment expressiveness and strengthen syntactic controls.

In this paper resolvent estimates for Abel integral operators are provided. These estimates are applied to deduce regularizing properties of Lavrentiev's m-times iterated method as well as iterative schemes ? with the discrepancy principle as corresponding parameter choice or stopping rule, respectively for solving the corresponding Abel integral equations of the rst kind.

Copyright: © 2015 Pereira D, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. *Corresponding author: Daniel Pereira, Internal Medicine resident, Serviço de Medicina, Centro Hospitalar do Porto, Largo Pro...

In this paper we introduce new Tauberian conditions for Abel summability method that include Hardy Littlewood Tauberian condition [4] as a special case. Mathematics Subject Classification: 40E05

Abstract A hierarchy of integrable semi-discrete equations is deduced in terms the discrete zero curvature equation as well its bi-Hamiltonian structure gotten through trace identity. The above separated into soluble ordinary differential according to relationship between elliptic variables and potentials, from which continuous flow straightened out via Abel–Jacobi coordinates resorting algebra...

The ( 2 + 1 )-dimensional Lax integrable equation is decomposed into solvable ordinary differential equations with the help of known id="M3"> soliton associated Ablowitz-Kaup-Newell-Segur hierarchy. Then, based on finite-order expansion matrix, a hyperelliptic Riemann surface and Abel-Jacobi coordinates...

We give a new method for numerically solving Abel integral equations of first kind. An estimation for the error is obtained. The method is based on approximations of fractional integrals and Caputo derivatives. Using trapezoidal rule and Computer Algebra System Maple, the exact and approximation values of three Abel integral equations are found, illustrating the effectiveness of the proposed ap...

The basic necessary conditions for the existence of a (v, k, λ)-perfect Mendelsohn design (briefly (v, k, λ)-PMD) are v ≥ k and λv(v− 1) ≡ 0 (mod k). These conditions are known to be sufficient in most cases, but certainly not in all. For k = 3, 4, 5, 7, very extensive investigations of (v, k, λ)-PMDs have resulted in some fairly conclusive results. However, for k = 6 the results have been far ...