Login / Signup

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

Victor G. GanzhaSergey V. MeleshkoV. P. Shelest
Published in: ISSAC (1990)
Keyphrases