Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Intelligent Computer Mathematics

Intelligent Computer Mathematics

By Christoph Benzmüller & Bruce Miller Computers & Internet 17/07/2020

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.
The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.

* The conference was held virtually due to the COVID-19 pandemic.

Read More
More Books from Christoph Benzmüller & Bruce Miller
Automated Reasoning Christoph Benzmüller, Marijn J.H. Heule & Renate A. Schmidt
Automated Reasoning
Rules and Reasoning Christoph Benzmüller, Francesco Ricca, Xavier Parent & Dumitru Roman
Rules and Reasoning
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit Oliver Passon, Christoph Benzmüller & Brigitte Falkenburg
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
Automated Reasoning Christoph Benzmüller, Marijn J.H. Heule & Renate A. Schmidt
Automated Reasoning
KI 2019: Advances in Artificial Intelligence Christoph Benzmüller & Heiner Stuckenschmidt
KI 2019: Advances in Artificial Intelligence
Intelligent Computer Mathematics Christoph Benzmüller & Bruce Miller
Intelligent Computer Mathematics
Comments