Automated Discovery of Geometric Theorems Based on Vector Equations
Peng, Xicheng, Chen, Qihang, Zhang, Jingzhong, Chen, Mao
Published in Journal of automated reasoning (01.08.2021)
Published in Journal of automated reasoning (01.08.2021)
Get full text
Journal Article
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity
Zhang, Jingzhong, Peng, Xicheng, Chen, Mao
Published in Journal of systems science and complexity (01.02.2019)
Published in Journal of systems science and complexity (01.02.2019)
Get full text
Journal Article
An iterated local search algorithm for the University Course Timetabling Problem
Song, Ting, Liu, Sanya, Tang, Xiangyang, Peng, Xicheng, Chen, Mao
Published in Applied soft computing (01.07.2018)
Published in Applied soft computing (01.07.2018)
Get full text
Journal Article
Knowledge graph-based multi-context-aware recommendation algorithm
Wu, Chao, Liu, Sannyuya, Zeng, Zeyu, Chen, Mao, Alhudhaif, Adi, Tang, Xiangyang, Alenezi, Fayadh, Alnaim, Norah, Peng, Xicheng
Published in Information sciences (01.05.2022)
Published in Information sciences (01.05.2022)
Get full text
Journal Article
A filtered beam search based heuristic algorithm for packing unit circles into a circular container
Chen, Mao, Yang, Yajing, Zeng, Zeyu, Tang, Xiangyang, Peng, Xicheng, Liu, Sannuya
Published in Computers & operations research (01.06.2024)
Published in Computers & operations research (01.06.2024)
Get full text
Journal Article
Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity
Peng, Xicheng, Zhang, Jingzhong, Chen, Mao, Liu, Sannyuya
Published in Journal of automated reasoning (01.12.2023)
Published in Journal of automated reasoning (01.12.2023)
Get full text
Journal Article
Task-driven cleaning and pruning of noisy knowledge graph
Wu, Chao, Zeng, Zeyu, Yang, Yajing, Chen, Mao, Peng, Xicheng, Liu, Sannyuya
Published in Information sciences (01.10.2023)
Published in Information sciences (01.10.2023)
Get full text
Journal Article
An efficient deterministic heuristic algorithm for the rectangular packing problem
Chen, Mao, Wu, Chao, Tang, Xiangyang, Peng, Xicheng, Zeng, Zhizhong, Liu, Sanya
Published in Computers & industrial engineering (01.11.2019)
Published in Computers & industrial engineering (01.11.2019)
Get full text
Journal Article
Automated Generation of Geometry Proof Problems Based on Point Geometry Identity
Li, Lei, Yang, Zongkai, Chen, Mao, Peng, Xicheng, Sun, Jianwen, Yan, Zhonghua, Liu, Sannyuya
Published in Journal of automated reasoning (01.06.2024)
Published in Journal of automated reasoning (01.06.2024)
Get full text
Journal Article
Greedy heuristic algorithm for packing equal circles into a circular container
Chen, Mao, Tang, Xiangyang, Song, Ting, Zeng, Zhizhong, Peng, Xicheng, Liu, Sanya
Published in Computers & industrial engineering (01.05.2018)
Published in Computers & industrial engineering (01.05.2018)
Get full text
Journal Article
A Systematic Review and Meta-Analysis of the Efficacy of Antimicrobial Chemoprophylaxis for Recurrent Acute Otitis Media in Children
Davies, Timothy, Peng, Xicheng, Salem, Joseph, Elcioglu, Zeynep C, Kremneva, Anna, Gruber, Mei-Yin, Milinis, Kristijonas, Mather, Michael W, Powell, Jason, Sharma, Sunil
Published in Clinical otolaryngology (12.10.2024)
Published in Clinical otolaryngology (12.10.2024)
Get full text
Journal Article
Design and Development of a Teaching System Based on Super Sketchpad
Mao Chen, Guotao Hu, Chao Yu, Xicheng Peng
Published in 2009 Second International Symposium on Computational Intelligence and Design (01.12.2009)
Published in 2009 Second International Symposium on Computational Intelligence and Design (01.12.2009)
Get full text
Conference Proceeding
Introduction to Retrieval Knowledge Using Intelligent Education Software
Qiang Ge, Xicheng Peng, Mao Chen
Published in 2009 Second International Symposium on Knowledge Acquisition and Modeling (01.11.2009)
Published in 2009 Second International Symposium on Knowledge Acquisition and Modeling (01.11.2009)
Get full text
Conference Proceeding
Practice and thinking about teaching dynamic geometry course in normal university
Zhang Jingzhong, Peng Xicheng, Chen Mao
Published in The electronic journal of mathematics & technology (01.06.2010)
Get full text
Published in The electronic journal of mathematics & technology (01.06.2010)
Journal Article
Geometric proof question automatic generation method and system based on existing exercise reorganization
SUN JIANWEN, PENG XICHENG, LIU SANNYUYA, YANG ZONGKAI, CHEN MAO, LI LEI
Year of Publication 02.02.2024
Get full text
Year of Publication 02.02.2024
Patent
Method and system for automatically synthesizing new geometric proof questions based on existing exercises
SUN JIANWEN, PENG XICHENG, LIU SANNYUYA, YANG ZONGKAI, CHEN MAO, LI LEI
Year of Publication 05.01.2024
Get full text
Year of Publication 05.01.2024
Patent
Transplanting mechanism for automatic auxiliary material pasting machine
WEN JIANDONG, YIN SUMING, QI SHUNHAI, WANG RONG, PENG XICHENG, WANG JIANFENG, SHAO JIAN, ZHANG HUI, ZHOU TAO
Year of Publication 15.01.2021
Get full text
Year of Publication 15.01.2021
Patent
Laminating platform mechanism for automatic auxiliary material laminating machine
WEN JIANDONG, YIN SUMING, QI SHUNHAI, WANG RONG, PENG XICHENG, WANG JIANFENG, SHAO JIAN, ZHANG HUI, ZHOU TAO
Year of Publication 25.12.2020
Get full text
Year of Publication 25.12.2020
Patent