Darij Grinberg, A few
facts on integrality (version 30 November 2010).
Detailed version with all the proofs much more formalized. Old version (version 20 August 2009) with slightly weaker Theorem 1. Sourcecode of all the files.
See main page for an abstract.
Back to the main site