Logiciels
-
ProvSQL
-
Provenance et gestion des probabilités en PostgreSQL
-
Le but du projet ProvSQL est d'ajouter le support pour la provenance par (m-)semi-anneaux et la gestion d'incertitude aux bases de données PostgreSQL, sous la forme d'une extension/module/plugin PostgreSQL.
-
https://github.com/PierreSenellart/provsql
-
-
apxproof
-
Preuves en annexe
-
apxproof est un paquetage LaTeX facilitant la mise au point d'articles de recherche dans lesquels les preuves sont en annexe, une pratique courante en théorie des bases de données et en informatique théorique en général. Le matériel en annexe est écrit dans le code LaTeX avec le texte principal qu'il complémente naturellement, et est automatiquement déplacé en annexe. Le paquetage peut envoyer automatiquement les preuves en annexe, peut répéter l'énoncé des environnements de théorème du texte principal, peut découper l'annexe en parties automatiquement en se basant sur les parties du texte principal, et permet d'avoir une bibliographie séparée pour le matériel en annexe.
-
https://github.com/PierreSenellart/apxproof
-
-
ORBITS
-
Interrogation de données incohérentes avec relation de priorité entre les faits en conflit.
-
ORBITS permet de déterminer les réponses qui sont vraies sous une sémantique tolérante aux incohérences basée sur un type de réparation optimale à choisir.
-
https://github.com/bourgaux/orbits
-
-
TheoremKB
-
Collection d'outils pour extraire de l'information sémantique d'articles de recherche (mathématiques).
-
TheoremKB est une collection d'outils pour extraire de l'information sémantique d'articles de recherche (mathématiques).
-
https://github.com/PierreSenellart/theoremkb
-
-
dissem.in
-
Plate-forme Web qui aide les chercheurs à soumettre leurs articles dans des archives ouvertes.
-
Dissemin est une plate-forme Web qui rassemble des métadonnées de nombreuses sources pour déterminer la disponibilité en accès ouvert du texte intégral des publications des chercheurs. Elle a été conçue pour encourager l'utilisation d'archives ouvertes telles que HAL (plutôt que de prépublications mis à disposition sur des sites personnels). Elle permet le dépôt sur ces archives.
-
https://gitlab.com/dissemin/dissemin
-
