The geometric calculator
نویسنده
چکیده
In this paper a geometric calculator is presented. A language of geometrical expressions, that are evaluated by the calculator, and the design and implementation of its interpreter is also presented. Geometrical expressions correspond to abstract data-types that can be defined dynamically through composition operations. Diagrams can be represented by a set of geometrical expressions, and the geometrical properties of a diagram or a diagram sequence can be computed through the calculator. The expressive power of the tool is illustrated with two applications: the generation of design patterns, and a simple but interesting case of geometrical constraint satisfaction.
منابع مشابه
Visualization of the projective line geometry for geometric algebra Drawing lines in GAViewer
This thesis describes a method for computationally recognizing the geometrical interpretation of most blades of the model of projective line geometry in geometric algebra. These different interpretations are not merely recognizable by the grade of the elements, or the absence or presence of some basis vector, as can be done for the homogeneous model for geometric algebra. GAViewer, a graphical ...
متن کاملDigital Fabrication and Hidden Inequalities: Connecting Procedural, Factual, and Conceptual Knowledge
The paper uses digital fabrication as a learning environment to demonstrate the importance of conceptual understanding of one-variable inequalities. These inequalities are hidden within two-variable inequalities used to construct geometric shapes the borders of which are the graphs of basic functions from the secondary mathematics curriculum. As graphing skills in the digital era are mostly pro...
متن کاملAutomated Ordering for Automated Theorem Proving in Elementary Geometry – Degree of Freedom Analysis Method
Wu’s method on mechanical theorem proving in geometries is a well-known method. Ordering of geometric constructions is one of the most important and difficult problems when applying this method. In this paper we proposed a systematic mechanical ordering method based on geometric considerations. This method has been tested by about one hundred theorems in plane geometry.
متن کاملEigenvalue calculator for Islanded Inverter-Based Microgrids
The stability analysis of islanded inverter-based microgrids (IBMGs) is increasingly an important and challenging topic due to the nonlinearity of IBMGs. In this paper, a new linear model for such microgrids as well as an iterative method to correct the linear model is proposed. Using the linear model makes it easy to analyze the eigenvalues and stability of IBMGs due to the fact that it derive...
متن کامل