Coset Enumeration Using Prefix Gröbner Bases: An Experimental Approach
نویسندگان
چکیده
منابع مشابه
Coset Enumeration of Symmetrically Generated Groups Using Gröbner Bases
A new method for coset enumeration in symmetrically generated groups is presented. This method is based on a Gröbner bases algorithm applied to polynomials in non-commuting variables with integer coefficients. Mathematics Subject Classification: 05A05; 20B05; 20B40
متن کاملParallel Coset Enumeration Using Threads
Coset enumeration is one of the basic tools for investigating nitely presented groups. Many enumerations require signiicant resources, in terms of CPU time or memory space. We develop a fully functional parallel coset enumeration procedure and we discuss some of the issues involved in such parallelisation using the POSIX threads library. Our results can equally well be applied to any master-sla...
متن کاملGröbner Bases: An Introduction
The method (theory plus algorithms) of Gröbner bases provides a uniform approach to solving a wide range of problems expressed in terms of sets of multivariate polynomials. x y 2y z z 0 y 2 x 2 z x z 0 z 2 y 2 x x 0 Example: kinematic equations of a robot. algebraic geometry, commutative algebra, polynomial ideal theory invariant theory automated geometrical theorem proving Groebner-Bases.nb 1
متن کاملEquivalence checking using Gröbner bases
Motivated by the recent success of the algebraic computation technique in formal verification of large and optimized gate-level multipliers, this paper proposes algebraic equivalence checking for handling circuits that contain both complex arithmetic components as well as control logic. These circuits pose major challenges for existing proof techniques. The basic idea of Algebraic Combinational...
متن کاملMultiplicative Bases, Gröbner Bases, and Right Gröbner Bases
Before surveying the results of the paper, we introduce path algebras. Path algebras play a central role in the representation theory of finite-dimensional algebras (Gabriel, 1980; Auslander et al., 1995; Bardzell, 1997) and the theory of Gröbner bases (Bergman, 1978; Mora, 1986; Farkas et al., 1993) has been an important tool in some results (Feustel et al., 1993; Green and Huang, 1995; Bardze...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: LMS Journal of Computation and Mathematics
سال: 2001
ISSN: 1461-1570
DOI: 10.1112/s1461157000000826