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.
1 / Martin Kreuzer, Lorenzo Robbiano
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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 | ||
| ||
Soggetto topico
-
68W30 - Symbolic computation and algebraic computation [MSC 2020]
(90)
- 65-XX - Numerical analysis [MSC 2020] (25)
- 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] (13)
- 65Fxx - Numerical linear algebra [MSC 2020] (13)
- 65Hxx - Nonlinear algebraic or transcendental equations [MSC 2020] (13)