Sixth International Symposium on

Artificial Intelligence and Mathematics