Related papers: Ken Kunen: Algebraist
This is an extended abstract of my talk at the Oberwolfach-Workshop "Representation Theory of Finite-Dimensional Algebras" (February 6 - 12, 2005). It gives self-contained and simplified definitions of quantum cluster algebras introduced…
Kleene algebra (KA) is an important tool for reasoning about general program equivalences, with a decidable and complete equational theory. However, KA cannot always prove equivalences between specific programs. For this purpose, one adds…
It is a survey of the main results on abstract characterizations of algebras of $n$-place functions obtained in the last 40 years. A special attention is paid to those algebras of $n$-place functions which are strongly connected with groups…
We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and…
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Kleene algebra with tests, along the lines of the coalgebraic…
We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic…
This is an extended version of a talk presented by the second author on the Third Mile High Conference on Nonassociative Mathematics (August 2013, Denver, CO). The purpose of this paper is twofold. First, we would like to review the…
This paper is an overview of my recent work on abstract homomorphisms of algebraic groups. It is based on a talk given at the Conference on Group Actions and Applications in Geometry, Topology, and Analysis held in Kunming in July 2012.
Using techniques of deformation (bi)quantization we establish a non-canonical algebra isomorphism between the deformed reduction algebra and the invariant differential operators on G/H. Further results concerning other deformations of these…
This booklet serves as an introduction to Kleene Algebra (KA), a set of laws that can be used to study general equivalences between programs. It discusses how general programs can be modeled using regular expressions, how those expressions…
This is a review devoted to some results of Algebraic Programming (Computer Algebra) used in treating several problems of general relativity, based mainly on already published articles. The article contains the talk given by the author at…
Ich m\"ochte in diesem Bericht algorithmische Methoden vorstellen, die im wesentlichen in diesem Jahrzehnt Einzug in die Computeralgebra gefunden haben. Die haupts\"achlichen Ideen gehen auf Stanley \cite{Sta} und Zeilberger…
This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable…
By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…
The article presents some aspects on the use of computer in teaching general relativity for undergraduate students with some experience in computer manipulation. The article presents some simple algebraic programming (in REDUCE+EXCALC…
We investigate the possibility that the quantum theory of gravity could be constructed discretely using algebraic methods. The algebraic tools are similar to ones used in constructing topological quantum field theories.The algebraic tools…
Weighted programs generalize probabilistic programs and offer a framework for specifying and encoding mathematical models by means of an algorithmic representation. Kleene algebra with tests is an algebraic formalism based on regular…
In a very celebrated paper A. Connes has formulated a conjecture which is now one of the most important open problem in Operator Algebras. This importance comes from the works of many mathematicians who have found some unexpected equivalent…
This survey paper is an expanded version of lectures given at the Clay Mathematics Academy ; see http://www.claymath.org/programs/outreach/academy/colloquium2005.php These lectures were intended to very young (and motivated) college…
This is an expanded version of my Shaw Prize Lecture delivered at the Chinese University of Hong Kong.