Le Frido est un livre de mathématique monolithique qui va de la construction des naturels (axiomatique non comprise) jusqu’aux derniers retranchements de l’agrégation : analyse, algèbre, probabilités, statistiques. Licence FDL.
Coucou !
Je suis nul en algèbre Bool, les 3 cours que j'ai pu avoir sur son introduction sont bien loin aujourd'hui, et j'ai besoin d'en connaitre plus.
Donc si quelqu'un à des conseils à me donner pour passer de gros noob à guru méditant dans des délais raisonnables, je lui construit une table de vérité en bois d'arbre pour sa salle à manger, aves ses rallonges =D
Par avance tous mes remerciements distingués.
Je suis heureux d’annoncer la sortie de la version 11.0 de MathMod (anciennement connu sous le nom K3DSurf), le logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. Cette version contient le développement le plus excitant depuis le support des processeurs multi-cœurs : compatibilité avec OpenGLES. MathMod peut maintenant tirer pleinement parti des CPU et GPU modernes !
Bonjour,
Je me permets de faire un peu de publicité pour mon livre d’introduction au langage de programmation Julia, le premier livre en français à ma connaissance. Le livre est destiné en priorité (mais pas exclusivement) à un public de mathématiciens généralistes, pas forcément spécialistes du calcul scientifique. Les trucs très matheux représentent à peu près le tiers du livre.
On peut le lire gratuitement en ligne, ou acheter une version papier (en couleurs !) pour 19 € .
http://www.iecl.univ-lorraine.fr/~Olivier.Garet/livre_julia/
Je suis heureux d’annoncer la publication de la nouvelle version (9.1) de MathMod. MathMod est un logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. MathMod permet de manipuler les objets mathématiques 3D et 4D. Il permet aussi de changer leur propriétés visuelles (appliquer des textures 3D, une transparence…), calculer leurs intersections en temps réel et exporter le résultat final sous le format de fichier OBJ. MathMod est développé en C++ avec Qt5, il est disponible pour GNU/Linux, Windows et macOS, sous licence GPL v3.
Aussi, MathMod peut être configuré pour exploiter au mieux les ressources matérielles : répartition du calcul sur plusieurs cœurs, accélération graphique OpenGL, allocation de mémoire…
Dans le cadre de mon travail j'ai été amené à écrire un petit texte qui explique mon quotidien fait de "recherche (scientifique) en langages de programmation". Je me permets de le diffuser ici au cas où ça intéresse des gens.
Je travaille à l'INRIA, un institut public français de recherche en informatique. Je fais de la programmation et de la recherche sur les langages de programmation.
Mon rôle est d’étudier ces langages, de mieux les comprendre (…)
La version 2017 du Frido, ce bouquin de mathématiques dont un des intérêts est d’être libre, est publiée.
Fort d’environ 2 000 pages, il couvre la quasi entièreté du programme d’agrégation. Ce cours de mathématiques est libre au sens de la licence FDL et ses sources LaTeX sont sur GitHub depuis le début du projet.
Je suis heureux d’annoncer la publication de la nouvelle version de MathMod, le logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques.
MathMod permet de manipuler les objets mathématiques 3D et 4D. Il permet aussi de changer leur propriétés visuelles (appliquer des textures 3D, une transparence…), calculer leurs intersections en temps réel et exporter le résultat final sous le format de fichiers OBJ. MathMod est développé avec Qt5/C++, il est disponible pour GNU/Linux, Windows et macOS, sous licence GPL v3.
Cette nouvelle version apporte une amélioration majeure sur la partie du logiciel dédiée au calcul mathématique : la prise en charge du calcul multitâche ou multiprocesseur.
Cette nuit, une bulle d'idée planait aux environs de mon appartement, je l'ai attrapé et ça a illuminé ma nuit. Un spoiler, ou teaser, je sais pas :
On sait depuis longtemps (enfin, on, je veux dire eux, ou nous, ou ptete encore lui), par exemple depuis Alan Turing que les maths peuvent reproduire des structures du vivant.
On sait depuis encore plus longtemps que le vivant est un réservoir incroyable de structures différentes et toutes (…)
Malinux Télé est un Raspberry Pi dans une boîte en bois, connecté à un écran de télévision. Ce petit ordinateur embarque de nombreux logiciels éducatifs libres, une encyclopédie pour enfants, des jeux interactifs pour l'apprentissage de la lecture dans la langue maternelle principale des enfants du Mali, le bambara. Il est construit pour rendre accessible l’informatique éducative aux enfants en difficulté accueillis par des associations au Mali. Bilou Toguna propose une aide technique aux associations qui voudraient adapter et traduire cet outil éducatif dans d'autres pays.
De nouvelles solutions techniques sont expérimentées : un portage sur linux-sunxi, pour installer Malinux Télé sur des tablettes ARM (processeurs Allwinner) à bas coût, une personnalisation de Xubuntu pour PC, construite sur ce modèle ainsi qu'un DVD avec des installeurs et manuel pour les salles informatiques sous Windows.
