Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Using relational algebra on the specification of real world ETL processes

Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.

A relational algebra approach to ETL modeling

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

Recurrence relations for Clifford algebra-valued orthogonal polynomials

The theory of orthogonal polynomials of one real or complex variable is well established as well as its generalization for the multidimensional case. Hypercomplex function theory (or Clifford analysis) provides an alternative approach to deal with higher dimensions. In this context, we study systems of orthogonal polynomials of a hypercomplex variable with values in a Clifford algebra and prove some of their properties.

A linear algebra approach to OLAP

Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.

K-invariantes en el algebra universal de un grupo de Lie semisimple

Tarea (A):(...) Trataremos de extender a Sp(n,1) los resultados conseguidos sobre la imagen del homomorfismo de Lepowsky cuando G es SO(n,1) ó SU(n,1). (...) Tarea (B): (...) Para todo grupo de Lie de rango uno, con rango (G) = rango (K), los elementos del álgebra B son W-invariantes y que este resultado ya ha sido establecido para los grupos SO(2n,1) y SU(n,1); durante el período correspondiente a este subsidio esperamos extender este resultado a todo grupo de Lie de rango uno con rango (G) = rango (K). Tarea (C): Durante este período esperamos también avanzar en la determinación del dual unitario del grupo Spin (2n,C).

Stable rank of leavitt path algebra

We characterize the values of the stable rank for Leavitt path algebras, by giving concrete criteria in terms of properties of the underlying graph.

COMUNICAEMAT: comunicant objectius matemàtics unint nombres, càlcul, algebra, espai, mesura anglès i tecnologia

S' ha realitzat una anàlisi de processos comunicatius i didàctics en un treball de matemàtiques a Primària en llengua anglesa, emmarcat dins un projecte escolar plurilingüe. El treball s' organitza en forma de recerca-acció que analitza dos objectius principals: (a) elaboració de propostes d' activitat matemàtica i de formació de professorat, i (b) anàlisi del treball realitzat en una experiència escolar. Els resultats mostren que: (1) Les dificultats generals observades, es centren més sobre el contingut de la llengua matemàtica (anomenat L4), pel damunt de les pròpies de l’ús de la llengua anglesa L3. (2) Les decisions del professorat privilegiant l’ús de L1 i L2 (català i castellà) per a treballar L4 s’han mostrat positives i adients. La proposta elaborada, que segueix el model CLIL (Content Language Integrated Learning) ha estat positiva i reproduïble (3) Ha estat possible constatar un bon treball amb els estudiants de formació inicial de mestres de llengua estrangera futurs docents dins l'assignatura de Matemàtiques i la seva Didàctica.a la Formació de professorat. Tanmateix es reconeixen dificultats degudes al poc coneixement previ dels estudiants en L3 i L4 i el fet de ser la primera experiència d’aquest tipus que realitzen. (4) L’alumnat de l’escola és capaç de tenir una bona conversa oral en anglès al final de Primària, que creix en qualitat fins dominar estructures causals pròpies del raonament deductiu. (5) L’alumnat guanya en confiança en l’ús de les quatre llengües ,(6) el professorat incorpora relativament elements didàctics nous en la seva acció pedagògica.

A conjecture of Bavula on homomorphisms of Weyl algebra

"Vegeu el resum a l'inici del document del fitxer adjunt."

When is the second local multiplier algebra of a C*-algebra equal to the first?

We discuss necessary as well as sufficient conditions for the second iterated local multiplier algebra of a separable C*-algebra to agree with the first.

Graded algebra automorphisms

We consider the Clifford algebra C(q) of a regular quadratic space (V, q) over a field K with its structure of Z/2Z-graded K-algebra. We give a characterization of the group of graded automorphisms of C(q). In the last section we introduce the Z/nZ-graded algebras and we study as well as the group of graded automorphisms for some of them.

Vertailun vuoksi? : Boolen algebra alueellisen vertailun välineenä

English abstract

1.° Francisci Maurolyci de centro solidi parabolae demonstratio : praemittuntur catalogus ejusdem operum et observationes de ordine quo singula legenda sunt. — 2.° Descriptio hyperbolarum contrapositarum, diametrorum, tangentium, linearum continuè proportionalium et triangulorum aequalium : authore eodem. — 3.° Ejusdem algebra, sive potiùs, regulae calculi litteralis ad inveniendum terminum quemlibet proportionis geometricè continuae.

Colbertinus