Geometric Programming System

点击翻译按钮获取中文摘要

(1)Design and Implementation of Geometric Programming Language ・ We designed and implemented an algebraic constraint programming language named GPL. Major characteristics of GPL are - Functional Programming Language with Global Variables - Function Overloading - Array of Indefinite Size - Constraint Inheritance - Automatic Type Conversion ・ We showed that various geometric objects such as images, points, lines, polygons and so on can be compactly described in GPL, and that facilities of function overloading, constraint inheritance, and type conversion are very useful to describe operators to process those geometric objects. ・ As a future problem, we should develop a compiler of GPL.(2)Development of Geometric Reasoning System by Integrated Logical and Algebraic Reasoning ・ We devised a new geometric reasoning method which integrates both logical reasoning based on the first order predicate calculus and algebraic reasoning using Grobner basis method. ・ We developed a geometric theorem prover and showed that the new reasoning method is more powerful than ordinary ones.