02400nam0 2200505 i 450 VAN012503120230630015054.631N978303003904220191029d2018 |0itac50 baengCH|||| |||||ˆThe ‰Gröbner CoverAntonio MontesChamSpringer2018xiv, 276 p.ill.24 cm001VAN00449252001 Algorithms and computation in mathematics210 Berlin [etc.]Springer1997-27VAN0236535ˆThe ‰Gröbner Cover156379813-XXCommutative algebra [MSC 2020]VANC019732MF13A15Ideals and multiplicative ideal theory in commutative rings [MSC 2020]VANC021319MF13F20Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020]VANC021371MF13B25Polynomials over commutative rings [MSC 2020]VANC022398MF11C08Polynomials in number theory [MSC 2020]VANC022428MF68V15Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]VANC024545MF13PxxComputational aspects and applications [MSC 2020]VANC029095MF03B35Mechanization of proofs and logical operations [MSC 2020]VANC033871MFCanonical algorithmsKW:KComprehensive Gröbner systemsKW:KConstructible setsKW:KGröbner CoverKW:KLocally closed setsKW:KParametersKW:KParametric discussionKW:KParametric systemsKW:KSingular libraryKW:KCHChamVANL001889MontesAntonioVANV096485767914Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-03904-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0125031BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1406 08eMF1406 20191029 Gröbner Cover1563798UNICAMPANIA