MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
Lire la suiteThis volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program ...
Lire la suite