Xicheng Peng

Available identifiers

zbMath Open peng.xichengMaRDI QIDQ1730302

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Xicheng Peng