Related papers: Completeness classes in algebraic complexity theor…
This text is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory section, we present a number of examples that illustrate and…
This paper is based on a course given by the author at the University of Rome ``La Sapienza'' in the Academic year 2000/2001. The intended aim of the course was to rapidly introduce, although not in an exhaustive way, the non-expert PhD…
This work connects two mathematical fields - computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra - regularity and singularity, full column rank, solving a linear system, deciding…
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…
These are notes for a series of lectures presented at the ASIDE conference 2016. The definition of a cluster algebra is motivated through several examples, namely Markov triples, the Grassmannians $Gr_2(\mathbb{C})$, and the appearance of…
These are lecture notes for a course I gave in mid-1990s for MSc students at the University of Bath. It presents an algorithm with singly exponential complexity for the existential theory of the reals, in the spirit of J. Renegar. The aim…
We introduce a novel integrability-preserving discretization for a broad class of differential equations with variable coefficients, encompassing both linear and nonlinear cases. The construction is achieved via a categorical approach that…
These lecture notes are intended to give a modest impulse to anyone willing to start or pursue a journey into the theory of Vertex Algebras by reading one of Kac's or Lepowsky-Li's books. Therefore, the primary goal is to provide required…
Since Leibniz algebras were introduced by Loday as a generalization of Lie algebras, there has been a lot of interest in which results of the latter extend to the former. Cyclic algebras, those generated by one element, are a useful tool…
In 1979 Valiant showed that the complexity class VP_e of families with polynomially bounded formula size is contained in the class VP_s of families that have algebraic branching programs (ABPs) of polynomially bounded size. Motivated by the…
This habilitation thesis is intended to be a good introduction to enumeration, the problem of listing solutions. It focuses on the different ways of measuring complexity in enumeration, with a particular emphasis on my contributions to the…
The present notes are based on a course on Cherednik algebras given by the first author at MIT in the Fall of 2009. Their goal is to give an introduction to Cherednik algebras, and to review the web of connections between them and other…
This thesis aims to provide a suite of techniques to generate completeness results for coalgebraic logics with axioms of arbitrary rank. We have chosen to investigate the possibility to generalize what is arguably one of the most successful…
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…
Ambiguity is shown in the context of the differential calculus of several variables and with the help of the language of category theory, a way to solve it in its most general form is offered. It is also shown that this new definition is…
We develop an explicit algebriac de Rham theory for relative completion of $\mathrm{SL}_2(\mathbb{Z})$. This allows the construction of iterated integrals involving modular forms of the second kind, generalizing iterated integrals of…
The space $\widehat{\ell }_k$ of absolutely almost convergent series was introduced and studied by Das et al [4]; which plays an important role in summability theory, approximation theory, Fourier analysis, etc. In the present paper we…
In this article, we apply some ideas developped by M. Cha{\l}upnik to the framework of strict polynomial bifunctors. This allows us to get a new proof of the existence of the `universal classes' originally constructed by the author.
An extension of the Dirac procedure for the quantization of constrained systems is necessary to address certain issues that are left open in Dirac's original proposal. These issues play an important role especially in the context of…
We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary…