Xicheng Peng

Available identifiers

zbMath Open peng.xichengMaRDI QIDQ1730302

List of research outcomes

Publication	Date of Publication	Type
A filtered beam search based heuristic algorithm for packing unit circles into a circular container	2024-07-08	Paper
Automated generation of geometry proof problems based on point geometry identity	2024-06-10	Paper
Self-evident automated geometric theorem proving based on complex number identity	2024-02-06	Paper
An identity method for proving geometry theorems based on Wu's method	2022-03-21	Paper
Automated discovery of geometric theorems based on vector equations	2021-11-23	Paper
A tabu search algorithm with controlled randomization for constructing feasible university course timetables	2021-04-20	Paper
Self-evident automated proving based on point geometry from the perspective of Wu's method identity	2019-03-06	Paper

Research outcomes over time

This page was built for person: Xicheng Peng