↓ Skip to main content
What is this page? Embed badge

Numerical and Symbolic Scientific Computing

Overview of attention for book
Cover of 'Numerical and Symbolic Scientific Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Approximate Implicitization of Space Curves
  3. Altmetric Badge
    Chapter 2 Sparsity Optimized High Order Finite Element Functions on Simplices
  4. Altmetric Badge
    Chapter 3 Fast Solvers and A Posteriori Error Estimates in Elastoplasticity
  5. Altmetric Badge
    Chapter 4 A Symbolic-Numeric Algorithm for Genus Computation
  6. Altmetric Badge
    Chapter 5 Numerical and Symbolic Scientific Computing
  7. Altmetric Badge
    Chapter 6 Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations
  8. Altmetric Badge
    Chapter 7 A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
  9. Altmetric Badge
    Chapter 8 White Noise Analysis for Stochastic Partial Differential Equations
  10. Altmetric Badge
    Chapter 9 Numerical and Symbolic Scientific Computing
  11. Altmetric Badge
    Chapter 10 Analytical Evaluations of Double Integral Expressions Related to Total Variation
  12. Altmetric Badge
    Chapter 11 Sound and Complete Verification Condition Generator for Functional Recursive Programs
  13. Altmetric Badge
    Chapter 12 An Introduction to Automated Discovery in Geometry through Symbolic Computation
  14. Altmetric Badge
    Chapter 13 Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
  15. Altmetric Badge
    Chapter 14 Linear Partial Differential Equations and Linear Partial Differential Operators in Computer Algebra
Attention for Chapter 11: Sound and Complete Verification Condition Generator for Functional Recursive Programs
Altmetric Badge

Citations

dimensions_citation
5 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Sound and Complete Verification Condition Generator for Functional Recursive Programs
Chapter number 11
Book title
Numerical and Symbolic Scientific Computing
Published by
Springer, Vienna, January 2012
DOI 10.1007/978-3-7091-0794-2_11
Book ISBNs
978-3-70-910793-5, 978-3-70-910794-2
Authors

Nikolaj Popov, Tudor Jebelean, Popov, Nikolaj, Jebelean, Tudor

View on publisher site

This page is provided by Altmetric.