TY  - JOUR
AU  - Quadrat, Alban
TI  - An introduction to constructive algebraic analysis and its applications
BT  - Journées Nationales de Calcul Formel. 3 – 7 Mai 2010
AU  - Collectif
T3  - Les cours du CIRM
PY  - 2010
SP  - 281
EP  - 471
IS  - 2
PB  - CIRM
UR  - http://www.numdam.org/articles/10.5802/ccirm.11/
DO  - 10.5802/ccirm.11
LA  - en
ID  - CCIRM_2010__1_2_281_0
ER  -