Archive de "avril, 2012"
26
avril
2012
A gentle introduction to 2-dimensional algebra and string diagrams
avril
2012
Pour ceux qui aiment la théorie des catégories et les preuves diagrammatiques Paul-André Melliès présente une (nouvelle?) approche graphique à la croisée du calcul des séquents et de la théorie des noeuds. Cliquez sur l’image pour télécharger les slides pdf.
Un article de SpiceGuid 
19
avril
2012
ERic disponible en version 0.2a
avril
2012
Ce billet annonce la disponibilité immédiate d’ERic v0.2a ERic (Entity-Relationship interactive calculator) est un jeune logiciel libre, en ligne de commande, sous licence EUPL-1.1. ERic permet d’éditer et de sauvegarder des ontologies et des bases de connaissance sous forme de graphes entités/relations. Ensuite, grâce à son algorithme de subsomption, ERic est capable d’interroger sa base de connaissance de façon remarquablement flexible. Le forum hébergé par developpez.net Le dépôt SVN