Warner, Walter, -1643, mathematician