scientific article; zbMATH DE number 67455

zbMATH Open0745.68094MaRDI QIDQ4012180FDOQ4012180

Authors: Hitoshi Iba, Hirochiko Inoue 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving geometry problems using a combination of symbolic and numerical reasoning
• Title not available (Why is that?)
• The design and realization of an alternate reasoning system in plane analytic geometry
• Title not available (Why is that?)

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)