scientific article; zbMATH DE number 67455

MaRDI QIDQ4012180zbMATH OpenFDO

Authors Hitoshi Iba, Hirochiko Inoue

Publication date 27 September 1992

zbMATH Keywords

heuristicsWu's methodgeometric reasoning system

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
• scientific article; zbMATH DE number 1421055
• scientific article; zbMATH DE number 1189078
• Geometric reasoning with logic and algebra
• Geometric theorem proving by integrated logical and algebraic reasoning

Cited in

(6)

• scientific article; zbMATH DE number 1189078 (Why is no real title available?)
• scientific article; zbMATH DE number 4187177 (Why is no real title available?)
• The design and realization of an alternate reasoning system in plane analytic geometry
• Solving geometry problems using a combination of symbolic and numerical reasoning
• scientific article; zbMATH DE number 1945858 (Why is no real title available?)
• scientific article; zbMATH DE number 994741 (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)