プログラム augustine.mit.edu/methodology/methodology_rbAPPmit_Client_Software.htm

rbAPPmitは、Androidスマートフォン上のパラメトされたPMEの非常に迅速かつ正確な評価を可能にする認定された還元ベーシスメソッドのためのAndroidフロントエンドです。出力変数とフィールド変数の近似値は、厳密な誤差範囲に与えられます。