Abstract is missing.
- Automated Reasoning in the Age of the InternetAlan Bundy, Kwabena Nuamah, Christopher Lucas. 3-18 [doi]
- Methodologies of Symbolic ComputationJames H. Davenport. 19-33 [doi]
- A Formal Proof of the Computation of Hermite Normal Form in a General SettingJose Divasón, Jesús Aransay. 37-53 [doi]
- Formalizing Some "Small" Finite Models of Projective Geometry in CoqDavid Braun, Nicolas Magaud, Pascal Schreck. 54-69 [doi]
- Into the Infinite - Theory Exploration for CoinductionSólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola. 70-86 [doi]
- Machine Learning for Inductive Theorem ProvingYaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot. 87-103 [doi]
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable SubsetsShaofan Liu, Jie Luo. 104-118 [doi]
- Deciding Extended Modal Logics by Combining State Space Generation and SAT SolvingMartin Strecker. 119-135 [doi]
- What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?Fadoua Ghourabi, Kazuko Takahashi. 139-154 [doi]
- Discovering Geometry Theorems in Regular PolygonsZoltán Kovács. 155-169 [doi]
- Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems GeometricallyChangbo Chen, Wenyuan Wu. 170-180 [doi]
- Early Ending in Homotopy Path-Tracking for Real RootsYu Wang, Wenyuan Wu, Bican Xia. 181-194 [doi]
- Autocorrelation via RunsIlias S. Kotsireas, Jing Yang. 195-205 [doi]
- : A Linear Algebra Textbook SystemXiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang. 209-214 [doi]
- Towards an Automated GeometerFrancisco Botana, Zoltán Kovács, Tomás Recio. 215-220 [doi]
- Automatic Deduction in an AI Geometry BookPedro Quaresma. 221-226 [doi]
- A Chinese New Word Detection Approach Based on Independence TestingDongchen Jiang, Xiaoyu Chen, Xin Yang. 227-236 [doi]
- The Accessibility of Mathematical Formulas for the Visually Impaired in ChinaWei Su, Chuan Cai, Jinzhao Wu. 237-242 [doi]
- Specialty-Aware Task Assignment in Spatial CrowdsourcingTianshu Song, Feng Zhu 0005, Ke Xu 0001. 243-254 [doi]
- Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing ContestPengcheng Peng, Chenqi Mou, Wei-Tek Tsai. 255-268 [doi]