 | LinuxのためのLUTE Lite数学的証明を教えるためのソフトウェア。 |
| 今すぐダウンロード | |
LinuxのためのLUTE Lite ランキングとまとめ
広告
LinuxのためのLUTE Lite タグ
LinuxのためのLUTE Lite 説明
ほとんどの数学的証拠ソフトウェアが正式なロジック（またはその他の数学の専門分野）に集中する数学的証明書を教えるソフトウェア（またはその他の数学の専門分野）に集中するためのソフトウェアは、魅力的なユーザーインターフェースを備えた、真に汎用的であることを目指しています。 機能の特徴 TEX対応ワードプロセッサ いくつかの既知のバグで機能します 明確な意味論のためにOpenMathに構築されました 完了し、徹底的にテストされました 検証をカスタマイズするためのJavaScriptエンジン 完了し、徹底的にテストされました いくつかの数学トピックが内蔵されています 今もっと多くのことが来ています ユーザーは新しい数学トピックを追加できます
LinuxのためのLUTE Lite 関連ソフトウェア
