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)

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

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)