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 | ||
| ||
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
| Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien |
| Autore | Holt, Derek F. |
| Pubbl/distr/stampa | Boca Raton [etc.], : Chapman & Hall/CRC, 2005 |
| Descrizione fisica | XVI, 514 p. ; 24 cm. |
| Altri autori (Persone) |
Eick, Bettina
O'Brien, Eamonn |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 15-8488-372-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0063482 |
|
Holt, Derek F.
|
||
| Boca Raton [etc.], : Chapman & Hall/CRC, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
| Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien |
| Autore | Holt, Derek F. |
| Pubbl/distr/stampa | Boca Raton [etc.], : Chapman & Hall/CRC, 2005 |
| Descrizione fisica | XVI, 514 p. ; 24 cm |
| Altri autori (Persone) |
Eick, Bettina
O'Brien, Eamonn |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 15-8488-372-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0063482 |
|
Holt, Derek F.
|
||
| Boca Raton [etc.], : Chapman & Hall/CRC, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
| Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien |
| Autore | Holt, Derek F. |
| Pubbl/distr/stampa | Boca Raton [etc.], : Chapman & Hall/CRC, 2005 |
| Descrizione fisica | XVI, 514 p. ; 24 cm |
| Altri autori (Persone) |
Eick, Bettina
O'Brien, Eamonn |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 15-8488-372-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0063482 |
|
Holt, Derek F.
|
||
| Boca Raton [etc.], : Chapman & Hall/CRC, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hypergeometric summation : an algorithmic approach to summation and special function identities / Wolfram Koepf
| Hypergeometric summation : an algorithmic approach to summation and special function identities / Wolfram Koepf |
| Autore | Koepf, Wolfram |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | London, : Springer, 2014 |
| Descrizione fisica | XVII, 279 p. ; 24 cm |
| Soggetto topico |
33F10 - Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 33C45 - Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) [MSC 2020] 05A19 - Combinatorial identities, bijective combinatorics [MSC 2020] 13P05 - Computational aspects and applications of commutative rings [MSC 2020] 33D15 - Basic hypergeometric functions in one variable, ${}_r\phi_s$ [MSC 2020] 33C20 - Generalized hypergeometric series, ${}_pF_q$ [MSC 2020] 33D45 - Basic orthogonal polynomials and functions (Askey-Wilson polynomials, etc.) [MSC 2020] 05A30 - $q$-calculus and related topics [MSC 2020] 11B65 - Binomial coefficients; factorials; $q$-identities [MSC 2020] |
| ISBN | 8-1-4471-6463-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0102576 |
|
Koepf, Wolfram
|
||
| London, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hypergeometric summation : an algorithmic approach to summation and special function identities / Wolfram Koepf
| Hypergeometric summation : an algorithmic approach to summation and special function identities / Wolfram Koepf |
| Autore | Koepf, Wolfram |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | London, : Springer, 2014 |
| Descrizione fisica | XVII, 279 p. ; 24 cm |
| Soggetto topico |
33F10 - Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 33C45 - Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) [MSC 2020] 05A19 - Combinatorial identities, bijective combinatorics [MSC 2020] 13P05 - Computational aspects and applications of commutative rings [MSC 2020] 33D15 - Basic hypergeometric functions in one variable, ${}_r\phi_s$ [MSC 2020] 33C20 - Generalized hypergeometric series, ${}_pF_q$ [MSC 2020] 33D45 - Basic orthogonal polynomials and functions (Askey-Wilson polynomials, etc.) [MSC 2020] 05A30 - $q$-calculus and related topics [MSC 2020] 11B65 - Binomial coefficients; factorials; $q$-identities [MSC 2020] |
| Soggetto non controllato |
Algorithmic Summation
Antidifference Basic Hypergeometric Series Combinatorics Differential Equation Fasenmyer Algorithm Generating Function Gosper Algorithm Hypergeometric series Non-commutative Factorization Operator Equation Ordinary differential equations Petkovsek Algorithm Recurrence Equation Rodrigues Formulas Van Hoeij Algorithm Zeilberger Algorithm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102576 |
|
Koepf, Wolfram
|
||
| London, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Irresistible integrals : symbolics, analysis and experiments in the evaluation of integrals / George Boros, Victor Moll
| Irresistible integrals : symbolics, analysis and experiments in the evaluation of integrals / George Boros, Victor Moll |
| Autore | Boros, George |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 2004 |
| Descrizione fisica | XIV, 306 p. ; 23 cm. |
| Altri autori (Persone) | Moll, Victor H. |
| Soggetto topico |
11Y60 - Evaluation of number-theoretic constants [MSC 2020]
33F10 - Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 00A05 - Mathematics in general [MSC 2020] |
| ISBN | 05-217-9186-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056843 |
|
Boros, George
|
||
| Cambridge, : Cambridge University, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Irresistible integrals : symbolics, analysis and experiments in the evaluation of integrals / George Boros, Victor Moll
| Irresistible integrals : symbolics, analysis and experiments in the evaluation of integrals / George Boros, Victor Moll |
| Autore | Boros, George |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 2004 |
| Descrizione fisica | XIV, 306 p. ; 23 cm |
| Altri autori (Persone) | Moll, Victor H. |
| Soggetto topico |
11Y60 - Evaluation of number-theoretic constants [MSC 2020]
33F10 - Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 00A05 - Mathematics in general [MSC 2020] |
| ISBN | 05-217-9186-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0056843 |
|
Boros, George
|
||
| Cambridge, : Cambridge University, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Machine Learning Control by Symbolic Regression / Askhat Diveev, Elizaveta Shmalko
| Machine Learning Control by Symbolic Regression / Askhat Diveev, Elizaveta Shmalko |
| Autore | Diveev, Askhat |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | ix, 155 p. : ill. ; 24 cm |
| Altri autori (Persone) | Shmalko, Elizaveta |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 62J02 - General nonlinear regression [MSC 2020] 65Gxx - Error analysis and interval analysis [MSC 2020] 68T05 - Learning and adaptive systems in artificial intelligence [MSC 2020] 68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] 93C40 - Adaptive control/observation systems [MSC 2020] 68Vxx - Computer science support for mathematical research and practice [MSC 2020] |
| Soggetto non controllato |
Analytic programming
Control synthesis Genetic algorithm Grammatical evolution Identification Machine learning Mobile robot control Multicriterial function search Network operator Optimal Control Symbolic regression Synergetic control Training set |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274895 |
|
Diveev, Askhat
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematica by example / Martha L. Abell, James P. Braselton
| Mathematica by example / Martha L. Abell, James P. Braselton |
| Autore | Abell, Martha L. |
| Edizione | [Rev. ed] |
| Pubbl/distr/stampa | Boston, : Academic Press Professional, 1994 |
| Descrizione fisica | XII, 523 p. : ill. ; 24 cm. |
| Soggetto topico | 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| ISBN | 978-01-204-1530-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0024297 |
|
Abell, Martha L.
|
||
| Boston, : Academic Press Professional, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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)