List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A filtered beam search based heuristic algorithm for packing unit circles into a circular container Computers & Operations Research | 2024-07-08 | Paper |
| Automated generation of geometry proof problems based on point geometry identity Journal of Automated Reasoning | 2024-06-10 | Paper |
| Self-evident automated geometric theorem proving based on complex number identity Journal of Automated Reasoning | 2024-02-06 | Paper |
| An identity method for proving geometry theorems based on Wu's method SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
| Automated discovery of geometric theorems based on vector equations Journal of Automated Reasoning | 2021-11-23 | Paper |
| A tabu search algorithm with controlled randomization for constructing feasible university course timetables Computers & Operations Research | 2021-04-20 | Paper |
| Self-evident automated proving based on point geometry from the perspective of Wu's method identity Journal of Systems Science and Complexity | 2019-03-06 | Paper |
Research outcomes over time
This page was built for person: Xicheng Peng
