Intelligent Computer Mathematics

Cezary Kaliszyk,Edwin Brady,Andrea Kohlhase,Claudio Sacerdoti Coen

Lecture Notes in Computer Science（2019）

Universität Innsbruck

被引用4|浏览10

摘要

The conference proceeding CICM 2018 focus on computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. The conference consisted of three tracks: Mathematical knowledge management, calculemus, and systems and projects.

更多

查看译文

关键词

Backpropagation Learning,Deep Learning,Pattern Classification,Feedforward Neural Networks,Recurrent Neural Networks