product
2411655Intelligent Computer Mathematicshttps://www.gandhi.com.mx/intelligent-computer-mathematics-9783319620756/phttps://gandhi.vtexassets.com/arquivos/ids/3164894/98b68466-ff07-4d1f-9c74-12b639658486.jpg?v=6383849689427000009621069MXNSpringer International PublishingInStock/Ebooks/<p>This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.</p><p>The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.</p>...2347680Intelligent Computer Mathematics9621069https://www.gandhi.com.mx/intelligent-computer-mathematics-9783319620756/phttps://gandhi.vtexassets.com/arquivos/ids/3164894/98b68466-ff07-4d1f-9c74-12b639658486.jpg?v=638384968942700000InStockMXN99999DIEbook20179783319620756_W3siaWQiOiIwZDJmOTViNS0zODlkLTQ0ODktYjUxNC05MWM3ZmJjNDRmZmQiLCJsaXN0UHJpY2UiOjEwNjksImRpc2NvdW50IjoxMDcsInNlbGxpbmdQcmljZSI6OTYyLCJpbmNsdWRlc1RheCI6dHJ1ZSwicHJpY2VUeXBlIjoiV2hvbGVzYWxlIiwiY3VycmVuY3kiOiJNWE4iLCJmcm9tIjoiMjAyNS0wNS0yN1QxMjowMDowMFoiLCJ0byI6IjIwMjUtMDYtMzBUMjM6NTk6NTlaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX0seyJpZCI6Ijc1OGM5ZDUyLTlmNjktNDI5Zi05NGZkLTlmY2MzNDNlNDE3ZiIsImxpc3RQcmljZSI6MTA4NCwiZGlzY291bnQiOjEwOCwic2VsbGluZ1ByaWNlIjo5NzYsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTA3LTAxVDAwOjAwOjAwWiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9XQ==9783319620756_<p>This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.</p><p>The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.</p>(*_*)9783319620756_<p>This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.</p><p>The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.</p>...9783319620756_Springer International Publishinglibro_electonico_0bdd5ea9-6e17-350e-ab09-2e794cee67e4_9783319620756;9783319620756_9783319620756InglésMéxico2017-06-26T00:00:00+00:00Springer International Publishing