( en | de | ru )

 

Disambiguation of "Nakasho, Kazuhisa"

Author of the publication

copydeleteadd this publication to your clipboard
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order.

, , , and . Formaliz. Math., 21 (3): 207-211 (2013)

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.

Kazuhisa Kakurai

 

Other publications of authors with the same name

Bilinear Operators on Normed Linear Spaces.. Formalized Mathematics, 27 (1): 15-23 (2019)An Integrated Web Platform for the Mizar Mathematical Library., , , , and . CICM, volume 13467 of Lecture Notes in Computer Science, page 141-146. Springer, (2022)Definition and Properties of Direct Sum Decomposition of Groups1., , , and . Formaliz. Math., 23 (1): 15-27 (2015)Remote Verification System for Mizar Integrated with Emwiki., , and . CICM, volume 14960 of Lecture Notes in Computer Science, page 337-344. Springer, (2024)The Basic Existence Theorem of Riemann-Stieltjes Integral., , and . Formalized Mathematics, 24 (4): 253-259 (2016)Secure Primitive for Big Data Utilization., , , , and . Security Infrastructure Technology for Integrated Utilization of Big Data, Springer, (2020)Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System.. FedCSIS, volume 18 of Annals of Computer Science and Information Systems, page 77-80. (2019)Development and Application of Privacy-preserving Distributed Medical Data Integration System., , , , , and . ICCE-TW, page 1-2. IEEE, (2020)Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order., , , and . Formaliz. Math., 21 (3): 207-211 (2013)Implicit Function Theorem. Part I., , and . Formalized Mathematics, 25 (4): 269-281 (2017)