I know this interesting site. I would like to see any situation and suggestions on the division by zero. I attached our basic information:
Please kindly give me your kind suggestions and comments. With best regards, Sincerely yours, Saburou Saitoh 2019.3.1.21:06 *José Manuel Rodríguez Caballero <https://www.researchgate.net/profile/Jose_Rodriguez_Caballero2>* Added an answer In the proof assistant Isabelle/HOL we have x/0 = 0 for each number x. This is advantageous in order to simplify the proofs. You can download this proof assistant here: *https://isabelle.in.tum.de/ <https://www.researchgate.net/deref/https%3A%2F%2Fisabelle.in.tum.de%2F>* *Close the mysterious and long history of division by zero and open the new world since Aristotel**ē**s-Euclid:* *1/0=0/0=z/0= \tan (\pi/2)=0.* Sangaku Journal of Mathematics (SJM) c ⃝SJMISSN 2534-9562 Volume 2 (2018), pp. 57-73 Received 20 November 2018. Published on-line 29 November 2018 web: *http://www.sangaku-journal.eu/ <http://www.sangaku-journal.eu/>* c ⃝The Author(s) This article is published with open access1. Wasan Geometry and Division by Zero Calculus ∗Hiroshi Okumura and ∗∗Saburou Saitoh
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info