Faculty

Institution

Unit

Venue

Peter Mayr

Associate Professor

University of Colorado Boulder

Affiliations

College of Arts and Sciences

Natural Sciences

Mathematics Department

Peter Mayr is currently serving as a College Of Arts And Sciences Associate Professor at University of Colorado Boulder.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Peter Mayr

University of Colorado Boulder

Associate Professor

You can click a keyword to filter the displayed items

mathematics applied mathematics algebra algebraic geometry group theory universal algebra computer science spectral theory algebraic combinatorics modern algebra operator algebras linear algebra applied algebra abstract algebra ring theory algebraic number theory number theory combinatorial theory mathematical sciences logic in computer science geometric topology analytic number theory algebraic analysis commutative algebra subpower membership problem subdirect products polynomial functions geometric group theory mathematical optimization scientific computing topological semigroups transformation semigroups knot theory ordered group topological properties polynomial clones systems engineering combinatorial optimization nonlinear analysis function spaces metals machine learning research numerical algorithms automated reasoning human-computer interaction group process quantum groups equational logic algebraic structures algebraic theory algebraic graph theory computability theory orthogonal polynomials institutional variety logical analysis similarity measure unit cohesion non-commutative algebras constraint solving constraint satisfaction lattice (order) lattice theory equivalence checking symbolic computation order pq finite algebraic structures equational classes supernilpotence prevents dualizability supernilpotent centralizers finiteness properties direct products squarefree groups certain linear groups endomorphism near-rings finite algebras cube terms discrete mathematics boolean satisfiability theoretical computer science

Notable Scholarly Works

Notable Federal Grants

Collaborators

Clonoids Between Modules. International Journal of Algebra and Computation (2024)

Peter MayrPatrick Wynne

analytic number theoryalgebraic geometryalgebracombinatorial theorymathematicsgeometry of numbersdiscrete mathematicsontology modularitygroup theorynumber theoryuniversal algebramodern algebraapplied mathematics

Vaughan-Lee’s Nilpotent Loop of Size 12 is Finitely Based. Algebra Universalis (2023)

Peter Mayr

algebraic geometryalgebraabstract algebramathematicsgroup theoryuniversal algebranilpotent loop

Small Promise Csps That Reduce to Large Csps. Logical Methods in Computer Science (2022)

Alexandr KazdaPeter MayrDmitriy Zhuk

computer sciencesystems engineeringlogic in computer sciencecomputational logicsmall promise cspstheoretical computer sciencedownstream processingdata scienceautomated reasoningtheory of computationlarge cspsmachine learning

Algebras From Congruences. Algebra Universalis (2021)

Peter MayrÁgnes Szendrei

algebrauniversal algebramathematics

Bounded Homomorphisms and Finitely Generated Fiber Products of Lattices. International Journal of Algebra and Computation (2019)

William DeMeoPeter MayrNik Ruškuc

algebraic geometryalgebraset theorycombinatorial theoryscientific computinglinear algebramathematicsfiber productslattice (order)group theoryapplied mathematicslattice theory

Generating Subdirect Products. Journal of the London Mathematical Society (2019)

Peter MayrNik Ruškuc

mathematical optimizationsubdirect productsanalytic number theorymathematical logicmathematicsspectral theoryapplied mathematics

Presentations for Subrings and Subalgebras of Finite Co-Rank. The Quarterly Journal of Mathematics (2019)

Peter MayrNik Ruškuc

geometric topologyring theoryalgebraic geometryhomological algebrafinite co-rankoperator algebrascombinatorial theoryrepresentation theorymathematicscommutative algebrageometry of numberstheoretical mathematicsgroup theoryuniversal algebraspectral theoryapplied mathematics

Solvable Quotients of Subdirect Products of Perfect Groups Are Nilpotent. Bulletin of the London Mathematical Society (2018)

Keith KearnesPeter MayrNik Ruškuc

pure mathematicsnilpotent groupsperfect groupsmathematicssolvable quotientsnumber theorysubdirect products

The Subpower Membership Problem for Finite Algebras With Cube Terms. Logical Methods in Computer Science (2018)

Andrei BulatovPeter MayrÁgnes Szendrei

computer sciencelogic in computer sciencesubpower membership problemfinite algebrascube termsformal verificationformal methodslogical analysis

Finiteness Properties of Direct Products of Algebraic Structures. Journal of Algebra (2017)

Peter MayrNik Ruškuc

ring theoryalgebraic geometryhomological algebraalgebraabstract algebradirect productsalgebraic structurescategory theoryrepresentation theorymathematicsalgebraic theoryfiniteness propertiesmodern algebra

1
2
3
4
10 / page

Peter Mayr

Associate Professor

University of Colorado Boulder

Affiliations

College of Arts and Sciences

Natural Sciences

Mathematics Department

Peter Mayr is currently serving as a College Of Arts And Sciences Associate Professor at University of Colorado Boulder.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Peter Mayr

University of Colorado Boulder

Associate Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Clonoids Between Modules. International Journal of Algebra and Computation (2024)

Peter MayrPatrick Wynne

Vaughan-Lee’s Nilpotent Loop of Size 12 is Finitely Based. Algebra Universalis (2023)

Peter Mayr

algebraic geometryalgebraabstract algebramathematicsgroup theoryuniversal algebranilpotent loop

Small Promise Csps That Reduce to Large Csps. Logical Methods in Computer Science (2022)

Alexandr KazdaPeter MayrDmitriy Zhuk

Algebras From Congruences. Algebra Universalis (2021)

Peter MayrÁgnes Szendrei

algebrauniversal algebramathematics

Bounded Homomorphisms and Finitely Generated Fiber Products of Lattices. International Journal of Algebra and Computation (2019)

William DeMeoPeter MayrNik Ruškuc

algebraic geometryalgebraset theorycombinatorial theoryscientific computinglinear algebramathematicsfiber productslattice (order)group theoryapplied mathematicslattice theory

Generating Subdirect Products. Journal of the London Mathematical Society (2019)

Peter MayrNik Ruškuc

mathematical optimizationsubdirect productsanalytic number theorymathematical logicmathematicsspectral theoryapplied mathematics

Presentations for Subrings and Subalgebras of Finite Co-Rank. The Quarterly Journal of Mathematics (2019)

Peter MayrNik Ruškuc

Solvable Quotients of Subdirect Products of Perfect Groups Are Nilpotent. Bulletin of the London Mathematical Society (2018)

Keith KearnesPeter MayrNik Ruškuc

pure mathematicsnilpotent groupsperfect groupsmathematicssolvable quotientsnumber theorysubdirect products

The Subpower Membership Problem for Finite Algebras With Cube Terms. Logical Methods in Computer Science (2018)

Andrei BulatovPeter MayrÁgnes Szendrei

computer sciencelogic in computer sciencesubpower membership problemfinite algebrascube termsformal verificationformal methodslogical analysis

Finiteness Properties of Direct Products of Algebraic Structures. Journal of Algebra (2017)

Peter MayrNik Ruškuc

1
2
3
4
10 / page

Similar Faculty Members

Keith Kearnes

Institution

University of Colorado Boulder

mathematical logic

combinatorial theory

David Leep

Institution

University of Kentucky

algebra

algebraic number theory

Stephen J McAdam

Institution

University of Texas at Austin

mathematics

algebra

Boris Shekhtman

Institution

University of South Florida

spectral theory

functional analysis

Lourdes Juan

Institution

Texas Tech University

mathematics

applied mathematics

Jan Mycielski

Institution

University of Colorado Boulder

perfect information

general system

Uwe Nagel

Institution

University of Kentucky

mathematics

applied mathematics

Lars Winther Christensen

Institution

Texas Tech University

commutative algebra

mathematical science

Tsit-Yuen Lam

Institution

University of California, Berkeley

affine monoids

classics

Charles Rezk

Institution

University of Illinois Urbana-Champaign

higher category theory

complex representation theory

Similar Faculty Members

Keith Kearnes

Institution

University of Colorado Boulder

mathematical logic

combinatorial theory

David Leep

Institution

University of Kentucky

algebra

algebraic number theory

Stephen J McAdam

Institution

University of Texas at Austin

mathematics

algebra

Boris Shekhtman

Institution

University of South Florida

spectral theory

functional analysis

Lourdes Juan

Institution

Texas Tech University

mathematics

applied mathematics

Jan Mycielski

Institution

University of Colorado Boulder

perfect information

general system

Uwe Nagel

Institution

University of Kentucky

mathematics

applied mathematics

Lars Winther Christensen

Institution

Texas Tech University

commutative algebra

mathematical science

Tsit-Yuen Lam

Institution

University of California, Berkeley

affine monoids

classics

Charles Rezk

Institution

University of Illinois Urbana-Champaign

higher category theory

complex representation theory