μάθημα (máthema) :: science, savoir

Syllabus errorum

Logiciels mathématiques

  • The R Project for Statistical Computing

    R est un logiciel de statistique: il s’agit d’un langage de programmation, ce n’est pas un « cliquodrome »

  • Information Visualization
  • Enseignements de Statistique en Biologie

    Excellent, riche en informations et sujets de réflexion.

  • Introduction à R

    La documentation sur R est abondante; pour ceux qui préfèrent un texte français, voici l’excellente introduction de Vincent Zoonekynd

  • R Tutorial

    Un tutoriel très soigné.

  • The Statistical Lab

    The Statistical Lab est un outil interactif, basé sur R, qui permet à la fois d’apprendre et aussi de pratiquer la Statistique. (Media-Prix 2003)

  • JGR (Jaguar)

    Interface Java pour R (2005 Chambers Award)

  • R Function Finder

  • Maxima

    Maxima est un CAS, un système de calcul formel

  • Singular

    Singular est un système de calcul formel pour l’Algèbre Commutative et la Géométrie Algébrique.

  • CoCoA

    CoCoA - Computations in Commutative Algebra - est aussi un logiciel de calcul formel pour l’Algèbre Commutative

  • GAP

    GAP - Groups, Algorithms, Programming - est un logiciel de calcul formel qui permet de faire des calculs dans et avec des groupes


  • calc

    Si vous travaillez sous Unix (OS X ou Linux, par exemple), calc est un programme fonctionnant dans votre terminal qui permet de faire des calculs de précision «infinie».

Langages de programmation

  • DrScheme

    Environnement de programmation en Scheme. Le langage Scheme, dérivé du vénérable Lisp, est un excellent langage d'introduction à la programmation, fonctionnelle surtout, impérative, mais aussi orientée objet.
    Disponible gratuitement.

  • How to Design Programs

    Introduction à la programmation en général (utilisant Scheme comme langage de référence).
    Disponible gratuitement.

  • Structure and Interpretation of Computer Programs

    Ce très fameux manuel d’informatique du MIT utilise Scheme comme langage de programmation: cela permet de montrer les avantages conceptuels du modèle fonctionnel ainsi que d’indiquer les difficultés inhérentes au modèle impératif.
    Disponible gratuitement.

  • Programming Languages :: Application and Interpretation

    Shriram Krishnamurti :: "I think the material in these pages is some of the most beautiful in all of human knowledge, and I hope any poverty of presentation here doesn’t detract from it. Enjoy!"
    Disponible gratuitement.

  • Teach Yourself Scheme in Fixnum Days

    Introduction rapide au langage Scheme rédigée par Dorai Sitaram.
    Disponible gratuitement


  • Haskell

    Contrairement à Scheme, souvent appelé langage applicatif, ayant pour des raisons pragmatiques des composantes impératives, Haskell est un langage purement fonctionnel, d’une rigueur et d'une richesse conceptuelle qui séduit tout mathématicien. Sa nature « paresseuse » permet de considérer des objets infinis ... Je le considère personnellement comme le langage le plus élégant qui soit.
    Disponible gratuitement.

  • Haskell for Maths

    Haskell est bien adapté à l’exploration de quelques concepts mathématiques.

  • Write Yourself a Scheme in 48 hours

    Ce tutoriel propose de construire un interpréteur Scheme, en Haskell.


  • Caml

    Caml est un langage hybride fonctionnel-impératif utilisé beaucoup dans les universités françaises.
    Disponible gratuitement.

  • Free Pascal

    Pour ceux qui n'ont pas envie d’acheter Delphi. Free Pascal 2.0 [...] has evolved from a simple compiler of which you can find many on the internet to an advanced masterpiece and should be considered one of the major open source compilers.


  • Smalltalk

    C’est le langage orienté-objet par excellence. Pour les applications multi-média, utilisez Squeak.
    Voici l’article de référence pour ce langage: Design Principles Behind Smalltalk.
    Stéphane Ducasse a constitué une collection de livres (disponibles gratuitement) sur Smalltalk; voici sa bibliothèque virtuelle

Miscellanées

Mathematics Awareness Month 2008

Le mois d’avril est consacré aux mathématiques

Depuis 1999, quelques sociétés (prestigieuses) de mathématiques (telle par exemple l’American Mathematical Society) organisent chaque année le Mathematical Awareness Month consacré à un thème mathématique particulier. Il s’agit en effet de montrer aux élèves, au citoyen intéressé et intelligent, l’importance des mathématiques tant d’un point de vue intellectuel que du point de vue des applications. Cette année, le sujet choisi, Math and Voting, s'adresse à notre esprit politique.

In a presidential election year, voting is uppermost on our minds. Candidates vie for attention, polls are taken, debates held, blogs written, primaries conducted, and, ultimately, a general election leads to the naming of the next president of the United States. Some of us are deeply engaged in these processes, and some keep them at a distance. Yet, most people wonder at some point: Does my vote matter? Is the election process fair? Are the votes being counted correctly? The answers to these questions involve great complexity, but fortunately, mathematics and statistics provide the means to deal with such complexity. Indeed, "voting" is something that happens in many contexts not related to politics. In any situation in which preferences are expressed, voting has occurred. Are you applying for a job? If there are many applicants, those responsible for hiring are voting for the candidates. Voting also arises in individual decisions, not just group decisions. Did you know the method of conducting that sort of election can have a tremendous impact on the outcome? Stated differently, in the words of mathematician Don Saari, "An election outcome can more accurately reflect the choice of a voting system, rather than the voters' wishes." Or what if you hadn't voted at all? Would that have changed the result of the election? What is the probability that your vote could be decisive? Statisticians such as Andrew Gelman have found ways to measure voter impact. Saari, Gelman, and other mathematicians and statisticians have applied many mathematical methods to understanding and solving complex issues involving voting. Thus, the 2008 Mathematics Awareness Month theme, "Mathematics and Voting," illustrates the power and elegance of the mathematical sciences in addressing a problem of fundamental societal importance.

Voici la référence du site, où vous allez trouver toute une série d’articles intéressants :

Math Awareness
janvier 2008

Les transformations de Moebius

Douglas Arnold et Jonathan Rogness ont construit une vidéo Möbius Transformations Revealed, montrant la beauté de ces transformations (complexes):

Moebius

Ces transformations sont traitées soigneusement dans le manuel superbe sur l'Analyse Complexe rédigé par Tristan Needham: Visual Complex Analysis.

Hans Lundmark décrit dans son article Visualizing complex analytic functions using domain coloring les principes de la représentation graphique de fonctions complexes. Voici une représentation du sinus complexe:

sin(z)
2 juin 2007 | 22:00

Images des mathématiques

Le CNRS a mis au point un recueil, appelé Images des Mathématiques 2006, qui rassemble 28 articles dont l'ambition est de faire connaître, de manière précise et attrayante, des mathématiques en train de se faire, à des lecteurs scientifiques, en particulier des étudiants en mathématiques.

Ce recueil comporte aussi des articles biographiques ou historiques dont l'un est dû à l'historienne luxembourgeoise des mathématiques Jeanne Peiffer.

Le précédent numéro d'Images des mathématiques 2004 est toujours disponible.

Laurent Lafforgue y parle par exemple de l'actualité de la théorie de Galois.

10 avril 2007 | 23:00

Blogs mathématiques

Des blogs mathématiques, orientés vers les mathématiques? Oui, effectivement, cela existe. En voici quelques-uns:

Analyse Non Standard

Du blog de Terence Tao, j'extrais par exemple cette page intéressante et accessible sur l'Analyse Non Standard: Ultrafilters, nonstandard analysis, and epsilon management.

Langages fonctionnels

Un blog intéressant pour ceux qui s’intéressent aux langages de programmation (surtout fonctionnels) est Lambda the ultimate.

le 2 juillet 2007 | 21:00

Calcul Scientifique

Réduite de Jordan

La réduction des endomorphismes d'un espace vectoriel est un sujet important de l'Algèbre Linéaire classique.

Jordan
Cependant, le calcul des réduites de Jordan d'une matrice donnée est en général très pénible; pour les faibles dimensions, il est impossible de voir les différents cas de figure, pour les autres, les calculs deviennent rapidement intraitables, cachant de ce fait les points importants et intéressants derrière des calculs fastidieux.

Voilà pourquoi il est tentant d'essayer d'explorer ces notions d'Algèbre Linéaire à l'aide d'un système de calcul formel, d'un CAS, comme diraient les Anglo-Saxons.

J'ai essayé de présenter une telle étude (de cas particuliers, ce n'est pas un rappel de théorie) à l'aide du logiciel PARI-gp: voici donc un premier essai.

13 mai 2006 | 20:00

Surfaces algébriques

Le mathématicien Oliver Labs a créé des sites Web dédiés spécialement à la beauté de certains objets géométrico-algébriques, telle la magnifique surface de Kummer à 16 points doubles
Admirez par exemple les objets figurant sur le site Cubic Surface Homepage ainsi que ceux de Algebraic Surface Homepage.
16 mai 2005 | 18:00

Un petit problème

Voici un petit problème qui est proposé sur une page du MITLogo:
It's easy to see that a cylinder of cheese can be cut into eight identical pieces with four straight cuts. Can this be done with only three straight cuts?
Voici la solution pour les impatients. Dans le cadre de son projet OpenCourseWare, le MIT a publié un certain nombre de cours, dont un dédié à la résolution de problèmes, le Problem Solving Seminar.
25 novembre 2003 | 19:00