|
13-XX - Commutative algebra [MSC 2020] |
13A15 - Ideals and multiplicative ideal theory in commutative rings [MSC 2020] |
13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] |
13B25 - Polynomials over commutative rings [MSC 2020] |
11C08 - Polynomials in number theory [MSC 2020] |
68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] |
13Pxx - Computational aspects and applications [MSC 2020] |
03B35 - Mechanization of proofs and logical operations [MSC 2020] |