The research for defining equations of singularities using computer algebra system
The research of Mathematics Education using technology
論文 (32件):
Fumiya Iwama, Tadashi Takahashi. Euclid's Elements Theorem Proving Using Isabelle. Proceedings of the Universal Academic Cluster International Online Conference in Bangkok, 2021. 2021. 5
Tomohiro Washino, Tadashi Takahashi. Parametrization of Statistical Models in Three-layer Neural Networks. Proceedings of 9th International Conference on Information and Education Technology (ICIET 2021). 2021
T.Takahashi, Tomohiro W. On the application of elimination ideal for statistical model. COMPUSOFT, An International Journal of Advanced Computer Technolog. 2020
Fumiya Iwama, Tadashi Takahashi. On The Proving Theorems of Euclidean Geometry by Using Isabelle/HOL. Proceedings of International Conference on Mathematic, Statistics and Applied Science. 2020. 5