Accessing Quantifier Elimination Packages over the Internet out of General Purpose Systems

Andreas Weber und W. Küchlin
In proceedings of IMACS Conference on Applications of Computer Algebra, 1999
 

Bibtex

@INPROCEEDINGS{WeberKuechlin99c,
     author = {Weber, Andreas and K{\"u}chlin, W.},
      title = {Accessing Quantifier Elimination Packages over the Internet out of General Purpose Systems},
  booktitle = {IMACS Conference on Applications of Computer Algebra},
       year = {1999}
}