Utilisation des langages formels en théorie des champs
Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France, no. 49-50 (1977), pp. 31-39. 
@incollection{MSMF_1977__49-50__31_0,
     author = {Calmet, Jacques},
     title = {Utilisation des langages formels en th\'eorie des champs},
     booktitle = {Utilisation des calculateurs en math\'ematiques pures (Limoges, 1975)},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     pages = {31--39},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     year = {1977},
     doi = {10.24033/msmf.211},
     url = {http://www.numdam.org/articles/10.24033/msmf.211/}
}
TY  - CHAP
AU  - Calmet, Jacques
TI  - Utilisation des langages formels en théorie des champs
BT  - Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
AU  - Collectif
T3  - Mémoires de la Société Mathématique de France
PY  - 1977
SP  - 31
EP  - 39
IS  - 49-50
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/msmf.211/
DO  - 10.24033/msmf.211
ID  - MSMF_1977__49-50__31_0
ER  - 
%0 Book Section
%A Calmet, Jacques
%T Utilisation des langages formels en théorie des champs
%B Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
%A Collectif
%S Mémoires de la Société Mathématique de France
%D 1977
%P 31-39
%N 49-50
%I Société mathématique de France
%U http://www.numdam.org/articles/10.24033/msmf.211/
%R 10.24033/msmf.211
%F MSMF_1977__49-50__31_0
Calmet, Jacques. Utilisation des langages formels en théorie des champs, dans Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France, no. 49-50 (1977), pp. 31-39. doi : 10.24033/msmf.211. http://www.numdam.org/articles/10.24033/msmf.211/

[1] "Proceedings of the Second Symposium on Symbolic and Algebraid Manipulation" Los Angeles, Mars 1971, édités par l'A.C.M.

[2] "Proceedings of EUROSAM 74", SIGSAM Bulletin, 8 (3) (1974)

[3] "Colloques sur les Méthodes Avancées de Calcul en Physique Théorique". - Marseille 1970, 1971, 1973), édités par A. Visconti, CNRS Marseille.

[4] Voir par exemple «Théorie Quantique des Champs», Tome 1, par A. Visconti édité par Gauthier-Villars (1961).

[5] E. Tournier, ces comptes-rendus

[6] J. Kahane. - Journ. Math. Phys. 9, 1732 (1968).

[7] J.S.R. Chisholm. - Comp. Phys. Comm. 4, 205 (1972)

[8] D. Knuth. - The Art of Computing Programming. - vol 1, Addison-Wesley (1969) | Zbl

[9] R.G.K. Loos. - SIGSAM Bulletin (ACM), 23, 16 (1972)

[10] J. Moses. - Comm. A.C.M., 14 (8), 548 (1971) | Zbl

[11] D. Stoutemyer. - Prétirage UCP-35. - Université d'Utah, Mai 1975.

[12] A. Peterman. - Comp. Phys. Comm., 7, 301 (1974).

[13] J. Fox, A.C. Hearn. - J. Comp. Phys., 14, 301 (1975) | Zbl

[14] J. Calmet. - Comp. Phys. Comm. 4, 199 (1972).

[15] J. Calmet. - SIGSAM Bulletin, 8(3), 74 (1974).

Cité par Sources :