Problem-solving machines for Euclidean geometry

DOI10.1016/0020-0255(70)90036-8zbMath0228.68024OpenAlexW2070418189MaRDI QIDQ2549937

Motokiti Kondô, Haruo Murata

Publication date: 1970

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(70)90036-8

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• ALGOL 60

Cites Work

• On certain formal properties of grammars
• On proof retrieval: Problem-solving machines, I
• The arithmetic translator-compiler of the IBM FORTRAN automatic coding system
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Problem-solving machines for Euclidean geometry