Divers

• Le site de Laurie.

Liens pour le boulot

Prépublications

• HAL : serveur de prépublications français.
• ECCC : serveur de prépublications en théorie de la complexité.
• arXiv : serveur de prépublications couvrant de nombreux domaines dont l’informatique, et en particulier la complexité algorithmique et le calcul formel.

Ressources scientifiques

• Complexity Zoo : un doute sur la définition de 0-1-NP_C ou celle de XOR-MIP*[2,1] ?
• On-Line Encyclopedia of Integer Sequences : quelle(s) suite(s) commence(nt) par 1 2 1 2 3 6 9 18 30 56 99 ?

LaTeX et logiciels de dessins

• CTAN : besoin d’un package LaTeX ?
• DeTeXify² : reconnaissance de symboles LaTeX
• Inkscape : mon logiciel de dessin vectoriel préféré (en ce moment !)
• Exemples TikZ : LE package de dessin pour LaTeX

Vulgarisation

• )i( interstices : mais que font les chercheurs en informatique ?
• Images des mathématiques : et leurs collègues mathématiciens alors ?

Vivons libre !

• Free Software Foundation Europe : les logiciels libres, c’est bien !
• PDFreaders.org : lire et écrire des fichiers PDF librement.
• Openstreetmap : cartes et itinéraires, version libre.
• Duckduckgo : moteur de recherche, sans flicage.
• SageMath : le logiciel de maths libre.

Il n’y a pas que le boulot dans la vie

• Skitour : randos à ski.
• FUB : le vélo, ça rend beau !
  • Et à Montpellier aussi !

Crédits

Ma véritable passion étant le Web Design (© Pascal), mon site est tuné à l’aide des bibliothèques suivantes :

• KaTeX : pour les maths en HTML.
• Leaflet.js : pour l’affichage de cartes.

Dernière modification : 24 janvier 2023