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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Gröbner bases in symbolic analysis [[electronic resource] /] / 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|