The Gröbner Cover / Antonio Montes

• Autore: Montes, Antonio
• Pubblicazione: Cham, : Springer, 2018
• Titolo uniforme: The Gröbner Cover
• Descrizione fisica: xiv, 276 p. : ill. ; 24 cm
• Soggetto topico: 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]
• Soggetto non controllato: Canonical algorithms; Comprehensive Gröbner systems; Constructible sets; Gröbner Cover; Locally closed sets; Parameters; Parametric discussion; Parametric systems; Singular library
• Titolo autorizzato: Gröbner Cover
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0125031
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-03904-2
• Serie: Algorithms and computation in mathematics Berlin [etc.] . -Springer , 1997- ; 27