( en | de | ru )

 

Disambiguation of "Ida, Tetsuo"

Author of the publication

copydeleteadd this publication to your clipboard
An Open Environment for Cooperative Equational Solving.

, and . APLAS, page 163-166. (2000)

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.

Tetsuo Morino

Tetsuo Kishimoto

Alexander Idaszewski

Hicham Idabal

Makoto Ida

 

Other publications of authors with the same name

Proving and Constraint Solving in Computational Origami., , , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 132-142. Springer, (2004)Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification., , and . SYNASC, page 12-19. IEEE Computer Society, (2013)Symbolic and algebraic methods in computational origami: invited talk.. ISSAC, page 3-4. ACM, (2009)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)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)Huzita's Basic Origami Fold in Geometric Algebra.. SYNASC, page 11-13. IEEE Computer Society, (2014)Design of a Lisp Machine - FLATS., , , , , , , , and . Symposium on LISP and Functional Programming, page 208-215. ACM, (1982)Proof Documents for Automated Origami Theorem Proving., , and . Automated Deduction in Geometry, volume 6877 of Lecture Notes in Computer Science, page 78-97. Springer, (2010)