Analysis of information sources in references of the Wikipedia article "Division by zero" in English language version.
Some other operations, including division, can also be performed by the desk calculator (but don't try to divide by zero; the calculator never will stop trying to divide until stopped manually).For a video demonstration, see: What happens when you divide by zero on a mechanical calculator?, 7 Mar 2021, retrieved 2024-01-06 – via YouTube
The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.
{{cite conference}}
: CS1 maint: overridden setting (link){{citation}}
: CS1 maint: DOI inactive as of November 2024 (link)With appropriate care to be certain that the algebraic signs are not determined by rounding error, the affine mode preserves order relations while fixing up overflow. Thus, for example, the reciprocal of a negative number which underflows is still negative.
{{cite conference}}
: CS1 maint: overridden setting (link)The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.
{{cite conference}}
: CS1 maint: overridden setting (link){{cite conference}}
: CS1 maint: overridden setting (link)ZeroDivisionError
", retrieved 2024-01-22With appropriate care to be certain that the algebraic signs are not determined by rounding error, the affine mode preserves order relations while fixing up overflow. Thus, for example, the reciprocal of a negative number which underflows is still negative.
{{citation}}
: CS1 maint: DOI inactive as of November 2024 (link)Some other operations, including division, can also be performed by the desk calculator (but don't try to divide by zero; the calculator never will stop trying to divide until stopped manually).For a video demonstration, see: What happens when you divide by zero on a mechanical calculator?, 7 Mar 2021, retrieved 2024-01-06 – via YouTube