El método exhaustivo fue más tarde usado en China por Liu Hui en el siglo III a. C.