正確な数学を、オフラインで

sqrt(12)2√3 を返します。3.4641016151377544 ではありません。
分数が黙って小数になることはなく、整数に上限はなく、精度は要求しただけ得られます。

Rust カーネルMIT ライセンス通信ゼロインストーラ 3 MB

このページで試せます

カーネルを読み込み中…

>

サーバーには何も送っていません。エンジン全体が WebAssembly にコンパイルされ、あなたのブラウザ内で動いています。回線を切って再読み込みしても動きます。

ただの電卓ではない理由

厳密がデフォルト

1/3 + 1/61/2。0.4999… にはなりません。小数はあなたが小数を入力したときだけ現れ、結果には近似であることを示す小数点が付きます。

精度は求めた時点で決まる

π は厳密な定数として保持されます。N(pi, 10000) はそこから一万桁を数ミリ秒で展開します。丸め済みの値から桁をひねり出すのではありません。

できるふりをしない

積分できなければできないと言い、微分方程式が手に負えなければそう言います。発散する定積分は数値らしきものを返さず拒否します。閉じた形の解はすべて元の式に代入して検証してから表示されます。

本当にオフライン

依存関係に HTTP クライアントは一つもなく、フロントエンドに fetch はなく、CSP は default-src 'self'。機内でも、閉域網でも、隔離された環境でも動きます。レジストリも汚しません。

できること

算術2^100 · 50! · 1/3+1/6
代数factor(x^4+4) · expand((x+y)^5) · apart(1/(x^3-x), x)
微積分diff(x^x, x) · integrate(x*atan(x), x) · limit((1+1/n)^n, n, inf)
多変数gradient(f, [x,y]) · curl([-y,x,0], [x,y,z])
微分方程式dsolve(y'' + 4*y' + 5*y = 0, y, x)
線形代数det(M) · inv(M) · eigenvals([2,1;1,3])
整数論isprime(1000000007) · factorint(600851475143)
グラフplot(sin(x)/x, x, -20, 20)(デスクトップ版)

入手する

Windows 版をダウンロード 他のプラットフォーム ソース · GitHub

デスクトップ版にはグラフ描画、変数パネル、ヘルプパネルが加わります。カーネルは上で動いているものと同じです。