Real quadratic quantifier elimination in Risa-Asir

Book information

Year

1996

Language

english

Format

GZ

Filesize

111 kB (114148 bytes)

Pages

15\15

Topic

Mathematics › Computer Algebra

Library

kolxoz

Time added

2009-07-20 03:45:11