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 in symbolic analysis [[electronic resource] /] / edited by Markus Rosenkranz, Dongming Wang
| Gröbner bases in symbolic analysis [[electronic resource] /] / edited by Markus Rosenkranz, Dongming Wang |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, 2007 |
| Descrizione fisica | 1 online resource (360 p.) |
| Disciplina |
512.44
515.35 |
| Altri autori (Persone) |
RosenkranzMarkus <1971->
WangDongming <1961-> |
| Collana | Radon series on computational and applied mathematics |
| Soggetto topico |
Gröbner bases
Differential equations |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-092275-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface / Rosenkranz, Markus / Wang, Dongming -- Contents -- Gröbner Bases in Algebraic Analysis: New Perspectives for Applications / Pommaret, Jean-François -- Solving Systems of Linear Partial Difference and Differential Equations with Constant Coefficients Using Gröbner Bases / Oberst, Ulrich / Pauer, Franz -- Computation of the Strength of Systems of Difference Equations via Generalized Gröbner Bases / Levin, Alexander -- Editors' Note in Memory of Giuseppa Carrà Ferro -- A Survey on Differential Gröbner Bases / Ferro, Giuseppa Carrà -- Differential Elimination and Biological Modelling / Boulier, François -- Janet Bases and Applications / Robertz, Daniel -- Spencer Cohomology, Differential Equations, and Pommaret Bases / Seiler, Werner M. -- Differential Invariants for Lie Pseudo-groups / Olver, Peter / Pohjanpelto, Juha -- Invariant Theory and Differential Operators / Traves, William N. -- Compatibility Complexes for Overdetermined Boundary Problems / Krupchyk, Katsiaryna / Tuomela, Jukka -- On Initial Value Problems for Ordinary Differential-Algebraic Equations / Pritchard, F. Leon / Sit, William Y. -- Index |
| Record Nr. | UNINA-9910463734003321 |
| Berlin ; ; New York, : Walter De Gruyter, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gröbner bases in symbolic analysis [[electronic resource] /] / edited by Markus Rosenkranz, Dongming Wang
| Gröbner bases in symbolic analysis [[electronic resource] /] / edited by Markus Rosenkranz, Dongming Wang |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, 2007 |
| Descrizione fisica | 1 online resource (360 p.) |
| Disciplina |
512.44
515.35 |
| Altri autori (Persone) |
RosenkranzMarkus <1971->
WangDongming <1961-> |
| Collana | Radon series on computational and applied mathematics |
| Soggetto topico |
Gröbner bases
Differential equations |
| Soggetto non controllato |
Algebras
base ideal polynomial sybolic computation |
| ISBN | 3-11-092275-4 |
| Classificazione | SD 2006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface / Rosenkranz, Markus / Wang, Dongming -- Contents -- Gröbner Bases in Algebraic Analysis: New Perspectives for Applications / Pommaret, Jean-François -- Solving Systems of Linear Partial Difference and Differential Equations with Constant Coefficients Using Gröbner Bases / Oberst, Ulrich / Pauer, Franz -- Computation of the Strength of Systems of Difference Equations via Generalized Gröbner Bases / Levin, Alexander -- Editors' Note in Memory of Giuseppa Carrà Ferro -- A Survey on Differential Gröbner Bases / Ferro, Giuseppa Carrà -- Differential Elimination and Biological Modelling / Boulier, François -- Janet Bases and Applications / Robertz, Daniel -- Spencer Cohomology, Differential Equations, and Pommaret Bases / Seiler, Werner M. -- Differential Invariants for Lie Pseudo-groups / Olver, Peter / Pohjanpelto, Juha -- Invariant Theory and Differential Operators / Traves, William N. -- Compatibility Complexes for Overdetermined Boundary Problems / Krupchyk, Katsiaryna / Tuomela, Jukka -- On Initial Value Problems for Ordinary Differential-Algebraic Equations / Pritchard, F. Leon / Sit, William Y. -- Index |
| Record Nr. | UNINA-9910788424903321 |
| Berlin ; ; New York, : Walter De Gruyter, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gröbner bases in symbolic analysis / / edited by Markus Rosenkranz, Dongming Wang
| Gröbner bases in symbolic analysis / / edited by Markus Rosenkranz, Dongming Wang |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, 2007 |
| Descrizione fisica | 1 online resource (360 p.) |
| Disciplina |
512.44
515.35 |
| Altri autori (Persone) |
RosenkranzMarkus <1971->
WangDongming <1961-> |
| Collana | Radon series on computational and applied mathematics |
| Soggetto topico |
Gröbner bases
Differential equations |
| Soggetto non controllato |
Algebras
base ideal polynomial sybolic computation |
| ISBN | 3-11-092275-4 |
| Classificazione | SD 2006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface / Rosenkranz, Markus / Wang, Dongming -- Contents -- Gröbner Bases in Algebraic Analysis: New Perspectives for Applications / Pommaret, Jean-François -- Solving Systems of Linear Partial Difference and Differential Equations with Constant Coefficients Using Gröbner Bases / Oberst, Ulrich / Pauer, Franz -- Computation of the Strength of Systems of Difference Equations via Generalized Gröbner Bases / Levin, Alexander -- Editors' Note in Memory of Giuseppa Carrà Ferro -- A Survey on Differential Gröbner Bases / Ferro, Giuseppa Carrà -- Differential Elimination and Biological Modelling / Boulier, François -- Janet Bases and Applications / Robertz, Daniel -- Spencer Cohomology, Differential Equations, and Pommaret Bases / Seiler, Werner M. -- Differential Invariants for Lie Pseudo-groups / Olver, Peter / Pohjanpelto, Juha -- Invariant Theory and Differential Operators / Traves, William N. -- Compatibility Complexes for Overdetermined Boundary Problems / Krupchyk, Katsiaryna / Tuomela, Jukka -- On Initial Value Problems for Ordinary Differential-Algebraic Equations / Pritchard, F. Leon / Sit, William Y. -- Index |
| Record Nr. | UNINA-9910807328903321 |
| Berlin ; ; New York, : Walter De Gruyter, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
| Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | viii, 245 p. : ill |
| Disciplina | 511.3 |
| Altri autori (Persone) |
LiShangzhi <1947->
WangDongming <1961-> ZhangJingzhong <1936-> |
| Soggetto topico |
Mathematics - Computer-assisted instruction
Computable functions - Data processing Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-92896-8
9786611928964 981-277-600-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods); Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada); Hand-held Technology in Secondary Mathematics Education (B Kissane); College Algebra Change (R L Mayes et al.); Mathematics Experiments -- Learning and Investigating Mathematics with the Help of Computers (S Li); CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.); Free Software SSP for Teaching Mathematics (J-Z Zhang et al.); Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana); Combining CAS and DGS -- Towards Algorithmic Thinking (U H Kortenkamp); Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.); Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu); Computer Algebra Meets an Ancient Egyptian Problem (Y-K Man); Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis); Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.). |
| Record Nr. | UNINA-9910451203403321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
| Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | viii, 245 p. : ill |
| Disciplina | 511.3 |
| Altri autori (Persone) |
LiShangzhi <1947->
WangDongming <1961-> ZhangJingzhong <1936-> |
| Soggetto topico |
Mathematics - Computer-assisted instruction
Computable functions - Data processing Logic, Symbolic and mathematical |
| ISBN |
1-281-92896-8
9786611928964 981-277-600-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods); Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada); Hand-held Technology in Secondary Mathematics Education (B Kissane); College Algebra Change (R L Mayes et al.); Mathematics Experiments -- Learning and Investigating Mathematics with the Help of Computers (S Li); CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.); Free Software SSP for Teaching Mathematics (J-Z Zhang et al.); Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana); Combining CAS and DGS -- Towards Algorithmic Thinking (U H Kortenkamp); Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.); Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu); Computer Algebra Meets an Ancient Egyptian Problem (Y-K Man); Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis); Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.). |
| Record Nr. | UNINA-9910777010803321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic computation and education / / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
| Symbolic computation and education / / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | viii, 245 p. : ill |
| Disciplina | 511.3 |
| Altri autori (Persone) |
LiShangzhi <1947->
WangDongming <1961-> ZhangJingzhong <1936-> |
| Soggetto topico |
Mathematics - Computer-assisted instruction
Computable functions - Data processing Logic, Symbolic and mathematical |
| ISBN |
1-281-92896-8
9786611928964 981-277-600-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods); Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada); Hand-held Technology in Secondary Mathematics Education (B Kissane); College Algebra Change (R L Mayes et al.); Mathematics Experiments -- Learning and Investigating Mathematics with the Help of Computers (S Li); CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.); Free Software SSP for Teaching Mathematics (J-Z Zhang et al.); Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana); Combining CAS and DGS -- Towards Algorithmic Thinking (U H Kortenkamp); Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.); Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu); Computer Algebra Meets an Ancient Egyptian Problem (Y-K Man); Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis); Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.). |
| Record Nr. | UNINA-9910822126503321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||