Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th AISC 2018: Suzhou, China
- Jacques D. Fleuriot, Dongming Wang, Jacques Calmet:
Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. Lecture Notes in Computer Science 11110, Springer 2018, ISBN 978-3-319-99956-2
Invited Presentations
- Alan Bundy, Kwabena Nuamah
, Christopher Lucas:
Automated Reasoning in the Age of the Internet. 3-18 - James H. Davenport:
Methodologies of Symbolic Computation. 19-33
Artificial Intelligence, Theorem Proving and SAT Solving
- Jose Divasón, Jesús Aransay:
A Formal Proof of the Computation of Hermite Normal Form in a General Setting. 37-53 - David Braun, Nicolas Magaud, Pascal Schreck:
Formalizing Some "Small" Finite Models of Projective Geometry in Coq. 54-69 - Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola:
Into the Infinite - Theory Exploration for Coinduction. 70-86 - Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot:
Machine Learning for Inductive Theorem Proving. 87-103 - Shaofan Liu, Jie Luo:
FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets. 104-118 - Martin Strecker:
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. 119-135
Symbolic and Numerical Computation
- Fadoua Ghourabi, Kazuko Takahashi:
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? 139-154 - Zoltán Kovács:
Discovering Geometry Theorems in Regular Polygons. 155-169 - Changbo Chen, Wenyuan Wu:
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. 170-180 - Yu Wang, Wenyuan Wu, Bican Xia:
Early Ending in Homotopy Path-Tracking for Real Roots. 181-194 - Ilias S. Kotsireas, Jing Yang:
Autocorrelation via Runs. 195-205
Intelligent Documents and Collective Intelligence
- Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang:
LaTEX: A Linear Algebra Textbook System. 209-214 - Francisco Botana, Zoltán Kovács, Tomás Recio:
Towards an Automated Geometer. 215-220 - Pedro Quaresma:
Automatic Deduction in an AI Geometry Book. 221-226 - Dongchen Jiang, Xiaoyu Chen, Xin Yang:
A Chinese New Word Detection Approach Based on Independence Testing. 227-236 - Wei Su, Chuan Cai, Jinzhao Wu:
The Accessibility of Mathematical Formulas for the Visually Impaired in China. 237-242 - Tianshu Song, Feng Zhu, Ke Xu:
Specialty-Aware Task Assignment in Spatial Crowdsourcing. 243-254 - Pengcheng Peng, Chenqi Mou, Wei-Tek Tsai:
Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest. 255-268
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
