Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319999562, 9783319999579

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Accessibility of Mathematical Formulas for the Visually Impaired in China

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_18 ◽

2018 ◽

pp. 237-242 ◽

Cited By ~ 1

Author(s):

Wei Su ◽

Chuan Cai ◽

Jinzhao Wu

Keyword(s):

Visually Impaired ◽

Mathematical Formulas

Download Full-text

Machine Learning for Inductive Theorem Proving

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_6 ◽

2018 ◽

pp. 87-103 ◽

Cited By ~ 3

Author(s):

Yaqing Jiang ◽

Petros Papapanagiotou ◽

Jacques Fleuriot

Keyword(s):

Machine Learning ◽

Theorem Proving ◽

Inductive Theorem Proving

Download Full-text

Automated Reasoning in the Age of the Internet

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_1 ◽

2018 ◽

pp. 3-18 ◽

Cited By ~ 2

Author(s):

Alan Bundy ◽

Kwabena Nuamah ◽

Christopher Lucas

Keyword(s):

Automated Reasoning ◽

The Internet

Download Full-text

Discovering Geometry Theorems in Regular Polygons

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_10 ◽

2018 ◽

pp. 155-169

Author(s):

Zoltán Kovács

Keyword(s):

Regular Polygons

Download Full-text

Into the Infinite - Theory Exploration for Coinduction

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_5 ◽

2018 ◽

pp. 70-86 ◽

Cited By ~ 1

Author(s):

Sólrún Halla Einarsdóttir ◽

Moa Johansson ◽

Johannes Åman Pohjola

Download Full-text

Specialty-Aware Task Assignment in Spatial Crowdsourcing

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_19 ◽

2018 ◽

pp. 243-254 ◽

Cited By ~ 3

Author(s):

Tianshu Song ◽

Feng Zhu ◽

Ke Xu

Keyword(s):

Task Assignment ◽

Spatial Crowdsourcing

Download Full-text

Formalizing Some “Small” Finite Models of Projective Geometry in Coq

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_4 ◽

2018 ◽

pp. 54-69 ◽

Cited By ~ 1

Author(s):

David Braun ◽

Nicolas Magaud ◽

Pascal Schreck

Keyword(s):

Projective Geometry ◽

Finite Models

Download Full-text

Towards an Automated Geometer

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_15 ◽

2018 ◽

pp. 215-220 ◽

Cited By ~ 1

Author(s):

Francisco Botana ◽

Zoltán Kovács ◽

Tomás Recio

Download Full-text

Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_20 ◽

2018 ◽

pp. 255-268

Author(s):

Pengcheng Peng ◽

Chenqi Mou ◽

Wei-Tek Tsai

Keyword(s):

Theoretic Analysis ◽

Game Theoretic Analysis ◽

Game Theoretic ◽

Crowdsourcing Contest

Download Full-text

A Formal Proof of the Computation of Hermite Normal Form in a General Setting

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_3 ◽

2018 ◽

pp. 37-53

Author(s):

Jose Divasón ◽

Jesús Aransay

Keyword(s):

Normal Form ◽

General Setting ◽

Formal Proof ◽

Hermite Normal Form

Download Full-text

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Accessibility of Mathematical Formulas for the Visually Impaired in China

Machine Learning for Inductive Theorem Proving

Automated Reasoning in the Age of the Internet

Discovering Geometry Theorems in Regular Polygons

Into the Infinite - Theory Exploration for Coinduction

Specialty-Aware Task Assignment in Spatial Crowdsourcing

Formalizing Some “Small” Finite Models of Projective Geometry in Coq

Towards an Automated Geometer

Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest

A Formal Proof of the Computation of Hermite Normal Form in a General Setting

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science
Latest Publications