Centro de Investigación e Tecnoloxía Matemática de Galicia (CITMAga)
Centro de Investigación Interuniversitario
Manuel A.
Insua
Publicacións nas que colabora con Manuel A. Insua (10)
2016
-
A refined algorithm for testing the Leibniz n-algebra structure
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
-
Test for Leibniz n-algebra structure
Linear Algebra and Its Applications, Vol. 494, pp. 138-155
2012
-
An algorithm for the classification of 3-dimensional complex Leibniz algebras
Linear Algebra and Its Applications, Vol. 436, Núm. 9, pp. 3747-3756
-
Effective computation of Hom-Leibniz homology
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
2010
-
Test for Lie n-algebra structure
EACA 2010: XII Encuentro de Álgebra Computacional y Aplicaciones = 12th Meeting on Computer Algebra and Applications : Libro de resúmenes = Book of abstracts : Santiago de Compostela, 19-21 de julio de 2010
2009
-
Algorithm for testing the Leibniz algebra structure
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Gröbner bases in universal enveloping algebras of Leibniz algebras
Journal of Symbolic Computation, Vol. 44, Núm. 5, pp. 517-526
2008
-
A note on Gröbner bases and Berlekamp's algorithm
Applied Mathematics and Computation, Vol. 196, Núm. 1, pp. 77-85
2007
-
Poincaré-Birkhoff-Witt theorem for Leibniz n-algebras
Journal of Symbolic Computation, Vol. 42, Núm. 11-12, pp. 1052-1065
2006
-
Bases de Gröbner en álgebras envolventes universales de álgebras de Leibniz
Actas del Décimo Encuentro de Álgebra Computacional y Aplicaciones: Book of abstracts Tenth Meeting on Computer Algebra and Applications : Sevilla, 7-9 de septiembre de 2006