The following pages link to Termination of algorithm for computing relative Gröbner bases and difference differential dimension polynomials (Q2355653):
Displaying 1 item.