LEADER 02400nam0 2200505 i 450 001 VAN0125031 005 20230630015054.631 017 70$2N$a9783030039042 100 $a20191029d2018 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aˆThe ‰Gröbner Cover$fAntonio Montes 210 $aCham$cSpringer$d2018 215 $axiv, 276 p.$cill.$d24 cm 410 1$1001VAN0044925$12001 $aAlgorithms and computation in mathematics$1210 $aBerlin [etc.]$cSpringer$d1997-$v27 500 1$3VAN0236535$aˆThe ‰Gröbner Cover$91563798 606 $a13-XX$xCommutative algebra [MSC 2020]$3VANC019732$2MF 606 $a13A15$xIdeals and multiplicative ideal theory in commutative rings [MSC 2020]$3VANC021319$2MF 606 $a13F20$xPolynomial rings and ideals; rings of integer-valued polynomials [MSC 2020]$3VANC021371$2MF 606 $a13B25$xPolynomials over commutative rings [MSC 2020]$3VANC022398$2MF 606 $a11C08$xPolynomials in number theory [MSC 2020]$3VANC022428$2MF 606 $a68V15$xTheorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]$3VANC024545$2MF 606 $a13Pxx$xComputational aspects and applications [MSC 2020]$3VANC029095$2MF 606 $a03B35$xMechanization of proofs and logical operations [MSC 2020]$3VANC033871$2MF 610 $aCanonical algorithms$9KW:K 610 $aComprehensive Gröbner systems$9KW:K 610 $aConstructible sets$9KW:K 610 $aGröbner Cover$9KW:K 610 $aLocally closed sets$9KW:K 610 $aParameters$9KW:K 610 $aParametric discussion$9KW:K 610 $aParametric systems$9KW:K 610 $aSingular library$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aMontes$bAntonio$3VANV096485$0767914 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-03904-2$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0125031 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 1406 $e08eMF1406 20191029 996 $aGröbner Cover$91563798 997 $aUNICAMPANIA