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.
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors
| Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2016 |
| Descrizione fisica | 1 online resource (242 pages) : illustrations |
| Disciplina | 512.0285 |
| Collana | Contemporary Mathematics |
| Soggetto topico |
Logic, Symbolic and mathematical
Algebra Computer science - Mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-3587-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480731903321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors
| Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2016 |
| Descrizione fisica | 1 online resource (242 pages) : illustrations |
| Disciplina | 512.0285 |
| Collana | Contemporary Mathematics |
| Soggetto topico |
Logic, Symbolic and mathematical
Algebra Computer science - Mathematics |
| ISBN | 1-4704-3587-X |
| Classificazione | 20-XX68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Generic properties of subgroups of free groups and finite presentations / Frédérique Bassino, Cyril Nicaud, and Pascal Weil -- A new multi-server scheme for private information retrieval / Chi Sing Chum and Xiaowen Zhang -- On secret sharing protocols / Chi Sing Chum [and 4 others] -- A verifiable secret sharing scheme using non-abelian groups / Maggie E. Habeer -- Non-associative public-key cryptography / Arkadius Kalka -- Non-associative key establishment protocols and their implementation / Arkadius Kalka and Mina Teicher -- Knapsack and subset sum problems in nilpoint, polycyclic, and co-context-free groups / Daniel König, Markus Lohrey, and George Zetzsche -- On the Tits alternative for a class of finitely presented groups with a special focus on symbolic computations / Anja I.S. Moldenhauer, Gerhard Rosenberger, and Kristina Rosenthal -- Geometry of the conjugacy problem in lamplighter groups / Andew Salle -- A logspace solution to the word and conjugacy problem of generalized Baumslag-Solitar groups / Armin Weiss -- Cryptographic hash functions from sequences of lifted Paley graphs / Serena Yuan. |
| Record Nr. | UNINA-9910794869803321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors
| Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2016 |
| Descrizione fisica | 1 online resource (242 pages) : illustrations |
| Disciplina | 512.0285 |
| Collana | Contemporary Mathematics |
| Soggetto topico |
Logic, Symbolic and mathematical
Algebra Computer science - Mathematics |
| ISBN | 1-4704-3587-X |
| Classificazione | 20-XX68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Generic properties of subgroups of free groups and finite presentations / Frédérique Bassino, Cyril Nicaud, and Pascal Weil -- A new multi-server scheme for private information retrieval / Chi Sing Chum and Xiaowen Zhang -- On secret sharing protocols / Chi Sing Chum [and 4 others] -- A verifiable secret sharing scheme using non-abelian groups / Maggie E. Habeer -- Non-associative public-key cryptography / Arkadius Kalka -- Non-associative key establishment protocols and their implementation / Arkadius Kalka and Mina Teicher -- Knapsack and subset sum problems in nilpoint, polycyclic, and co-context-free groups / Daniel König, Markus Lohrey, and George Zetzsche -- On the Tits alternative for a class of finitely presented groups with a special focus on symbolic computations / Anja I.S. Moldenhauer, Gerhard Rosenberger, and Kristina Rosenthal -- Geometry of the conjugacy problem in lamplighter groups / Andew Salle -- A logspace solution to the word and conjugacy problem of generalized Baumslag-Solitar groups / Armin Weiss -- Cryptographic hash functions from sequences of lifted Paley graphs / Serena Yuan. |
| Record Nr. | UNINA-9910820796003321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic Computing with REDUCE : lecture notes from the first Brazilian school on computer algebra / M. A. H. MacCallum and F. J. Wright
| Algebraic Computing with REDUCE : lecture notes from the first Brazilian school on computer algebra / M. A. H. MacCallum and F. J. Wright |
| Autore | MacCallum, Malcolm A. H. |
| Pubbl/distr/stampa | Oxford : Clarendon, 1991 |
| Descrizione fisica | XIX, 294 p. ; 24 cm |
| Disciplina | 512.0285 |
| Altri autori (Persone) | Wright, Francis J. |
| Collana | Oxford science publications |
| Soggetto non controllato |
Algebra - Elaborazione dei dati
Reduce |
| ISBN | 0-19-853444-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000862900403321 |
MacCallum, Malcolm A. H.
|
||
| Oxford : Clarendon, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied and Computational Mathematics for Digital Environments / / edited by Liliya Demidova
| Applied and Computational Mathematics for Digital Environments / / edited by Liliya Demidova |
| Pubbl/distr/stampa | Basel, Switzerland : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2023 |
| Descrizione fisica | 1 online resource (284 pages) |
| Disciplina | 512.0285 |
| Soggetto topico |
Algebra - Data processing
Algebra - Computer programs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910729789503321 |
| Basel, Switzerland : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer algebra : an algorithm-oriented introduction / / Wolfram Koepf
| Computer algebra : an algorithm-oriented introduction / / Wolfram Koepf |
| Autore | Koepf Wolfram |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (394 pages) |
| Disciplina | 512.0285 |
| Collana | Springer Undergraduate Texts in Mathematics and Technology |
| Soggetto topico |
Algebra - Data processing
Computer science - Mathematics |
| ISBN | 3-030-78017-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Chapter 1 Introduction to Computer Algebra -- 1.1 Capabilities of Computer Algebra Systems -- 1.2 Additional Remarks -- 1.3 Exercises -- Chapter 2 Programming in Computer Algebra Systems -- 2.1 Internal Representation of Expressions -- 2.2 Pattern Matching -- 2.3 Control Structures -- 2.4 Recursion and Iteration -- 2.5 Remember Programming -- 2.6 Divide-and-Conquer Programming -- 2.7 Programming through Pattern Matching -- 2.8 Additional Remarks -- 2.9 Exercises -- Chapter 3 Number Systems and Integer Arithmetic -- 3.1 Number Systems -- 3.2 Integer Arithmetic: Addition and Multiplication -- 3.3 Integer Arithmetic: Division with Remainder -- 3.4 The Extended Euclidean Algorithm -- 3.5 Unique Factorization -- 3.6 Rational Arithmetic -- 3.7 Additional Remarks -- 3.8 Exercises -- Chapter 4 Modular Arithmetic -- 4.1 Residue Class Rings -- 4.2 Modulare Square Roots -- 4.3 Chinese Remainder Theorem -- 4.4 Fermat's Little Theorem -- 4.5 Modular Logarithms -- 4.6 Pseudoprimes -- 4.7 Additional Remarks -- 4.8 Exercises -- Chapter 5 Coding Theory and Cryptography -- 5.1 Basic Concepts of Coding Theory -- 5.2 Prefix Codes -- 5.3 Check Digit Systems -- 5.4 Error Correcting Codes -- 5.5 Asymmetric Ciphers -- 5.6 Additional Remarks -- 5.7 Exercises -- Chapter 6 Polynomial Arithmetic -- 6.1 Polynomial Rings -- 6.2 Multiplication: The Karatsuba Algorithm -- 6.3 Fast Multiplication with FFT -- 6.4 Division with Remainder -- 6.5 Polynomial Interpolation -- 6.6 The Extended Euclidean Algorithm -- 6.7 Unique Factorization -- 6.8 Squarefree Factorization -- 6.9 Rational Functions -- 6.10 Additional Remarks -- 6.11 Exercises -- Chapter 7 Algebraic Numbers -- 7.1 Polynomial Quotient Rings -- 7.2 Chinese Remainder Theorem -- 7.3 Algebraic Numbers -- 7.4 Finite Fields -- 7.5 Resultants -- 7.6 Polynomial Systems of Equations.
7.7 Additional Remarks -- 7.8 Exercises -- Chapter 8 Factorization in Polynomial Rings -- 8.1 Preliminary Considerations -- 8.2 Efficient Factorization in Zp[x] -- 8.3 Squarefree Factorization of Polynomials over Finite Fields -- 8.4 Efficient Factorization in Q[x] -- 8.5 Hensel Lifting -- 8.6 Multivariate Factorization -- 8.7 Additional Remarks -- 8.8 Exercises -- Chapter 9 Simplification and Normal Forms -- 9.1 Normal Forms and Canonical Forms -- 9.2 Normal Forms and Canonical Forms for Polynomials -- 9.3 Normal Forms for Rational Functions -- 9.4 Normal Forms for Trigonometric Polynomials -- 9.5 Additional Remarks -- 9.6 Exercises -- Chapter 10 Power Series -- 10.1 Formal Power Series -- 10.2 Taylor Polynomials -- 10.3 Computation of Formal Power Series -- 10.3.1 Holonomic Differential Equations -- 10.3.2 Holonomic Recurrence Equations -- 10.3.3 Hypergeometric Functions -- 10.3.4 Efficient Computation of Taylor Polynomials of Holonomic Functions -- 10.4 Algebraic Functions -- 10.5 Implicit Functions -- 10.6 Additional Remarks -- 10.7 Exercises -- Chapter 11 Algorithmic Summation -- 11.1 Definite Summation -- 11.2 Difference Calculus -- 11.3 Indefinite Summation -- 11.4 Indefinite Summation of Hypergeometric Terms -- 11.5 Definite Summation of Hypergeometric Terms -- 11.6 Additional Remarks -- 11.7 Exercises -- Chapter 12 Algorithmic Integration -- 12.1 The Bernoulli Algorithm for Rational Functions -- 12.2 Algebraic Prerequisites -- 12.3 Rational Part -- 12.4 Logarithmic Case -- 12.5 Additional Remarks -- 12.6 Exercises -- References -- List of Symbols -- Mathematica List of Keywords -- Index. |
| Record Nr. | UNINA-9910492138303321 |
|
Koepf Wolfram
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer algebra : an algorithm-oriented introduction / / Wolfram Koepf
| Computer algebra : an algorithm-oriented introduction / / Wolfram Koepf |
| Autore | Koepf Wolfram |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (394 pages) |
| Disciplina | 512.0285 |
| Collana | Springer Undergraduate Texts in Mathematics and Technology |
| Soggetto topico |
Algebra - Data processing
Computer science - Mathematics Àlgebra Processament de dades Algorismes computacionals |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-78017-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Chapter 1 Introduction to Computer Algebra -- 1.1 Capabilities of Computer Algebra Systems -- 1.2 Additional Remarks -- 1.3 Exercises -- Chapter 2 Programming in Computer Algebra Systems -- 2.1 Internal Representation of Expressions -- 2.2 Pattern Matching -- 2.3 Control Structures -- 2.4 Recursion and Iteration -- 2.5 Remember Programming -- 2.6 Divide-and-Conquer Programming -- 2.7 Programming through Pattern Matching -- 2.8 Additional Remarks -- 2.9 Exercises -- Chapter 3 Number Systems and Integer Arithmetic -- 3.1 Number Systems -- 3.2 Integer Arithmetic: Addition and Multiplication -- 3.3 Integer Arithmetic: Division with Remainder -- 3.4 The Extended Euclidean Algorithm -- 3.5 Unique Factorization -- 3.6 Rational Arithmetic -- 3.7 Additional Remarks -- 3.8 Exercises -- Chapter 4 Modular Arithmetic -- 4.1 Residue Class Rings -- 4.2 Modulare Square Roots -- 4.3 Chinese Remainder Theorem -- 4.4 Fermat's Little Theorem -- 4.5 Modular Logarithms -- 4.6 Pseudoprimes -- 4.7 Additional Remarks -- 4.8 Exercises -- Chapter 5 Coding Theory and Cryptography -- 5.1 Basic Concepts of Coding Theory -- 5.2 Prefix Codes -- 5.3 Check Digit Systems -- 5.4 Error Correcting Codes -- 5.5 Asymmetric Ciphers -- 5.6 Additional Remarks -- 5.7 Exercises -- Chapter 6 Polynomial Arithmetic -- 6.1 Polynomial Rings -- 6.2 Multiplication: The Karatsuba Algorithm -- 6.3 Fast Multiplication with FFT -- 6.4 Division with Remainder -- 6.5 Polynomial Interpolation -- 6.6 The Extended Euclidean Algorithm -- 6.7 Unique Factorization -- 6.8 Squarefree Factorization -- 6.9 Rational Functions -- 6.10 Additional Remarks -- 6.11 Exercises -- Chapter 7 Algebraic Numbers -- 7.1 Polynomial Quotient Rings -- 7.2 Chinese Remainder Theorem -- 7.3 Algebraic Numbers -- 7.4 Finite Fields -- 7.5 Resultants -- 7.6 Polynomial Systems of Equations.
7.7 Additional Remarks -- 7.8 Exercises -- Chapter 8 Factorization in Polynomial Rings -- 8.1 Preliminary Considerations -- 8.2 Efficient Factorization in Zp[x] -- 8.3 Squarefree Factorization of Polynomials over Finite Fields -- 8.4 Efficient Factorization in Q[x] -- 8.5 Hensel Lifting -- 8.6 Multivariate Factorization -- 8.7 Additional Remarks -- 8.8 Exercises -- Chapter 9 Simplification and Normal Forms -- 9.1 Normal Forms and Canonical Forms -- 9.2 Normal Forms and Canonical Forms for Polynomials -- 9.3 Normal Forms for Rational Functions -- 9.4 Normal Forms for Trigonometric Polynomials -- 9.5 Additional Remarks -- 9.6 Exercises -- Chapter 10 Power Series -- 10.1 Formal Power Series -- 10.2 Taylor Polynomials -- 10.3 Computation of Formal Power Series -- 10.3.1 Holonomic Differential Equations -- 10.3.2 Holonomic Recurrence Equations -- 10.3.3 Hypergeometric Functions -- 10.3.4 Efficient Computation of Taylor Polynomials of Holonomic Functions -- 10.4 Algebraic Functions -- 10.5 Implicit Functions -- 10.6 Additional Remarks -- 10.7 Exercises -- Chapter 11 Algorithmic Summation -- 11.1 Definite Summation -- 11.2 Difference Calculus -- 11.3 Indefinite Summation -- 11.4 Indefinite Summation of Hypergeometric Terms -- 11.5 Definite Summation of Hypergeometric Terms -- 11.6 Additional Remarks -- 11.7 Exercises -- Chapter 12 Algorithmic Integration -- 12.1 The Bernoulli Algorithm for Rational Functions -- 12.2 Algebraic Prerequisites -- 12.3 Rational Part -- 12.4 Logarithmic Case -- 12.5 Additional Remarks -- 12.6 Exercises -- References -- List of Symbols -- Mathematica List of Keywords -- Index. |
| Record Nr. | UNISA-996466389303316 |
|
Koepf Wolfram
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer algebra / edited D. V. Chudnovsky, R. D. Jenks
| Computer algebra / edited D. V. Chudnovsky, R. D. Jenks |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, 1989 |
| Descrizione fisica | IX, 240 p. ; 26 cm |
| Disciplina | 512.0285 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Algebra
Elaborazione dati |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001211830403321 |
| New York [etc.] : Marcel Dekker, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer algebra in scientific computing : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, proceedings / / François Boulier [and three others], editors
| Computer algebra in scientific computing : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, proceedings / / François Boulier [and three others], editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (412 pages) |
| Disciplina | 512.0285 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Algebra - Data processing
Science - Data processing |
| ISBN | 3-031-14788-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910586588103321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer algebra in scientific computing : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, proceedings / / François Boulier [and three others], editors
| Computer algebra in scientific computing : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, proceedings / / François Boulier [and three others], editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (412 pages) |
| Disciplina | 512.0285 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Algebra - Data processing
Science - Data processing |
| ISBN | 3-031-14788-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485669503316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
