linuxで使うとなると実質選択肢がmaximaしかなくなるのが痛いが…linuxでは数式処理ソフトどうしてますか？