KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA770970

Proofs in computational algebra: an interface between DTP and MAGMA

Calmet, Jacques; Homann, Karsten



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1997
Sprache Englisch
Identifikator 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