On the fundamental theorem of algebra in constructive mathematics:
in: Reuniting the Antipodes – Constructive and Nonstandard Views of the Continuum, Synthese Library 306, Springer (2001) 199-206 [doi:10.1007/978-94-015-9757-9_17]
On the real numbers in constructive mathematics:
On algebraic functions on the real numbers:
On a division algorithm for polynomials over reduced local rings:
On whether 0.999… equals 1:
On Laurent series of real numbers:
On polynomials and linear transformations:
Last revised on January 29, 2024 at 17:18:44. See the history of this page for a list of all contributions to it.