Title: Mathematics through databases