Libcern est une bibliothèque logicielle standard pour le langage de programmation C. Elle offre un ensemble de fonctions et de routines essentielles pour le développement d'applications, facilitant la gestion de la mémoire, les opérations d'entrée/sortie, les calculs mathématiques et bien plus. Utilisée par des millions de développeurs, elle constitue la base de nombreux systèmes et logiciels modernes.

Bibliothèque open source proposant des fonctions et algorithmes mathématiques communs pour faciliter le développement d'applications scientifiques ou techniques. Elle permet aux développeurs d'intégrer rapidement des outils de calcul avancés sans réinventer la roue, en s'appuyant sur une implémentation robuste et maintenue par la communauté.

Ce projet est une extension dédiée au calcul scientifique en C++. Il propose des fonctions avancées pour manipuler des nombres complexes et effectuer des calculs puissants, notamment des opérations sur les puissances de deux. Il s'intègre à un environnement de développement interactif pour faciliter les calculs mathématiques complexes.

Ce projet propose une traduction automatique d'une partie de la bibliothèque HOL-Light vers le système Rocq. Il permet d'aligner des types et fonctions mathématiques entre ces deux environnements de preuve formelle, facilitant ainsi l'utilisation de théorèmes HOL-Light dans Rocq. L'objectif est d'accélérer le développement de preuves formelles en exploitant des résultats déjà établis dans HOL-Light, tout en garantissant leur compatibilité avec Rocq.

Projet dédié à la simulation et au test de fonctions mathématiques et algorithmes. Il permet de valider des calculs numériques, de vérifier des déplacements sur un échiquier virtuel et d'exécuter des tests unitaires pour s'assurer de la fiabilité des algorithmes développés. Principalement utilisé dans un cadre éducatif ou de recherche.

Projet de développement logiciel expérimental ou prototype technique sans cas d'usage métier identifié. Il semble s'agir d'un dépôt de code source dédié à des fonctions algorithmiques ou mathématiques avancées, comme des méthodes d'optimisation ou de calcul numérique.

Ce projet propose des ressources pédagogiques en mathématiques destinées aux apprentis. Il inclut des cours, des travaux dirigés et des compléments théoriques couvrant des sujets comme les suites, les fonctions et les développements limités. L'objectif est d'aider les étudiants à renforcer leurs compétences en mathématiques pour leur parcours professionnel.

Le projet matlab est une plateforme dédiée à l'analyse de données numériques, à la modélisation et simulation de systèmes, ainsi qu'au développement d'algorithmes mathématiques. Il permet aux utilisateurs de travailler avec des fonctions et des algorithmes puissants pour résoudre des problèmes complexes dans différents domaines tels que l'ingénierie, la physique, la finance et les sciences de la vie.

Ce projet de stage porte sur l'étude approfondie des fonctions de Mathieu, issues de l'équation de Helmholtz sur une ellipse. Il inclut l'analyse visuelle et analytique de ces fonctions, le développement d'algorithmes numériques pour calculer leurs racines, ainsi que la vérification numérique de propriétés mathématiques comme l'orthogonalité ou la conjecture de Polya. Les résultats sont visualisés et comparés à des cas de référence comme les fonctions de Bessel sur un disque.

Ce projet développe des modèles mathématiques et algorithmes pour analyser et prédire les interactions sociales et spatiales entre individus. Il permet de cartographier des réseaux sociaux géolocalisés, d'identifier des communautés locales et de recommander des connexions pertinentes en fonction de la proximité géographique et des comportements partagés. Les applications incluent l'optimisation des transports, la gestion des flux de population et l'amélioration des systèmes de recommandation.