Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Xicheng Peng"'
Publikováno v:
Journal of Automated Reasoning. 65:711-726
Automated discovery of geometric theorems has attracted considerable attention from the research community. In this paper, a new method is proposed to discover geometric theorems automatically. This method first generates vector equations based on gi
Publikováno v:
Journal of Systems Science and Complexity. 32:78-94
The algebraic methods represented by Wu’s method have made significant breakthroughs in the field of geometric theorem proving. Algebraic proofs usually involve large amounts of calculations, thus making it difficult to understand intuitively. Howe
Publikováno v:
Applied Soft Computing. 68:597-608
In this paper, an iterated local search algorithm is proposed to find the feasible solution for the University Course Timetabling Problem. Three key phases are involved in the proposed algorithm framework: initialization, intensification and diversif
Publikováno v:
Computers & Industrial Engineering. 119:114-120
This paper presents a greedy heuristic algorithm for solving the circle packing problem whose objective is to pack a set of unit circles into the smallest circular container. The proposed algorithm can be divided into two stages. In the first stage,
Publikováno v:
Computers & Operations Research. 123:105007
University Course Timetabling Problem (UCTP) is one of the most studied timetabling problems. In this work, the problem of finding a feasible solution for the UCTP, i.e., a solution that satisfies all hard constraints, is addressed. To cater for the
Publikováno v:
Computers & Industrial Engineering. 137:106097
This paper presents a deterministic heuristic algorithm for solving the NP-hard two-dimensional rectangular packing problem with the objective of maximizing the filling rate of a rectangular sheet. The key component of the proposed algorithm is a bes
Publikováno v:
DEStech Transactions on Engineering and Technology Research.
Dynamic geometry technology has been extensively used in geometry education. To aid the teaching and learning of geometry reasoning, many efficient automated geometry reasoning algorithms have been integrated into the dynamic geometry system. However
Publikováno v:
ISCID (2)
In this paper, the design and development of a powerful and user-friendly teaching system is introduced. Developed based on the programming environment and text instruction provided by Super Sketchpad, this teaching system is a second time developmen
Publikováno v:
2009 Second International Symposium on Knowledge Acquisition & Modeling; 2009, p148-151, 4p