Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Isaac Ren"'
Autor:
Philippe Malbos, Isaac Ren
Publikováno v:
ISSAC
46th International Symposium on Symbolic and Algebraic Computation
46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465552⟩
46th International Symposium on Symbolic and Algebraic Computation
46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465552⟩
International audience; We introduce an improved Gröbner basis completion algorithm for operads. To this end, we define operadic rewriting systems as a machinery to rewrite in operads, whose rewriting rules do not necessarily depend on an ambient mo