KIT | KIT-Bibliothek | Impressum | Datenschutz

Proofs in computational algebra: an interface between DTP and MAGMA

Calmet, Jacques; Homann, Karsten

Open Access Logo


Volltext §
DOI: 10.5445/IR/77097
Seitenaufrufe: 3
seit 15.05.2018
Downloads: 179
seit 21.11.2008
Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA770970
KITopen-ID: 77097
Erscheinungsvermerk In: Proceedings of the 2nd MAGMA Conference on Computational Algebra, 1996.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page