Rewriting and Symbolic Transformations for Multiscale Methods

Walid Belkhir 1 Alain Giorgetti 1, 2 Michel Lenczner 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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
Type de document :
Pré-publication, Document de travail
25 pages. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00643047
Contributeur : Alain Giorgetti <>
Soumis le : lundi 21 novembre 2011 - 08:48:19
Dernière modification le : jeudi 15 février 2018 - 08:48:09

Lien texte intégral

Identifiants

  • HAL Id : hal-00643047, version 1
  • ARXIV : 1101.3218

Citation

Walid Belkhir, Alain Giorgetti, Michel Lenczner. Rewriting and Symbolic Transformations for Multiscale Methods. 25 pages. 2011. 〈hal-00643047〉

Partager

Métriques

Consultations de la notice

306