Intelligent Computer MathematicsSerge Autexier, Jacques Calmet, David Delahaye, P. D. F. Ion, Laurence Rideau · First published 2010Open the Tome
Artificial Intelligence, Automated Reasoning, and Symbolic ComputationJacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge · First published 2006Open the Tome
Artificial intelligence and symbolic mathematical computingJacques Calmet · First published 1993Open the Tome
Algebraic Algorithms and Error-Correcting Codes (Lecture Notes in Computer Science)Jacques Calmet · First published 1986Open the Tome
An attempt to evaluate renormalized radiative corrections by computerJacques Calmet · First published 1969Open the Tome
