能计算出 2 个小数位；而司乃耳可以正确地计算出 7 个小数位（后来，他的指导教授花了更多的时间，计算出来 35 个小数位）。1621年，他重新发现了折射定律，因而命名为司乃耳定律。但是，他并没有主动地将这定律发表出来。后来，于 1703年，克里斯蒂安·惠更斯在着作《Dioptrica》中谈到这定律，才正式地将这定律的发现归功于司乃耳。司乃耳还写了《Cyclometria sive de circuli dimensione》(1621) 和《Tiphys Batavus》(1624) 两本书。他是