Some axioms for mathematics.

Frédéric Blanqui Gilles Dowek Émilie Grienenberger Gabriel Hondet François Thiré

Published in: CoRR (2021)

Keyphrases

knowledge base
computer algebra
computer science
database
neural network
artificial intelligence
clustering algorithm
multiscale
first order logic
computer programming
computer assisted learning
social networks
information systems
expert systems
multimedia courseware
derived predicates