Lazy AC-Pattern Matching for Rewriting, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, pp.29-37, 2011. ,
DOI : 10.4204/EPTCS.82.3
URL : https://hal.archives-ouvertes.fr/hal-00756343
Asymptotic analysis for periodic structures, of Studies in Mathematics and its Applications, 1978. ,
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS, International Journal of Foundations of Computer Science, vol.12, issue.01, pp.69-95, 2001. ,
DOI : 10.1142/S0129054101000412
Combining computer algebra and rule based reasoning, Proceedings of The International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, pp.209-223, 1995. ,
DOI : 10.1007/3-540-60156-2_15
Two-scale convergence for nonlinear Dirichlet problems in perforated domains, Proceedings of the Royal Society of Edinburgh: Section A Mathematics, vol.130, issue.02, pp.249-276, 2000. ,
DOI : 10.1017/S0308210500000147
Periodic unfolding and homogenization, Comptes Rendus Mathematique, vol.335, issue.1, pp.99-104, 2002. ,
DOI : 10.1016/S1631-073X(02)02429-9
The Periodic Unfolding Method in Homogenization, SIAM Journal on Mathematical Analysis, vol.40, issue.4, pp.1585-1620, 2008. ,
DOI : 10.1137/080713148
URL : https://hal.archives-ouvertes.fr/hal-00693080
The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001. ,
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532
The Rho Cube, Foundations of Software Science and Computation Structures, pp.168-183, 2001. ,
DOI : 10.1007/3-540-45315-6_11
URL : https://hal.archives-ouvertes.fr/inria-00107877
Rewrite Strategies in the Rewriting Calculus, Electronic Notes in Theoretical Computer Science, pp.18-34, 2003. ,
DOI : 10.1016/S1571-0661(05)82613-1
URL : https://hal.archives-ouvertes.fr/inria-00099586
All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol.4350, 2007. ,
Mathematical analysis and numerical methods for science and technology, 1990. ,
Combining algebraic computing and term-rewriting for geometry theorem proving Introduction to type theory, Artificial Intelligence and Symbolic Computation Language Engineering and Rigorous Software Development, pp.145-156, 1998. ,
Homogénéisation d'un circuitélectriquecircuitélectrique, C. R. Acad. Sci. Paris Sér. II b, vol.324, issue.9, pp.537-542, 1997. ,
HOMOGENIZATION OF ELECTRICAL NETWORKS INCLUDING VOLTAGE-TO-VOLTAGE AMPLIFIERS, Mathematical Models and Methods in Applied Sciences, vol.09, issue.06, pp.899-932, 1999. ,
DOI : 10.1142/S0218202599000415
A two-scale model for an array of AFM???s cantilever in the static case, Mathematical and Computer Modelling, vol.46, issue.5-6, pp.5-6, 2007. ,
DOI : 10.1016/j.mcm.2006.12.028
Rule-based programming with mathematica, Sixth Mathematica Symposium, pp.1-6, 2004. ,
Computer-aided multiscale model derivation for MEMS arrays, 2011 12th Intl. Conf. on Thermal, Mechanical & Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, 2011. ,
DOI : 10.1109/ESIME.2011.5765784
Formal methods for multiscale models derivation, CFM 2011, 20-th Congrès Français de Mécanique, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01223779
Do not include the following rule in the same strategy as a # factorization rule. May loop forever! SumDistrib ,
= Linearity(1,x->y->x+y, TS(_) ,