Artificial Intelligence and Symbolic Computation

DOI10.1007/B100361MaRDI QIDQ5464697zbMATH OpenOpenAlexFDO

Authors Tetsuo Ida, Dorin Ţepeneu, Bruno Buchberger, Judit Robu

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100361

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2217748
• scientific article; zbMATH DE number 2220992
• Computational origami construction as constraint solving and rewriting
• Proof assistant decision procedures for formalizing origami
• scientific article; zbMATH DE number 2217819
• Constraint functional logic programming for origami construction.
• An introduction to computational origami
• Proof Documents for Automated Origami Theorem Proving

Cited in

(17)

• On the orderability problem for PLA folding
• An introduction to computational origami
• Lang's universal molecule algorithm
• Proof Documents for Automated Origami Theorem Proving
• scientific article; zbMATH DE number 7219428 (Why is no real title available?)
• Proof assistant decision procedures for formalizing origami
• scientific article; zbMATH DE number 7059594 (Why is no real title available?)
• Computational origami construction as constraint solving and rewriting
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 2217748 (Why is no real title available?)
• scientific article; zbMATH DE number 2217819 (Why is no real title available?)
• scientific article; zbMATH DE number 2220992 (Why is no real title available?)
• Computational construction of a maximum equilateral triangle inscribed in an origami
• Mathematical Knowledge Management
• Constraint functional logic programming for origami construction.
• Morley's theorem revisited: origami construction and automated proof
• A new modeling of classical folds in computational origami

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: Artificial Intelligence and Symbolic Computation

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