Journal of Symbolic Computation · 1991 · 25 citations · 6 references
Natural SciencesComputer ScienceMathematicsAlgebraRepresentation TheoryAbstract AlgebraAlgebraic GeometryAlgebraic StructuresArithmetic GeometryCommutative AlgebraLinear AlgebraConstructive Proof TheoryConstructive ProofsFinite Basis Problem
6
Foundations of Constructive Analysis.
Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations
A Course in Constructive Algebra.
Michael J. Besson, Ray Mines, Fred Richman et al. · American Mathematical Monthly · 1990 · 188 citations