mathematics

Dépôt d'algorithmes et de structures de données implémentés dans de nombreux langages de programmation.

Intégration numérique (quadrature, cubature) en Python.

Jeter l'éponge.

lambdaworks propose des implémentations pour les prouveurs SNARK et STARK, ainsi que la flexibilité d'exploiter leurs composants individuels pour construire des SNARK personnalisés.

Un générateur de problèmes de mathématiques, conçu pour permettre aux étudiants autodidactes et aux organismes d'enseignement d'accéder facilement à des exercices mathématiques générés de haute qualité et adaptés à leurs besoins.

Un framework JavaScript pour du contenu interactif (mathématique).

Transformations 3D pour Python.

1234 Calculatrice de bits, d'octets et à usage général

:spider_web: Une interface Python pour les outils de maillage de CGAL

Miroir du dépôt SVN de GNU TeXmacs

:spider_web: Optimisation et lissage de maillage.

Package R igraph

Mogan STEM Suite (basé sur GNU TeXmacs) : explorez la science et la technologie !

Un outil de visualisation interactif pour la théorie des graphes.

Interface de démonstration de théorèmes Lean offrant une expérience similaire aux preuves papier.

Votre guide pratique des mathématiques utilisées en intelligence artificielle.

Générateur d'exercices d'addition, soustraction, multiplication et division avec feuille de réponses.

Un ensemble de fonctions : combinateurs, calcul lambda et encodages de Church en JS

muparser est une bibliothèque d'analyse mathématique rapide pour C/C++ avec prise en charge (optionnelle) d'OpenMP.

Une base de données regroupant de nombreux utilisateurs et créateurs de contenu Manim

Un système de calcul formel open source complet pour l'algèbre, la géométrie et la théorie des nombres.

A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.