Recursive structures in involutive bases theory

Autor: Amir Hashemi, Matthias Orth, Werner M. Seiler
Rok vydání: 2023
Předmět:
Zdroj: Journal of Symbolic Computation. 118:32-68
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2023.01.003
Databáze: OpenAIRE