Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture