Catégories

Algebre

Algebre-homologique

Algorithmique

Anglais

Architecture-systeme

Biochemical-programming

Calculabilite

Categories-lambda-calculi

Club-algo

Complexity

Computational-geometric-learning

Computational-neuroscience

Computer-vision

Concurrency

Conferences

Domains-categories-games

Exercices

Foundations-proof-systems

Functional-programming

Game-theory-CS

HoTT

Lambda-calcul

Langages-formels

Linear-logic

Logique

ML-neuroscience

Maths-discretes

Modules-groupes

Neuro-robotique

Neuroanatomie

Neuromodeling

Prepa

Preuve-assistee-par-ordinateur

HOL

Symmetry in HOL

Isabelle

Isabelle (named by Lawrence Paulson after the daughter of Gérard Huet, as a tribute): a popular generic theorem prover

Preuves-programmes

Programmation

Proof-assistants

Research

Robot-motion-planning

Statistical-learning

Lecture 2: Regression

Linear Regression and Logistic regression: particular cases of empirical risk regression

Theorie-modeles

Topologie-algebrique

Tree-automata

fields