Mengoli, Pietro, active 1650-1675, Italian mathematician