| 2018 | Early Ending in Homotopy Path-Tracking for Real Roots. | Yu Wang, Wenyuan Wu, Bican Xia |
| 2018 | The Accessibility of Mathematical Formulas for the Visually Impaired in China. | Wei Su, Chuan Cai, Jinzhao Wu |
| 2018 | Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. | Martin Strecker |
| 2018 | Specialty-Aware Task Assignment in Spatial Crowdsourcing. | Tianshu Song, Feng Zhu, Ke Xu |
| 2018 | Automatic Deduction in an AI Geometry Book. | Pedro Quaresma |
| 2018 | Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest. | Pengcheng Peng, Chenqi Mou, Wei-Tek Tsai |
| 2018 | FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets. | Shaofan Liu, Jie Luo |
| 2018 | Discovering Geometry Theorems in Regular Polygons. | Zoltn Kovcs |
| 2018 | Autocorrelation via Runs. | Ilias S. Kotsireas, Jing Yang |
| 2018 | Machine Learning for Inductive Theorem Proving. | Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot |
| 2018 | A Chinese New Word Detection Approach Based on Independence Testing. | Dongchen Jiang, Xiaoyu Chen, Xin Yang |
| 2018 | What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? | Fadoua Ghourabi, Kazuko Takahashi |
| 2018 | Into the Infinite - Theory Exploration for Coinduction. | Slrn Halla Einarsdttir, Moa Johansson, Johannes man Pohjola |
| 2018 | A Formal Proof of the Computation of Hermite Normal Form in a General Setting. | Jose Divasn, Jess Aransay |
| 2018 | Methodologies of Symbolic Computation. | James H. Davenport |
| 2018 | Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. | Changbo Chen, Wenyuan Wu |
| 2018 | LaTEX: A Linear Algebra Textbook System. | Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang |
| 2018 | Automated Reasoning in the Age of the Internet. | Alan Bundy, Kwabena Nuamah, Christopher Lucas |
| 2018 | Formalizing Some "Small" Finite Models of Projective Geometry in Coq. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2018 | Towards an Automated Geometer. | Francisco Botana, Zoltn Kovcs, Toms Recio |
| 2014 | Combining Systems for Mathematical Creativity (Invited Talk). | Volker Sorge |
| 2014 | Rational Conchoid and Offset Constructions: Algorithms and Implementation. | Juana Sendra, David Gmez, Valerio Morn |
| 2014 | Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk). | Jos-Luis Ruiz-Reina |
| 2014 | A Simple GUI for Developing Applications That Use Mathematical Software Systems. | Eugenio Roanes-Lozano, Antonio Hernando |
| 2014 | Algorithmic Aspects of Theory Blending. | Maricarmen Martnez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Khnberger, Markus Guhe, Alison Pease |