相关论文: Evolving Algebras and Partial Evaluation
The paper is devoted to the study of annihilator extensions of evolution algebras and suggests an approach to classify finite-dimensional nilpotent evolution algebras. Subsequently nilpotent evolution algebras of dimension up to four are…
We develop a random model for relation algebras. We prove some preliminary results and pose questions that lay out a new direction of research.
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
We consider an evolution algebra which corresponds to a bisexual population with a set of females partitioned into finitely many different types and the males having only one type. We study basic properties of the algebra. This algebra is…
In the paper we give a complete classification of $2$-dimensional evolution algebras over algebraically closed fields, describe their groups of automorphisms and derivation algebras.
We develop a new framework of relative algebroids to address existence and classification problems of geometric structures subject to partial differential equations.
An algebraic technique adapted to the problems of the fundamental theoretical physics is presented. The exposition is an elaboration and an extension of the methods proposed in previous works by the aut
Partial evaluation (PE) is a powerful and general program optimization technique with many successful applications. However, it has never been investigated in the context of expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF,…
We define a new grading, that we call the "level grading", on the algebra of polynomials generated by the derivatives $u_{k+i}=\partial^{k+i}u/\partial x^{k+i}$ over the ring $K^{(k)}$ of $C^{\infty}$ functions of $u,u_1,...,u_k$. This…
In this paper, we study modularity in the context of evolution algebras. Although this property has been previously considered, a complete description is still missing in several natural settings. In particular, we obtain a full…
This short note provides positive answers to two conjectures of Camacho, Khudoyberdiyev, and Omirov on the classification of complete evolution algebras. Our approach is based on analysing the solution set of a generic non-linear polynomial…
We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution algebras. We also…
This note is an expanded and updated version of our entry with the same title for the 2006 Encyclopedia of Mathematical Physics. We give a brief overview of graded Poisson algebras, their main properties and their main applications, in the…
We formulate the notion of continuous evolution algebra in terms of differentiable matrix-valued functions, to then study those such algebras arising as solutions of ODE problems. Given their dependence on natural bases, matrix Lie groups…
In this article we consider partial abelianization of associative algebra with respect to a subalgebra. This notion is a generalization of usual abelianization of associative algebra and has an application in Quantum Mechanics and Quantum…
We formulate learning guided Automated Theorem Proving as Partial Label Learning, building the first bridge across these fields of research and providing a theoretical framework for dealing with alternative proofs during learning. We use…
Evolution algebras are a special class of non-associative algebras exhibiting connections with different fields of Mathematics. Hilbert evolution algebras generalize the concept through a framework of Hilbert spaces. This allows to deal…
Evaluation of students' performance for the completion of courses has been a major problem for both students and faculties during the work-from-home period in this COVID pandemic situation. To this end, this paper presents an in-depth…
Hilbert evolution algebras generalize evolution algebras through a framework of Hilbert spaces. In this work we focus on infinite-dimensional Hilbert evolution algebras and their representation through a suitably defined weighted digraph.…
Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task.…