サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
hilbert-lang.org
Hilbert makes it possible to enjoy mathematics on PC without losing the feeling that you can get from using Pen and Paper. TeX provides us high-quality mathematical formulae, but sometimes we want to execute them. Hilbert will allow you to compile codes into TeX. You can execute and get awesome formulae using Hilbert. You will be able to use Hilbert within any widely used languages like Ruby, Hask
Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です.
このページを最初にブックマークしてみませんか?
『Hilbert - Enjoy mathematics with Keyboard.』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く