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: 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 |
12-08 - Computational methods for problems pertaining to field theory [MSC 2020]
12H05 - Differential algebra [MSC 2020] 28-XX - Measure and integration [MSC 2020] 33B10 - Exponential and trigonometric functions [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithms Computation Computer algebra Differential equations Mathematics Subresultants Symbolic Computation Symbolic algorithms Symbolic integrations |
| ISBN | 978-36-620-3388-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053515 |
Bronstein, Manuel
|
||
| Berlin, : Springer, 1997 | ||
| 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 |
12-08 - Computational methods for problems pertaining to field theory [MSC 2020]
12H05 - Differential algebra [MSC 2020] 28-XX - Measure and integration [MSC 2020] 33B10 - Exponential and trigonometric functions [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithms Computation Computer algebra Differential equations Mathematics Subresultants Symbolic Computation Symbolic algorithms Symbolic integrations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297532 |
|
Bronstein, Manuel
|
||
| Berlin, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Computational Algebraic Number Theory / Henri Cohen
| A Course in Computational Algebraic Number Theory / Henri Cohen |
| Autore | Cohen, Henri |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1993 |
| Descrizione fisica | XXI, 534 p. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Rxx - Algebraic number theory: global fields [MSC 2020] 11Y05 - Factorization [MSC 2020] 11Y11 - Primality [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 11Y40 - Algebraic number theory computations [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithm analysis and problem complexity Algorithms Computer algebra Computers Factorisation Number theory Primality Symbolic Computation |
| ISBN | 978-35-405-5640-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00029432 |
|
Cohen, Henri
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Computational Algebraic Number Theory / Henri Cohen
| A Course in Computational Algebraic Number Theory / Henri Cohen |
| Autore | Cohen, Henri |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1993 |
| Descrizione fisica | xxi, 534 p. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Rxx - Algebraic number theory: global fields [MSC 2020] 11Y05 - Factorization [MSC 2020] 11Y11 - Primality [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 11Y40 - Algebraic number theory computations [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithm analysis and problem complexity Algorithms Computer algebra Computers Factorisation Number theory Primality Symbolic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00290387 |
|
Cohen, Henri
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computer mathematics : 9. asian symposium (ASCM2009), Fukuoka, december 2009, 10. asian symposium (ASCM2012), Beijing, october 2012, contributed papers and invited talks / Ruyong Feng, Wen-shin Lee, Yosuke Sato editors
| Computer mathematics : 9. asian symposium (ASCM2009), Fukuoka, december 2009, 10. asian symposium (ASCM2012), Beijing, october 2012, contributed papers and invited talks / Ruyong Feng, Wen-shin Lee, Yosuke Sato editors |
| Pubbl/distr/stampa | Berlin, : Springer, 2014 |
| Descrizione fisica | XVI, 503 p. : ill. ; 24 cm |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68U05 - Computer graphics; computational geometry (digital and algorithmic aspects) [MSC 2020] 65Y20 - Complexity and performance of numerical algorithms [MSC 2020] 68P05 - Data structures [MSC 2020] |
| Soggetto non controllato |
Differential and difference algebra
Gröbner Bases Maple Package Mathematics software design Numerical computation Scientific and engineering computing Symbolic Computation Symbolic-numerical computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0104195 |
| Berlin, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computer mathematics : 9. asian symposium (ASCM2009), Fukuoka, december 2009, 10. asian symposium (ASCM2012), Beijing, october 2012, contributed papers and invited talks / Ruyong Feng, Wen-shin Lee, Yosuke Sato editors
| Computer mathematics : 9. asian symposium (ASCM2009), Fukuoka, december 2009, 10. asian symposium (ASCM2012), Beijing, october 2012, contributed papers and invited talks / Ruyong Feng, Wen-shin Lee, Yosuke Sato editors |
| Pubbl/distr/stampa | Berlin, : Springer, 2014 |
| Descrizione fisica | XVI, 503 p. : ill. ; 24 cm |
| Soggetto topico |
65Y20 - Complexity and performance of numerical algorithms [MSC 2020]
68P05 - Data structures [MSC 2020] 68U05 - Computer graphics; computational geometry (digital and algorithmic aspects) [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Differential and difference algebra
Gröbner Bases Maple Package Mathematics software design Numerical computation Scientific and engineering computing Symbolic Computation Symbolic-numerical computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00104195 |
| Berlin, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
D-Finite Functions / Manuel Kauers
| D-Finite Functions / Manuel Kauers |
| Autore | Kauers, Manuel |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | x, 664 p. : ill. ; 24 cm |
| Soggetto non controllato |
Computer algebra
D-finite functions Differentiably finite functions Differential equations Discrete mathematics Holonomic functions Linear recurrences Ore algebras Special functions Symbolic Computation Symbolic summation and integration |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0279426 |
|
Kauers, Manuel
|
||
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
D-Finite Functions / Manuel Kauers
| D-Finite Functions / Manuel Kauers |
| Autore | Kauers, Manuel |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | x, 664 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Computer algebra
D-finite functions Differentiably finite functions Differential equations Discrete mathematics Holonomic functions Linear recurrences Ore algebras Special functions Symbolic Computation Symbolic summation and integration |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00279426 |
|
Kauers, Manuel
|
||
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First Leaves: A Tutorial Introduction to Maple 5. / Bruce W. Char ... [et al.]
| First Leaves: A Tutorial Introduction to Maple 5. / Bruce W. Char ... [et al.] |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, 1992 |
| Descrizione fisica | xviii, 253 p. : ill. ; 24 cm |
| Soggetto topico |
13Pxx - Computational aspects and applications [MSC 2020]
68-XX - Computer science [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Calculation
Computation Functions Programming Programming languages Symbolic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289985 |
| New York [etc.], : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Future vision and trends on shapes, geometry and algebra / Raffaele De Amicis, Giuseppe Conti editors
| Future vision and trends on shapes, geometry and algebra / Raffaele De Amicis, Giuseppe Conti editors |
| Pubbl/distr/stampa | London, : Springer, 2014 |
| Descrizione fisica | VIII, 162 p. : ill. ; 24 cm |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68U10 - Computing methodologies for image processing [MSC 2020] 68U07 - Computer science aspects of computer-aided design [MSC 2020] 65D17 - Computer-aided design (modeling of curves and surfaces) [MSC 2020] 13P15 - Solving polynomial systems; resultants [MSC 2020] |
| Soggetto non controllato |
Algebraic Geometry
Computer aided design Geometric Modelling Polynomial Systems Symbolic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102572 |
| London, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
