Artificial Intelligence and Symbolic Computation
From MaRDI portal
Publication:5464697
DOI10.1007/B100361zbMATH Open1109.68604OpenAlexW4205793925MaRDI QIDQ5464697FDOQ5464697
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
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)
- An introduction to computational origami
- Automated Deduction in Geometry
- Proof Documents for Automated Origami Theorem Proving
- Title not available (Why is that?)
- Mathematical Knowledge Management
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Computational origami construction as constraint solving and rewriting
- On the orderability problem for PLA folding
- Title not available (Why is that?)
- Computational construction of a maximum equilateral triangle inscribed in an origami
- Title not available (Why is that?)
- Proof assistant decision procedures for formalizing origami
Uses Software
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)
