Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations., , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 479-493. Springer, (2001)Proving and Constraint Solving in Computational Origami., , , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 132-142. Springer, (2004)Modeling Origami for Computational Construction and Beyond., , , and . ICCSA (2), volume 4706 of Lecture Notes in Computer Science, page 653-665. Springer, (2007)Reducing Search Space in Solving Higher-Order Equations., , and . Progress in Discovery Science, volume 2281 of Lecture Notes in Computer Science, page 19-30. Springer, (2002)Computational Origami Construction as Constraint Solving and Rewriting., , , and . WFLP@RDP, volume 216 of Electronic Notes in Theoretical Computer Science, page 31-44. Elsevier, (2007)Symbolic and algebraic methods in computational origami: invited talk.. ISSAC, page 3-4. ACM, (2009)Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification., , and . SYNASC, page 12-19. IEEE Computer Society, (2013)Huzita's Basic Origami Fold in Geometric Algebra.. SYNASC, page 11-13. IEEE Computer Society, (2014)An Introduction to Computational Origami - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation Springer, (2020)Logical and algebraic view of Huzita's origami axioms with applications to computational origami., , , , and . SAC, page 767-772. ACM, (2007)