Publications

3 results at ISSAC 1998

FoxBox: a system for manipulating symbolic objects in black box representation
- - Angel Diaz
  - Erich Kaltofen
- 1998
- ISSAC 1998
Conference paper
Coordinating mathematical content and presentation markup in interactive mathematical documents
- - Samuel S. Dooley
- 1998
- ISSAC 1998
Conference paper
Complexity of computing semi-algebraic descriptions of the connected components of a semi-algebraic set
- - Saugata Basu
  - R. Pollack
  - et al.
- 1998
- ISSAC 1998
Conference paper