@techreport{charpentier:hal-01313355, TITLE = {{Arbogast -- Origine d'un outil de d{\'e}rivation automatique}}, AUTHOR = {Charpentier, Isabelle and Friedelmeyer, Jean-Pierre and Gustedt, Jens}, URL = {https://inria.hal.science/hal-01313355}, TYPE = {Research Report}, NUMBER = {RR-8911}, INSTITUTION = {{INRIA}}, YEAR = {2016}, MONTH = May, KEYWORDS = { Analyse alg{\'e}brique ; R{\`e}gle de d{\'e}rivation ; Diff{\'e}rentiation de haut degr{\'e} ; Modular C}, PDF = {https://inria.hal.science/hal-01313355/file/RR-8911.pdf}, HAL_ID = {hal-01313355}, HAL_VERSION = {v1}, }