By using OpenXM, we can treat OpenXM servers essentially like a subroutine. Since OpenXM provides a universal stack machine which does not depend each servers, it is relatively easy to install new servers. We can build a new computer math system by assembling different OpenXM servers. It is similar to building a toy house by LEGO blocks.

We will see three examples of custom-made systems built by OpenXM servers.

- Computation of annihilating ideals by kan/sm1 and ox_asir
- A Course on Solving Algebraic Equations
- Asir-contrib-HG package to solve GKZ hypergeometric systems

Nobuki Takayama 2017-03-30