41 citations · 45 across the 2 of their papers we have counts for
3 papers
cs.AI2023★ 4 cited
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
Joana Teles, Vanda Santos, Pedro Quaresma
The introduction of automated deduction systems in secondary schools face several bottlenecks. Beyond the problems related with the curricula and the teachers, the dissonance betwe…
math.RA2015
Universal Algebra of a Hom-Lie Algebra and group-like elements
Camille Laurent-Gengoux, Abdenacer Makhlouf, Joana Teles
We construct the universal enveloping algebra of a Hom-Lie algebra and endow it with a Hom-Hopf algebra structure. We discuss group-like elements that we see as a Hom-group integra…
math.DG2012★ 41 cited
Hom-Lie algebroids
Camille Laurent-Gengoux, Joana Teles
We define hom-Lie algebroids, a definition that may seem cumbersome at first, but which is justified, first, by a one-to-one corespondence with hom-Gerstenhaber algebras, a notion…