GitHub repository: reduce-algebra/reduce-native
Description: reduce-native: A native (well, not quite) code port of REDUCE CAS to Android