EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (53 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA770970
Titel Proofs in computational algebra: an interface between DTP and MAGMA.
Autor Calmet, Jacques
Homann, Karsten
Institution Fakultät für Informatik (INFORMATIK)
Institut für Algorithmen und Kognitive Systeme (IAKS)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erscheinungsvermerk In: Proceedings of the 2nd MAGMA Conference on Computational Algebra, 1996.