Carlson-Simpson's lemma and applications in reverse mathematics.

Paul-Elliot Anglès d'Auriac Lu Liu Bastien Mignoty Ludovic Patey

Published in: Ann. Pure Appl. Log. (2023)

Keyphrases

computer science
johnson lindenstrauss
database
computer assisted instruction
computer algebra
real world
artificial intelligence
knowledge base
case study
high level
pattern recognition
wireless sensor networks
computer assisted learning
mathematical knowledge