Jacques Calmet

Identifiers

Open LibraryOL2682477A

Top Subjects

Feynman diagrams (1)
Radiative corrections (1)
Renormalization (Physics) (1)
Artificial intelligence (1)
Automatic theorem proving (1)
Logic, symbolic and mathematical (1)

Books by Jacques Calmet

Total count: 7

An attempt to evaluate renormalized radiative corrections by computer

s.n.1969-01-01
Analyse des diagrammes de feynman par ordinateurapplication au calcul du moment magnetique anomal de l'electron et du muon

1970-01-01
Artificial intelligence and symbolic mathematical computing

Springer-Verlag1993-01-01
Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1 Karlsruhe, Germany, August 3-6, 1992Proceedings (Lecture Notes in Computer Science)

Springer1993-10-01
Artificial Intelligence, Automated Reasoning, and Symbolic ComputationJoint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Springer London, Limited2006-01-01
Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Springer2010-01-01
Artificial Intelligence and Symbolic Computation12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Springer2014-01-01