Intelligent Computer Mathematics

Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Rabe, Florian; Passmore, Grant O.; Youssef, Abdou; Farmer, William M.

Springer International Publishing AG

07/2018

287

Mole

Inglês

9783319968117

15 a 20 dias

462

Descrição não disponível.
Calculemus.- Digital Mathematical Libraries.- Mathematical Knowledge Management.
computer mathematics;mathematical documents;mathematical markup languages;mathematical software;mathematics education;mathematical libraries;algorithmic mathematics;formalized mathematics;symbolic computation;computer algebra;theorem proving;proof assistants;knowledge management;machine learning;representation languages;formal semantics;system integration;system interoperability;semantics;artifical intelligence