3 Questions 6 Answers 0 Followers
Questions related from Raden Muhammad Hadi Suryo S.
I'm undergraduate student and I have big interest in algebra and (especially) in mathematical logic. I got task from my lecturer to prepare a research topic for my final task. Can anyone help me...
03 March 2014 4,964 0 View
Are Automated theorem provers really useful to help students to know and understand how to proof? Is there any research about it?
09 September 2013 6,834 3 View
This problem looks so easy and classic. Just search a cuboid with every side, face diagonals, and inner diagonals are integers. But, I have still not getting any cause why it still unsolved when...
07 July 2013 7,170 5 View
