Mao Chen

Available identifiers

zbMath Open chen.maoMaRDI QIDQ1730303

List of research outcomes

Publication	Date of Publication	Type
Self-evident automated geometric theorem proving based on complex number identity	2024-02-06	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
An efficient heuristic algorithm for two-dimensional rectangular packing problem with central rectangle	2019-11-21	Paper
Self-evident automated proving based on point geometry from the perspective of Wu's method identity	2019-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q3553692	2010-04-21	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: Mao Chen