1 / Martin Kreuzer, Lorenzo Robbiano |
Autore | Kreuzer, Martin |
Pubbl/distr/stampa | Berlin, : Springer, 2000 |
Descrizione fisica | IX, 321 p. ; 24 cm |
Altri autori (Persone) | Robbiano, Lorenzo |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
14Qxx - Computational aspects in algebraic geometry [MSC 2020] 13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] 13E15 - Commutative rings and modules of finite generation or presentation; number of generators [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 | 35-406-7733-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0060592 |
Kreuzer, Martin | ||
Berlin, : Springer, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
1: Transcendental functions / Manuel Bronstein |
Autore | Bronstein, Manuel |
Pubbl/distr/stampa | Berlin, : Springer, 1997 |
Descrizione fisica | XIII, 299 p. ; 24 cm |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
28-XX - Measure and integration [MSC 2020] 12-08 - Computational methods for problems pertaining to field theory [MSC 2020] 12H05 - Differential algebra [MSC 2020] 33B10 - Exponential and trigonometric functions [MSC 2020] |
ISBN | 978-36-620-3388-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0053515 |
Bronstein, Manuel | ||
Berlin, : Springer, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
1: Transcendental functions |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
28-XX - Measure and integration [MSC 2020] 12-08 - Computational methods for problems pertaining to field theory [MSC 2020] 12H05 - Differential algebra [MSC 2020] 33B10 - Exponential and trigonometric functions [MSC 2020] |
ISBN | 8-3-662-03388-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0053515 |
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
2 / Martin Kreuzer, Lorenzo Robbiano |
Autore | Kreuzer, Martin |
Pubbl/distr/stampa | Berlin, : Springer, 2005 |
Descrizione fisica | X, 586 p. ; 24 cm |
Altri autori (Persone) | Robbiano, Lorenzo |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
14Qxx - Computational aspects in algebraic geometry [MSC 2020] 13P10 - Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) [MSC 2020] 13D40 - Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series [MSC 2020] 13A02 - Graded rings [MSC 2020] |
ISBN | 35-402-5527-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0059373 |
Kreuzer, Martin | ||
Berlin, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / Carsten Schneider, Eugene Zima editors |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xi, 280 p. : ill. ; 24 cm |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
33-XX - Special functions [MSC 2020] 33Fxx - Computational aspects of special functions [MSC 2020] |
Soggetto non controllato |
Combinatorics
Complexity Computer algebra Mathematical software Special functions Symbolic Integration Symbolic summation |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124529 |
Cham, : Springer, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / Carsten Schneider, Eugene Zima editors |
Edizione | [Cham : Springer, 2018] |
Pubbl/distr/stampa | xi, 280 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
33-XX - Special functions [MSC 2020] 33Fxx - Computational aspects of special functions [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0124529 |
xi, 280 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algorithms for modular elliptic curves / J. E. Cremona |
Autore | Cremona, John E. |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1997 |
Descrizione fisica | 376 p. ; 30 cm. |
Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 14H52 - Elliptic curves [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 14G35 - Modular and Shimura varieties [MSC 2020] 14Q05 - Computational aspects of algebraic curves [MSC 2020] |
ISBN |
05-215-9820-6
978-05-215-9820-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0054663 |
Cremona, John E. | ||
Cambridge, : Cambridge university, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algorithms for modular elliptic curves / J. E. Cremona |
Autore | Cremona, John E. |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1997 |
Descrizione fisica | 376 p. ; 30 cm |
Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 14H52 - Elliptic curves [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 14G35 - Modular and Shimura varieties [MSC 2020] 14Q05 - Computational aspects of algebraic curves [MSC 2020] |
ISBN |
05-215-9820-6
978-05-215-9820-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0054663 |
Cremona, John E. | ||
Cambridge, : Cambridge university, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy |
Autore | Basu, Saugata |
Edizione | [2. ed] |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | VIII, 602 p. : ill. ; 24 cm. |
Altri autori (Persone) |
Roy, Marie-Françoise
Pollack, Richard D. |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 14P10 - Semialgebraic sets and related spaces [MSC 2020] 52C45 - Combinatorial complexity of geometric structures [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] |
ISBN | 35-403-3098-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0065556 |
Basu, Saugata | ||
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy |
Autore | Basu, Saugata |
Edizione | [2. ed] |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | VIII, 602 p. : ill. ; 24 cm |
Altri autori (Persone) |
Pollack, Richard D.
Roy, Marie-Françoise |
Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 14P10 - Semialgebraic sets and related spaces [MSC 2020] 52C45 - Combinatorial complexity of geometric structures [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] |
ISBN | 978-35-403-3098-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNISOB-VAN0065556 |
Basu, Saugata | ||
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|