BEARdocs

Browsing Department of Computer Science by Subject "Theoretical Computer Science"

DSpace/Manakin Repository

Browsing Department of Computer Science by Subject "Theoretical Computer Science"

Sort by: Order: Results:

  • Maurer, Peter M.
    The characterization of the symmetries of boolean functions is important both in automatic layout synthesis, and in automatic verification of manually created layouts. It is possible to characterize the symmetries of an ...
  • Maurer, Peter M.
    This report gives the details an algorithm for determining whether two matrix groups are conjugate to one another. Each group is designated by a pair of matrices that generate the group. The algorithm is able to determine ...

Search BEARdocs


Advanced Search

Browse

My Account

Statistics