java symbolic computing library and mathematical editor