Jacques Calmet

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

2002

Artificial Intelligence and Sy

Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1 Karlsruhe, Germany, August 3-6, 1992

1993

Algebraic Algorithms and Error-Correcting Codes (Lecture Notes in Computer Science)

1986

Analyse des diagrammes de feyn

Analyse des diagrammes de feynman par ordinateur

1970

An attempt to evaluate renorma

An attempt to evaluate renormalized radiative corrections by computer

1969