Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesling
Original language | English |
---|---|
Title of host publication | Intelligent Computer Mathematics |
Subtitle of host publication | 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings |
Editors | Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa |
Place of Publication | Cham |
Publisher | Springer |
Pages | 117-131 |
Number of pages | 15 |
ISBN (Electronic) | 9783319425474 |
ISBN (Print) | 9783319425467 |
DOIs | |
Publication status | Published - 2016 |
Additional links | |
Event | Conference on Intelligent Computer Mathematics 2016 - Bialystok, Poland Duration: 25 Jul 2016 → 29 Jul 2016 http://www.cicm-conference.org/2016/cicm.php?event=&menu=general |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer, Cham |
Volume | 9791 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | Conference on Intelligent Computer Mathematics 2016 |
---|---|
Country | Poland |
City | Bialystok |
Period | 25/07/16 → 29/07/16 |
Internet address |
Discover related content
Find related publications, people, projects and more using interactive charts.
Research output: Other contribution
Research output: Other contribution
Research output: Non-textual form › Software
Research output: Non-textual form › Software
Research output: Non-textual form › Software
ID: 250088355