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

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)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)Modeling Origami for Computational Construction and Beyond., , , and . ICCSA (2), volume 4706 of Lecture Notes in Computer Science, page 653-665. Springer, (2007)Proving and Constraint Solving in Computational Origami., , , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 132-142. Springer, (2004)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)G-system: A Functionally-Based Communication System Model for Parallel Processing., , and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 170-178. North-Holland, (1992)Higher-order Lazy Narrowing Calculi in Perspective., , and . WFLP, page 238-252. (2000)