Gelfand spectra in Grothendieck toposes using geometric mathematics.

Bas Spitters Steven Vickers Sander Wolters

Published in: QPL (2012)

Keyphrases

principal component analysis
geometric information
information systems
computer science
geometric constraints
geometric structure
geometric features
computer assisted instruction
tandem mass spectrometry
teaching mathematics