prog

Challenge^2: Floating Point without Errors

40 2020-10-18 14:51: >>39
``For example, in the context of ordered fields, one has the axiom of Archimedes which formulates this property, where the field of real numbers is Archimedean``
https://en.wikipedia.org/wiki/Archimedean_property
59: VIP:

do not edit these