mathematics

다양한 프로그래밍 언어로 구현된 알고리즘 및 자료 구조 저장소

:triangular_ruler: Python으로 구현된 수치 적분(구적법, 체적법)

포기하다

lambdaworks는 SNARK 및 STARK 증명기 구현을 제공하며, 개별 구성 요소를 활용하여 맞춤형 SNARK를 구축할 수 있는 유연성을 제공합니다.

독학하는 학생들과 교육 기관이 요구에 맞는 고품질의 생성된 수학 문제를 쉽게 얻을 수 있도록 제작된 수학 문제 생성기입니다.

대화형(수학적) 콘텐츠를 위한 JavaScript 프레임워크.

Python용 3D 변환.

:1234: 비트, 바이트 및 범용 계산기

CGAL의 메시 생성 도구를 위한 Python 인터페이스

GNU TeXmacs SVN 미러

메시 최적화 및 메시 스무딩

igraph R 패키지

Mogan STEM Suite (GNU TeXmacs 기반): 과학과 기술 탐구를 즐겨보세요!

그래프 이론을 위한 대화형 시각화 도구

종이와 펜으로 증명하는 듯한 느낌을 주는 Lean 정리 증명 인터페이스

인공지능에 사용되는 수학을 다루는 실용적인 가이드

정답지가 포함된 기초 덧셈, 뺄셈, 곱셈, 나눗셈 연습 문제 생성기

함수들의 모음: JS로 구현한 콤비네이터, 람다 대수 및 처치 인코딩

muparser는 (선택적) OpenMP를 지원하는 C/C++용 고속 수학 파서 라이브러리입니다.

다수의 Manim 사용자와 콘텐츠 제작자를 위한 데이터베이스

대수학, 기하학, 정수론 계산을 위한 포괄적인 오픈 소스 컴퓨터 대수 시스템입니다.

수학, 알고리즘 및 프로그래밍에 관한 대화형 튜토리얼, 데모, 퀴즈 모음