Boucharlat, mathématicien