FOXBOX: A System for Manipulating Symbolic Objects in Black Box Representation.

Angel Daz, Erich L. Kaltofen

Browse the full ISSAC paper archive.