A Course in Constructive Algebra / by Ray Mines, Fred Richman, Wim Ruitenburg.

The constructive approach to mathematics has recently enjoyed a renaissance. This was caused largely by the appearance of Bishop's Foundations of Constructive Analysis, but also by the proliferation of powerful computers, which stimulated the development of constructive algebra for implementati...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Author: Mines, Ray
Other Authors: Richman, Fred, Ruitenburg, Wim
Format: eBook
Language:English
Published: New York, NY : Springer New York, 1988.
Series:Universitext.
Subjects:
Table of Contents:
  • Sets
  • Basic Algebra
  • Rings and Modules
  • Divisibility in Discrete Domains
  • Principal Ideal Domains
  • Field Theory
  • Factoring Polynomials
  • Commutative Noetherian Rings
  • Finite Dimensional Algebras
  • Free Groups
  • Abelian Groups
  • Valuation Theory
  • Dedekind Domains
  • Bibliography
  • Index.