An integrated software solution for mathematical research