библиотек CAS

Например: JAS (Java Algebra System)Вопрос в том, какие еще библиотеки существуют для использования? И какие из них можно использовать на Android?