A symbolic solver generator to deal with a system of partial differential equations (PDEs) in functions of an arbitrary number of variables is presented; it can also handle ...

A method is described for obtaining the exact power series solutions, to arbitrary order, of several classes of partial differential equations. Several examples pertinent to ...

A procedure is given for computing classical turning points in the potential energy curves of diatomic molecules according to the well known RKR method using the software ...

This book is a reference for professionals and students interested in prime numbers and encryption, cryptography, factoring algorithms, elliptic curve arithmetic, and many ...

Fril is a logic programming language incorporating sophisticated methods for handling fuzzy and probabilistic uncertainty. A knowledge-based interface, the Intelligent ...

A package to generate the symbolic dynamic equations describing the relation between forces and movements for serial mechanical linkages with rigid constituents is presented. ...

The logistic curve is presented as a mathematical model for population growth in calculus, differential equations and mathematical modeling textbooks. However, there is ...

Calculating the singlet eigenfrequencies and eigenfunctions of a non-rotating, aspherical, anelastic earth model is a computationally intensive procedure, particularly when ...

Understanding lengthy mathematical proofs requires strong concentration. Authors must efficiently map whole logical structures into sequential texts. One way to ease such ...

We add one more interesting family of Willmore tori to those already known [22, 12, 5, 6, 13]. The main result of this paper is a constructuon of the Willmore tori with ...