Xinwen Jiang a publié sur le site de la Cornell University un papier nommé «A Polynomial Time Algorithm for the Hamilton Circuit Problem» qui impliquerait que P=NP est vrai.
«In this paper, we introduce a so-called Multistage graph Simple Path (MSP) problem and show that the Hamilton Circuit (HC) problem can be polynomially reducible to the MSP problem. To solve the MSP problem, we propose a polynomial algorithm and prove its NP-completeness. Our result implies NP=P.»
Pour mémoire le lien (…)
Mais le lycée d'avant, quand c'était mieux, comme les moulins.
Problème n°1 : problème posé au concours pour l’emploi d’élevé-mécanicien de la flotte, école de Rochefort, 1898.
Un particulier fait venir trois pièces de vin : la seconde contient dix litres de plus que la troisième et la troisième cinq litres de plus que la première Le litre de la première coûte autant de demi-centimes qu’il y a de litres dans la pièce; le litre de la deuxième coûte cinq (…)
En rédigeant la dépêche sur IPython 0.12 je me suis dis que si l'interface web du logiciel qui utilise markdown peut afficher des formules mathématiques comme LaTeX, je me suis dis que ça pouvait être le cas ici aussi.
Reste à savoir s'il existe des gems Ruby pour intégrer MathML.
On m'a filé un lien vers une vidéo (flash tout ça) plutôt intéressante, sur la façon dont nous créons des algorithmes (pour programmer des robot-aspirateurs, vendre des actions, ou recommander un film à un abonné de service de VoD), et comment nous sommes passés d'humains créant des algorithmes pour résoudre des problèmes de façons « humaine », à des restructurations de la ville pour permettre une meilleure optimisation des réseaux informatiques, car 2 ms, ça compte dans le monde des (…)
Dr. Geo est un environnement libre de géométrie interactive et de programmation. Il est aussi bien destiné à un public jeune de l'école primaire ou du secondaire I, qu'à des plus grands pour expérimenter la géométrie et/ou la programmation. Il est propulsé par l'environnement de développement dynamique Pharo, supporté par l'INRIA/RMOD.
On l'a appris ce matin, l'inventeur de la cohomologie étale est parti rejoindre Karol Dionizy Buczynski ce 13 novembre. Adieu l'ami…
En novembre 2013 s'est tenue une conférence intitulée "Démocratie, dictature… et mathématiques" au Musée des Arts et Métiers.
Des coeurs de démocrates se sont brisés à l'issue de l'exposé lorsque les deux conférenciers ont révélé qu'il n'existait pas de bon système de vote.
Mais qu'est-ce qu'un bon système de vote?
On peut en avoir une idée ici en regardant une petite vidéo en flash avec un son horriblement compressé, ou en écoutant cette émission de RFI
L'exposé est très (…)
Je voulais parler d'un petit logiciel que je viens de découvrir, mais je me suis dit que ça allait faire journal marque-pages. Alors à la place, je vais refaire un petit tour de plusieurs logiciels libres pour grands et petits, qui tournent autour du calcul.
Site officiel: http://tux4kids.alioth.debian.org/tuxmath/
les quatre opérations, nombres relatifs, opérations à trous.
Site officiel: http://gcompris.net
Parmi les nombreuses activités de GCompris pas mal sont dédiées (…)
Le monde court un grave danger. Il y a quelques décennies, avec l'arrivée de l'outil informatique, la programmation a pu se développer. Grâce à elle, n'importe quel esprit capable d'exprimer clairement ses idées et de les structurer peut arriver à de grands résultats avec bien moins d'efforts que dans tous les autres domaines. En dessin : dessine un joli mouton ; si tu en veux un second il faudra redessiner le même en espérant avoir le même coup de crayon. Le (…)
Bonjour,
Je sais que c'est pas trop le genre de signaler à tout bout de champ les sorties de projets non stables mais là c'est, mine de rien, une sortie importante. D'ailleurs cette mise à jour aurait pu s'appeler OpenBLAS version 3.0.
Pour ceux qui ne savent pas ce qu'est OpenBLAS : c'est une bibliothèque mathématique optimisée de BLAS. À l'origine cette bibliothèque a été écrite par Kazushige Goto et a fait l'objet d'une publication [1] détaillant les (…)