FoxBox: a system for manipulating symbolic objects in black box representation

Abstract

FoxBox is a software system that puts in practice the black box representation of symbolic objects and provides algorithms for performing the symbolic calculus with such representations. This software system is written in C++. It can be compiled with SACLIB 1.1, Gnu-MP 1.0, and NTL 2.0 as its underlying field and polynomial arithmetic. FoxBox provides an MPI-compliant distribution mechanism that allows for parallel and distributed execution of FoxBox programs. Finally, FoxBox plugs into a server/client-style Maple application interface.