相关论文: Unification and Projectivity in De Morgan and Klee…

Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy problems can be solved by algebraic manipulations on the…

Let $K$ be a fixed field. We attach to each column-finite quiver $E$ a von Neumann regular $K$-algebra $Q(E)$ in a functorial way. The algebra $Q(E)$ is a universal localization of the usual path algebra $P(E)$ associated with $E$. The…

We generalize methods, developed by S. Ghilardi, and apply them to a subsystem J$_2$ of bimodal provability logic GLB. We describe projective formulas in J$_2$ in terms of Kripke semantics and prove that logic J$_2$ has finitary unification…

We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleene algebra, a higher-dimensional generalisation of modal and…

In this work it is shown that the SD-KE decomposition is multiplicative under determinantal-type functions for graphs with perfect matchings, providing a new tool for the study of unimodular and singular matchable graphs.

We define the preprojective algebra of a finite EI quiver. We prove that it is isomorphic to a centain tensor algebra. For a finite EI quiver of Cartan type, we prove that the corresponding preprojective algebra is isomorphic to the…

We prove a generalization of a result of Peres and Schlag on the dimensions of certain exceptional sets of projections and then apply it to a geometric problem.

We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise…

With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce generalized energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels…

We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While this question has also…

Deformed preprojective algebras are generalizations of the usual preprojective algebras introduced by Crawley-Boevey and Holland, which have applications to Kleinian singularities, the Deligne-Simpson problem, integrable systems and…

We give a summary on spectral techniques for finite dimensional algebras and study its link to singularity theory. In particular, we offer a contribution to the categorification of the Milnor lattice of two-dimensional singularities through…

By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are…

We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is $\aleph_0$-categorical and describe definable and algebraic closures in that theory. We also obtain similar results for…

A survey of problems, conjectures, and theorems about quasi-isometric classification and rigidity for finitely generated solvable groups.

We study the conjugate gradient method for solving s system of linear equations with coefficients which are measurable functions and establish the rate of convergence of this method.

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the…

We define a broad class of crossed product C*-algebras of the form C(G)xG, where G is a discrete countable amenable residually finite group, and G is a profinite completion of G. We show that they are unital separable simple nuclear…

We give a review of modern approaches to constructing formal solutions to integrable hierarchies of mathematical physics, whose coefficients are answers to various enumerative problems. The relationship between these approaches and…