Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Gröbner bases : a computational approach to commutative algebra / Thomas Becker, Volker Weispfenning ; in cooperation with Heinz Kredel
| Gröbner bases : a computational approach to commutative algebra / Thomas Becker, Volker Weispfenning ; in cooperation with Heinz Kredel |
| Autore | Becker, Thomas |
| Pubbl/distr/stampa | New York, : Springer, 1993 |
| Descrizione fisica | XXII, 574 p. ; 25 cm |
| Altri autori (Persone) | Weispfenning, Volker B. |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
12-08 - Computational methods for problems pertaining to field theory [MSC 2020] 13P10 - Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) [MSC 2020] |
| ISBN | 978-03-87979-71-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052339 |
Becker, Thomas
|
||
| New York, : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Gröbner Bases : A Computational Approach to Commutative Algebra / Thomas Becker, Volker Weispfenning ; in cooperation with Heinz Kredel
| Gröbner Bases : A Computational Approach to Commutative Algebra / Thomas Becker, Volker Weispfenning ; in cooperation with Heinz Kredel |
| Autore | Becker, Thomas |
| Pubbl/distr/stampa | New York, : Springer, 1993 |
| Descrizione fisica | xxii, 574 p. ; 25 cm |
| Altri autori (Persone) | Weispfenning, Volker B. |
| Soggetto topico |
12-08 - Computational methods for problems pertaining to field theory [MSC 2020]
13P10 - Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Abstract algebra
Algebra Algebraic structures Axiom of choice Equations Finite Functions Mathematics Morphisms Vector spaces |
| ISBN | 978-03-87979-71-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052339 |
|
Becker, Thomas
|
||
| New York, : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Gröbner Bases : A Computational Approach to Commutative Algebra / Thomas Becker, Volker Weispfenning ; in cooperation with Heinz Kredel
| Gröbner Bases : A Computational Approach to Commutative Algebra / Thomas Becker, Volker Weispfenning ; in cooperation with Heinz Kredel |
| Autore | Becker, Thomas |
| Pubbl/distr/stampa | New York, : Springer, 1993 |
| Descrizione fisica | xxii, 574 p. ; 25 cm |
| Altri autori (Persone) | Weispfenning, Volker B. |
| Soggetto topico |
12-08 - Computational methods for problems pertaining to field theory [MSC 2020]
13P10 - Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Abstract algebra
Algebra Algebraic structures Axiom of choice Equations Finite Functions Mathematics Morphisms Vector spaces |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00291710 |
|
Becker, Thomas
|
||
| New York, : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory and algebra [e-book] : a memorial tribute to Abraham Robinson / edited by Daniel H. Saracino, Volker B. Weispfenning
| Model theory and algebra [e-book] : a memorial tribute to Abraham Robinson / edited by Daniel H. Saracino, Volker B. Weispfenning |
| Pubbl/distr/stampa | Berlin : Springer, 1975 |
| Descrizione fisica | 1 online resource (x, 463 p.) |
| Disciplina | 510 |
| Altri autori (Persone) |
Saracino, Daniel H.
Weispfenning, Volker B. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 498 |
| Soggetto topico | Mathematics |
| ISBN | 9783540380573 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002181809707536 |
| Berlin : Springer, 1975 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model Theory and Algebra : A Memorial Tribute to Abraham Robinson / edited by D. H. Saracino and V. B. Weispfenning
| Model Theory and Algebra : A Memorial Tribute to Abraham Robinson / edited by D. H. Saracino and V. B. Weispfenning |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | x, 463 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Forcing Model theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256473 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model Theory and Algebra : A Memorial Tribute to Abraham Robinson / edited by D. H. Saracino and V. B. Weispfenning
| Model Theory and Algebra : A Memorial Tribute to Abraham Robinson / edited by D. H. Saracino and V. B. Weispfenning |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | x, 463 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Forcing Model theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00256473 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symbolic Rewriting Techniques / Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier editors
| Symbolic Rewriting Techniques / Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier editors |
| Pubbl/distr/stampa | Basel, : Springer, : Birkhäuser, 1998 |
| Descrizione fisica | viii, 288 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Algebra
Computer algebra Equations Group theory Ring theory commutatitve algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298023 |
| Basel, : Springer, : Birkhäuser, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||