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.
Computational and experimental group theory : AMS-ASL joint special session interactions between logic, group theory and computer science : january 15-16, 2003, Baltimore, Maryland / Alexandre V. Borovik, Alexei G. Myasnikov editors
| Computational and experimental group theory : AMS-ASL joint special session interactions between logic, group theory and computer science : january 15-16, 2003, Baltimore, Maryland / Alexandre V. Borovik, Alexei G. Myasnikov editors |
| Autore | AMS-ASL joint special session interaction between logic, group theory and computer science : 2003 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2004 |
| Descrizione fisica | VIII, 224 p. ; 26 cm |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-08-218-3483-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053180 |
AMS-ASL joint special session interaction between logic, group theory and computer science : 2003
|
||
| Providence, : American Mathematical Society, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational and experimental group theory : AMS-ASL joint special session interactions between logic, group theory and computer science : january 15-16, 2003, Baltimore, Maryland / Alexandre V. Borovik, Alexei G. Myasnikov editors
| Computational and experimental group theory : AMS-ASL joint special session interactions between logic, group theory and computer science : january 15-16, 2003, Baltimore, Maryland / Alexandre V. Borovik, Alexei G. Myasnikov editors |
| Autore | AMS-ASL joint special session interaction between logic, group theory and computer science : 2003 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2004 |
| Descrizione fisica | VIII, 224 p. ; 26 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
20-XX - Group theory and generalizations [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| ISBN | 978-08-218-3483-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053180 |
|
AMS-ASL joint special session interaction between logic, group theory and computer science : 2003
|
||
| Providence, : American Mathematical Society, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational commutative algebra 1 / Martin Kreuzer, Lorenzo Robbiano
| Computational commutative algebra 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-SUN0060592 |
|
Kreuzer, Martin
|
||
| Berlin, : Springer, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational commutative algebra 2 / Martin Kreuzer, Lorenzo Robbiano
| Computational commutative algebra 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-SUN0059373 |
|
Kreuzer, Martin
|
||
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational integration / Arnold R. Krommer, Christoph W. Ueberhuber
| Computational integration / Arnold R. Krommer, Christoph W. Ueberhuber |
| Autore | Krommer, Arnold R. |
| Pubbl/distr/stampa | Philadelphia, : SIAM, 1998 |
| Descrizione fisica | XIX, 445 p. : ill. ; 25 cm. |
| Altri autori (Persone) | Ueberhuber, Christoph W. |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 41A55 - Approximate quadratures [MSC 2020] 41A63 - Multidimensional problems [MSC 2020] 65D32 - Numerical quadrature and cubature formulas [MSC 2020] 65D30 - Numerical integration [MSC 2020] 65Y05 - Parallel numerical computation [MSC 2020] |
| ISBN | 08-987137-4-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053163 |
|
Krommer, Arnold R.
|
||
| Philadelphia, : SIAM, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational integration / Arnold R. Krommer, Christoph W. Ueberhuber
| Computational integration / Arnold R. Krommer, Christoph W. Ueberhuber |
| Autore | Krommer, Arnold R. |
| Pubbl/distr/stampa | Philadelphia, : SIAM, 1998 |
| Descrizione fisica | XIX, 445 p. : ill. ; 25 cm |
| Altri autori (Persone) | Ueberhuber, Christoph W. |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 41A55 - Approximate quadratures [MSC 2020] 41A63 - Multidimensional problems [MSC 2020] 65D32 - Numerical quadrature and cubature formulas [MSC 2020] 65D30 - Numerical integration [MSC 2020] 65Y05 - Parallel numerical computation [MSC 2020] |
| ISBN | 08-987137-4-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053163 |
|
Krommer, Arnold R.
|
||
| Philadelphia, : SIAM, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational integration / Arnold R. Krommer, Christoph W. Ueberhuber
| Computational integration / Arnold R. Krommer, Christoph W. Ueberhuber |
| Autore | Krommer, Arnold R. |
| Pubbl/distr/stampa | Philadelphia, : SIAM, 1998 |
| Descrizione fisica | XIX, 445 p. : ill. ; 25 cm |
| Altri autori (Persone) | Ueberhuber, Christoph W. |
| Soggetto topico |
41A55 - Approximate quadratures [MSC 2020]
41A63 - Multidimensional problems [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 65D30 - Numerical integration [MSC 2020] 65D32 - Numerical quadrature and cubature formulas [MSC 2020] 65Y05 - Parallel numerical computation [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| ISBN | 08-987137-4-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053163 |
|
Krommer, Arnold R.
|
||
| Philadelphia, : SIAM, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels
| Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels |
| Autore | Bokowski, Jürgen |
| Pubbl/distr/stampa | Berlin, : Springer, 1989 |
| Descrizione fisica | viii, 172 p. ; 24 cm |
| Altri autori (Persone) | Sturmfels, Bernd |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
05-XX - Combinatorics [MSC 2020] 68Rxx - Discrete mathematics in relation to computer science [MSC 2020] 05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 51D20 - Combinatorial geometries and geometric closure systems [MSC 2020] 51A20 - Configuration theorems in linear incidence geometry [MSC 2020] 52Bxx - Polytopes and polyhedra [MSC 2020] 14M15 - Grassmannians, Schubert varieties, flag manifolds [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Complexity Computer algebra Construction Discrete geometry Fields Knowledge Manifolds Mathematica Mathematics Microsoft Access Processing Vector spaces eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0265716 |
|
Bokowski, Jürgen
|
||
| Berlin, : Springer, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels
| Computational Synthetic Geometry / Jürgen Bokowski, Bernd Sturmfels |
| Autore | Bokowski, Jürgen |
| Pubbl/distr/stampa | Berlin, : Springer, 1989 |
| Descrizione fisica | viii, 172 p. ; 24 cm |
| Altri autori (Persone) | Sturmfels, Bernd |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 14M15 - Grassmannians, Schubert varieties, flag manifolds [MSC 2020] 51A20 - Configuration theorems in linear incidence geometry [MSC 2020] 51D20 - Combinatorial geometries and geometric closure systems [MSC 2020] 52Bxx - Polytopes and polyhedra [MSC 2020] 68Rxx - Discrete mathematics in relation to computer science [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Complexity Computer algebra Construction Discrete geometry Fields Knowledge Manifolds Mathematica Mathematics Microsoft Access Processing Vector spaces eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00265716 |
|
Bokowski, Jürgen
|
||
| Berlin, : Springer, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computations and combinatorics in commutative algebra : EACA school, Valladolid 2013 / Anna M. Bigatti, Philippe Gimenez, Eduardo Sáenz-de-Cabezón editors
| Computations and combinatorics in commutative algebra : EACA school, Valladolid 2013 / Anna M. Bigatti, Philippe Gimenez, Eduardo Sáenz-de-Cabezón editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2017 |
| Descrizione fisica | VIII, 127 p. : ill. ; 24 cm |
| Soggetto topico |
13-XX - Commutative algebra [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 05E40 - Combinatorial aspects of commutative algebra [MSC 2020] 13Pxx - Computational aspects and applications [MSC 2020] 05E45 - Combinatorial aspects of simplicial complexes [MSC 2020] |
| Soggetto non controllato |
Combinatorial commutative algebra
Combinatorics Computational commutative algebra Koszul algebras Primary Decomposition Subdivision operators |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0110680 |
| [Cham], : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
68W30 - Symbolic computation and algebraic computation [MSC 2020]
(138)
- 65-XX - Numerical analysis [MSC 2020] (38)
- 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] (20)
- 65Fxx - Numerical linear algebra [MSC 2020] (20)
- 65Hxx - Nonlinear algebraic or transcendental equations [MSC 2020] (20)