[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - 'Descente Infinie' Induction-Based Saturation Procedures
Stratulat, SorinYear:
2007
Language:
english
DOI:
10.1109/synasc.2007.17
File:
PDF, 593 KB
english, 2007