Pages that link to "Item:Q5464697"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464697):
Displaying 10 items.
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- On the orderability problem for PLA folding (Q1824403) (← links)
- An introduction to computational origami (Q2204695) (← links)
- Lang's universal molecule algorithm (Q2354914) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
- (Q3295662) (← links)
- (Q5379004) (← links)
- Computational Origami Construction as Constraint Solving and Rewriting (Q5403476) (← links)
- Programming Languages and Systems (Q5902357) (← links)
- A new modeling of classical folds in computational origami (Q6653957) (← links)