mathematics

Kho lưu trữ các thuật toán và cấu trúc dữ liệu khác nhau được triển khai bằng nhiều ngôn ngữ lập trình

Tích phân số (quadrature, cubature) trong Python.

Đầu hàng.

lambdaworks cung cấp các triển khai cho cả bộ chứng minh SNARK và STARK, cùng với sự linh hoạt để tận dụng các thành phần riêng lẻ nhằm xây dựng các SNARK tùy chỉnh.

Trình tạo bài tập toán, được thiết kế để cung cấp cho học sinh tự học và các tổ chức giáo dục quyền truy cập dễ dàng vào các bài tập toán chất lượng cao.

Framework JavaScript cho nội dung tương tác (toán học)

Các phép biến đổi 3D cho Python.

:1234: Máy tính đa năng cho bit, byte và các phép tính thông thường.

:spider_web: Giao diện Python cho các công cụ tạo lưới của CGAL.

Bản sao của GNU TeXmacs SVN

Tối ưu hóa lưới, làm mịn lưới.

Gói R igraph.

Bộ công cụ Mogan STEM (dựa trên GNU TeXmacs): Tận hưởng việc khám phá khoa học và công nghệ.

Công cụ trực quan hóa tương tác cho lý thuyết đồ thị.

Giao diện chứng minh định lý Lean mang lại cảm giác như viết trên giấy.

Hướng dẫn thực tế về toán học được sử dụng trong Trí tuệ nhân tạo

Tạo các bài tập cơ bản về cộng, trừ, nhân, chia kèm theo bảng đáp án

Tập hợp các hàm: Combinators, Lambda Calculus và Church Encodings trong JS

muparser là thư viện phân tích toán học nhanh cho C/C++ với hỗ trợ OpenMP (tùy chọn)

Cơ sở dữ liệu dành cho nhiều người dùng và nhà sáng tạo nội dung Manim

Hệ thống đại số máy tính mã nguồn mở toàn diện cho các tính toán trong đại số, hình học và lý thuyết số

Bộ sưu tập ngày càng phát triển các bài hướng dẫn tương tác, bản demo và câu đố về toán học, thuật toán và lập trình.