Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Philippe Malbos"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)
We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleene algebra, a higher-dimensional generalisation of modal and concurrent
Externí odkaz:
https://doaj.org/article/0a53cf6d1ce14baa98c252946e41df48
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
Autor:
Philippe Malbos, Kenji Iohara
Publikováno v:
Archive for History of Exact Sciences
Archive for History of Exact Sciences, Springer Verlag, 2021, 75 (1), pp.43-81. ⟨10.1007/s00407-020-00255-y⟩
Archive for History of Exact Sciences, Springer Verlag, 2021, 75 (1), pp.43-81. ⟨10.1007/s00407-020-00255-y⟩
This article describes the emergence of formal methods in theory of partial differential equations (PDE) in the French school of mathematics through Janet’s work in the period 1913–1930. In his thesis and in a series of articles published during
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3143119487729c3f28a7875eeb90e73
https://hal.archives-ouvertes.fr/hal-03230679
https://hal.archives-ouvertes.fr/hal-03230679
Publikováno v:
HAL
Relational and Algebraic Methods in Computer Science ISBN: 9783030887001
RAMiCS
19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021
19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Nov 2021, Marseille, France
Relational and Algebraic Methods in Computer Science ISBN: 9783030887001
RAMiCS
19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021
19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Nov 2021, Marseille, France
International audience; Normalisation strategies give a categorical interpretation of the notion of contracting homotopy via confluent and terminating rewriting. This approach relates standardisation to coherence results in the context of higher-dime
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fbd337a0d476ef512237f33add376d20
https://hal.science/hal-03334734
https://hal.science/hal-03334734
Autor:
Kenji Iohara, Philippe Malbos
Publikováno v:
Archive for History of Exact Sciences
Archive for History of Exact Sciences, Springer Verlag, 2021, 75, pp.43-81
HAL
Archive for History of Exact Sciences, Springer Verlag, 2021, 75, pp.43-81
HAL
This article presents the emergence of formal methods in theory of partial differential equations (PDE) in the french school of mathematics through Janet's work in the period 1913-1930. In his thesis and in a series of articles published during this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdfa1bf3284a5bbcb547d4ab752f8a1c
https://hal.archives-ouvertes.fr/hal-02375192/file/JanetAlgorithms.pdf
https://hal.archives-ouvertes.fr/hal-02375192/file/JanetAlgorithms.pdf
Publikováno v:
HAL
Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are based on higher-dimensional extensions of the critical branching lemma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::444dfd2708841a82029aeec46896d2e9
https://hal.science/hal-02945665v2
https://hal.science/hal-02945665v2
Autor:
Philippe Malbos, Kenji Iohara
Publikováno v:
Two algebraic byways from differential equations : Gröbner Bases and Quivers
Two algebraic byways from differential equations : Gröbner Bases and Quivers, 28, Springer, 2020, Algorithms and Computations in Mathematics, ⟨10.1007/978-3-030-26454-3_1⟩
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers ISBN: 9783030264536
Two algebraic byways from differential equations : Gröbner Bases and Quivers, 28, Springer, 2020, Algorithms and Computations in Mathematics, ⟨10.1007/978-3-030-26454-3_1⟩
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers ISBN: 9783030264536
This chapter is devoted to a survey of the historical background of Grobner bases for D-modules and linear rewriting theory largely developed in algebra throughout the twentieth century and to present deep relationships between them. Completion metho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19440deda8576c471f43933a54fd26d6
https://hal.archives-ouvertes.fr/hal-01673715v3/document
https://hal.archives-ouvertes.fr/hal-01673715v3/document
Autor:
Philippe Malbos
Publikováno v:
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers ISBN: 9783030264536
The aim of this chapter is to provide a summary of the theory of linear rewriting and the application of this theory to the construction of free resolutions for associative algebras. In Sect. 2, we present linear polygraphs as an algebraic setting fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c97498fcdeb28243da6af6007027cef5
https://doi.org/10.1007/978-3-030-26454-3_4
https://doi.org/10.1007/978-3-030-26454-3_4
Autor:
Nohra Hage, Philippe Malbos
Publikováno v:
Algebras and Representation Theory. 20:1259-1288
We construct finite coherent presentations of plactic monoids of type A. Such coherent presentations express a system of generators and relations for the monoid extended in a coherent way to give a family of generators of the relations amongst the re