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

Victor G. Ganzha, S. V. Meleshko, V. P. Shelest. Application of REDUCE System for Analyzing Consistency of Systems of P.D.E. s. In ISSAC. pages 301, 1990. [doi]

Abstract

Abstract is missing.