Artificial intelligence × Information retrieval × Mathematics ×