Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s.

Victor G. Ganzha, Sergey V. Meleshko, V. P. Shelest

Browse the full ISSAC paper archive.