We consider the Diophantine problem of Frobenius for semigroup S ( d ) where d denotes the tuple (d1, d2, d3), gcd(d1, d2, d3) = 1. Based on the Hadamard product of analytic functions [17] we have found the analytic representation for the diagonal elements akk ( d ) of the Johnson’s matrix of minimal relations [12] in terms of d1, d2, d3. Bearing in mind the results of the recent paper [10] thi...

This paper introduces MetTeL2, a tableau prover generator producing Java code from the specification of a tableau calculus for a logical language. MetTeL2 is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated

The finite analytic numerical method is developed to solve two-point boundary value problems of ordinary differential equations. The basic idea of the finite analytic method is the incorporation of the local analytic solution of the governing equation in the numerical solution of the boundary value problem. In this study, the finite analytic solution is developed for both linear and nonlinear s...