scientific article; zbMATH DE number 67455

MaRDI QIDQ4012180zbMATH OpenFDO

Authors Hitoshi Iba, Hirochiko Inoue

Publication date 27 September 1992

zbMATH Keywords

geometric reasoning systemheuristicsWu's method

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• scientific article; zbMATH DE number 994741
• Plane Euclidean reasoning
• Integration of reasoning and algebraic calculus in geometry
• Geometric reasoning with logic and algebra
• Geometric theorem proving by integrated logical and algebraic reasoning

Cited in

(6)

• Solving geometry problems using a combination of symbolic and numerical reasoning
• scientific article; zbMATH DE number 994741 (Why is no real title available?)
• Integration of reasoning and algebraic calculus in geometry
• scientific article; zbMATH DE number 1945858 (Why is no real title available?)
• The design and realization of an alternate reasoning system in plane analytic geometry
• scientific article; zbMATH DE number 4187177 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012180)