Rewriting and Symbolic Transformations for Multiscale Methods

Details Rewriting and Symbolic Transformations for Multiscale Methods Rewriting and Symbolic Transformations for Multiscale Methods

2011-01-17

arxiv.org/abs/1101.3218v1

Computer Science

Symbolic Computation

25 pages

Scientific paper

This work is motivated by a challenging problem of computer-aided derivation of multiscale models of arrays of micro- and nanosystems. In this domain a model is a partial differential equation. Multiscale methods approximate it by another partial differential equation. The challenge is to formalize these approximating methods within a computer algebra system, e.g. Maple. Since most of the transformation steps correspond to equational reasoning (i.e. symbolic transformations based on equalities) we address the question of extending Maple with rewriting and strategies. Our contribution consists in transferring most of the term rewriting concepts and techniques to the symbolic computation community. We provide a Maple package for rule-based programming and its combination with standard Maple code. We illustrate its practical interest by applying the package functions to provide a formal proof of a convergence property of a two-scale operator

Affiliated with

Also associated with

No associations

Rating

Rewriting and Symbolic Transformations for Multiscale Methods does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Rewriting and Symbolic Transformations for Multiscale Methods, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rewriting and Symbolic Transformations for Multiscale Methods will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-286293