TY  - RPRT
TI  - Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper
AU  - Schumann, Johann
AU  - Koga, Dennis
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20000109821
ID  - 20000109821
ER  -