高橋 英和

Morley’s Theorem Revisited through Computational Origami 

Applied Mathematica: Proceedings of the 7th International Mathematica Symposium (IMS 2005) CDROM 2005年  

Computational Origami of a Morley’s Triangle 

Proceedings of 4th International Conference on Mathematical Knowledge Management (MKM 2005), Lecture Notes in Artificial Intelligence 3863 2005年  

A System for Computational Origami – Progress Report 

New Ideas in Symbolic Computation: Proceedings of the 6th International Mathematica Symposium (IMS 2004) CDROM 2004年  

New Development in Web Applications Using J/Link 

Challenging the Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposium (IMS 2003) pp. 183 – 190 2003年  

An Origami Programming Environment 

Challenging the Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposium (IMS 2003) pp. 413 – 420 2003年  

Constraint Functional Logic Programming for Origami Construction 

The First Asian Symposium on Programming Languages and Systems (APLAS 2003), Lecture Notes in Computer Science 2895 pp. 73 – 88 2003年  

Web Applications Using J/Link for Math Education 

Symbolic Computation: New Horizons, Proceedings of the fourth International Mathematica Symposium (IMS 2001) pp. 477 – 484 2001年