Naiboda, Valentin, active 18th century, Mathematician