The development of operator theory is stimulated by the need to solve problems emerging from several fields in mathematics and physics. At present time, this has wide applications study non-linear differential equations, linear transport theory, diffraction acoustic electromagnetic waves, scattering inverse scattering, among others. In our work, we use computer algebra system Mathematica implem...

Abstract The need to verify symbolic computation arises in diverse application areas. In this paper, based on earlier work verifying of definite integrals , we present a tool for performing variety computations interactively, taking middle ground terms easy use and rigor between computer algebra systems interactive theorem provers. supports user-level definitions dependency among computations, ...

One way of building more powerful theorem provers is to use techniques from symbolic computation. The challenge problems in this paper are taken from Chapter 2 of Ramanu-jan's Notebooks. They were selected because they are non-trivial and require the use of symbolic computation techniques. We have developed a theorem prover based on the symbolic computation system Mathematica that can prove all...

Modern symbolic computations increasingly require infrastructure for implementing parallel algorithms and combining capabilities available in several different systems. Moreover, there are growing numbers of symbolic computation resources, such as databases or specialized software which could be made available as Web services or Grid services accessible over the Internet. The EU Framework VI pr...

This document describes the use of the RISC ProofNavigator, an interactive proving assistant for program and system reasoning developed at the Research Institute for Symbolic Computation (RISC).

A nilpotent quotient algorithm for graded Lie rings of prime characteristic is described. The algorithm has been implemented and applications have been made to the investigation of the associated Lie rings of Burnside groups. New results about Lie rings and Burnside groups are presented. These include detailed information on groups of exponent 5 and 7 and their associated Lie rings. Appeared: J...