Signature-based algorithm under non-compatible term orders and its application to change of ordering
| Autor: | Noro, Masayuki |
|---|---|
| Zdroj: | In Journal of Computational Algebra December 2024 12 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Noro, Masayuki |
|---|---|
| Zdroj: | In Journal of Computational Algebra December 2024 12 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|