Sch onert, M. GAP 3.3. ftp samson.math.rwthaachen. de:/pub/gap, 7 Nov. 1993. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Implementing the Recursive Definition of Abelian Group-Based.. - Giavitto, Michel (Correct)
....product) and to check if, starting from groups owning the required properties (e.g. existence of a mechanism to test coset membership) these properties can be constructively lifted through the group constructions. Computational group theory is an extensively studied area, see for example [36] and a large corpus of results is available. Shape specification and construction fit naturally the framework of type theory. For instance, presentations correspond to ground types and group constructions to type expressions. The parameterized shape D1 (n) in section 3.4 is an example of a value ....
Sch onert, M. GAP 3.3. ftp samson.math.rwthaachen. de:/pub/gap, 7 Nov. 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC