Geometric reasoning with logic and algebra

1988 ◽  
Vol 37 (1-3) ◽  
pp. 37-60 ◽  
Author(s):  
Dennis S. Arnon
2021 ◽  
Vol 128 (1) ◽  
pp. 25-39
Author(s):  
Joshua P. Bowman
Keyword(s):  

2015 ◽  
Vol 108 (9) ◽  
pp. 720
Author(s):  
Katie A. Hendrickson ◽  
Gabrielle Kisner

Problem-based learning motivates students to use their knowledge of geometry and algebra.


2017 ◽  
Vol 3 (3) ◽  
pp. 173-205 ◽  
Author(s):  
Jonathan Troup ◽  
Hortensia Soto-Johnson ◽  
Gulden Karakok ◽  
Ricardo Diaz

2013 ◽  
Vol 18 (2) ◽  
pp. 357-403 ◽  
Author(s):  
Igor Timko ◽  
Curtis Dyreson ◽  
Torben Bach Pedersen

1994 ◽  
Vol 116 (3) ◽  
pp. 763-769 ◽  
Author(s):  
Z. Fu ◽  
A. de Pennington

It has been recognized that future intelligent design support environments need to reason about the geometry of products and to evaluate product functionality and performance against given constraints. A first step towards this goal is to provide a more robust information model which directly relates to design functionality or manufacturing characteristics, on which reasoning can be carried out. This has motivated research on feature-based modelling and reasoning. In this paper, an approach is presented to geometric reasoning based on graph grammar parsing. Our approach is presented to geometric reasoning based on graph grammar parsing. Our work combines methodologies from both design by features and feature recognition. A graph grammar is used to represent and manipulate features and geometric constraints. Geometric constraints are used within symbolical definitions of features constraints. Geometric constraints are used within symbolical definitions of features and also to define relative position and orientation of features. The graph grammar parsing is incorporated with knowledge-based inference to derive feature information and propagate constraints. This approach can be used for the transformation of feature information and to deal with feature interaction.


Sign in / Sign up

Export Citation Format

Share Document