mathematics

さまざまなプログラミング言語で実装されたアルゴリズムとデータ構造のリポジトリ

:triangular_ruler: Python による数値積分（求積法、多重求積法）

白旗を上げる。

lambdaworks は SNARKs と STARKs の両方のプローバーの実装を提供し、個々のコンポーネントを活用してカスタマイズされた SNARKs を構築する柔軟性を備えています。

独学の学生や教育機関が、ニーズに合わせた高品質な自動生成数学問題に簡単にアクセスできるように作成された、数学問題ジェネレーター。

インタラクティブな（数学的）コンテンツのための JavaScript フレームワーク。

Python向けの3D変換ライブラリ。

:1234: ビット、バイト、および汎用電卓

:spider_web: CGALのメッシングツール用Pythonインターフェース

GNU TeXmacs SVN のミラー

メッシュの最適化と平滑化

igraph R パッケージ

Mogan STEM Suite (GNU TeXmacs ベース): 科学技術の探求をお楽しみください！

グラフ理論のためのインタラクティブな可視化ツール

紙とペンのような感覚で証明を行える Lean 定理証明インターフェース

人工知能で使用される数学の分かりやすいガイド

解答用紙付きの基本的な足し算、引き算、掛け算、割り算の練習問題を作成する

A Flock of Functions: JS におけるコンビネータ、ラムダ計算、チャーチ数エンコーディング

muparser は、（オプションで）OpenMP サポートを備えた C/C++ 向けの高速な数式パーサーライブラリです。

多くの Manim ユーザーとコンテンツクリエイターが集まるデータベース

代数、幾何学、数論の計算を行うための包括的なオープンソース数式処理システム

数学、アルゴリズム、プログラミングに関するインタラクティブなチュートリアル、デモ、クイズのコレクション