Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Vienna

9783709107935, 9783709107942

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Smoothing Analysis of an All-at-Once Multigrid Approach for Optimal Control Problems Using Symbolic Computation

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_9 ◽

2011 ◽

pp. 175-191 ◽

Cited By ~ 2

Author(s):

Stefan Takacs ◽

Veronika Pillwein

Keyword(s):

Optimal Control ◽

Symbolic Computation ◽

Optimal Control Problems ◽

Control Problems

Download Full-text

An Introduction to Automated Discovery in Geometry through Symbolic Computation

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_12 ◽

2011 ◽

pp. 257-271 ◽

Cited By ~ 3

Author(s):

Tomas Recio ◽

María P. Vélez

Keyword(s):

Symbolic Computation ◽

Automated Discovery

Download Full-text

Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_6 ◽

2011 ◽

pp. 105-121 ◽

Cited By ~ 2

Author(s):

Christoph Koutschan ◽

Christoph Lehrenfeld ◽

Joachim Schöberl

Keyword(s):

Finite Elements ◽

Computer Algebra ◽

Maxwell’S Equations ◽

Maxwell's Equations ◽

Efficient Implementation

Download Full-text

A Symbolic-Numeric Algorithm for Genus Computation

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_4 ◽

2011 ◽

pp. 65-94

Author(s):

Mădălina Hodorog ◽

Josef Schicho

Download Full-text

Analytical Evaluations of Double Integral Expressions Related to Total Variation

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_10 ◽

2011 ◽

pp. 193-218 ◽

Cited By ~ 1

Author(s):

Carsten Pontow ◽

Otmar Scherzer

Keyword(s):

Total Variation ◽

Double Integral

Download Full-text

Sound and Complete Verification Condition Generator for Functional Recursive Programs

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_11 ◽

2011 ◽

pp. 219-256

Author(s):

Nikolaj Popov ◽

Tudor Jebelean

Keyword(s):

Recursive Programs ◽

Verification Condition

Download Full-text

White Noise Analysis for Stochastic Partial Differential Equations

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_8 ◽

2011 ◽

pp. 157-174 ◽

Cited By ~ 1

Author(s):

Hermann G. Matthies

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

White Noise ◽

Stochastic Partial Differential Equations ◽

Noise Analysis ◽

White Noise Analysis ◽

Partial Differential

Download Full-text

The “Seven Dwarfs” of Symbolic Computation

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_5 ◽

2011 ◽

pp. 95-104 ◽

Cited By ~ 8

Author(s):

Erich L. Kaltofen

Keyword(s):

Symbolic Computation

Download Full-text

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_13 ◽

2011 ◽

pp. 273-331 ◽

Cited By ~ 14

Author(s):

Markus Rosenkranz ◽

Georg Regensburger ◽

Loredana Tec ◽

Bruno Buchberger

Keyword(s):

Gröbner Bases ◽

Symbolic Analysis ◽

Grobner Bases ◽

Boundary Problems

Download Full-text

Linear Partial Differential Equations and Linear Partial Differential Operators in Computer Algebra

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing ◽

10.1007/978-3-7091-0794-2_14 ◽

2011 ◽

pp. 333-358 ◽

Cited By ~ 1

Author(s):

Ekaterina Shemyakova ◽

Franz Winkler

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Computer Algebra ◽

Differential Operators ◽

Partial Differential ◽

Linear Partial Differential Equations ◽

Partial Differential Operators ◽

Linear Partial Differential Operators

Download Full-text

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Vienna

Smoothing Analysis of an All-at-Once Multigrid Approach for Optimal Control Problems Using Symbolic Computation

An Introduction to Automated Discovery in Geometry through Symbolic Computation

Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations

A Symbolic-Numeric Algorithm for Genus Computation

Analytical Evaluations of Double Integral Expressions Related to Total Variation

Sound and Complete Verification Condition Generator for Functional Recursive Programs

White Noise Analysis for Stochastic Partial Differential Equations

The “Seven Dwarfs” of Symbolic Computation

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases

Linear Partial Differential Equations and Linear Partial Differential Operators in Computer Algebra

Texts & Monographs in Symbolic Computation - Numerical and Symbolic Scientific Computing
Latest Publications