Author of the publication

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.

No persons found for author name Shidama, Yasunari
add a person with the name Shidama, Yasunari
 

Other publications of authors with the same name

Differentiable Functions on Normed Linear Spaces.. Formalized Mathematics, 20 (1): 31-40 (2012)Embedded Lattice and Properties of Gram Matrix., and . Formalized Mathematics, 25 (1): 73 (2017)Formulation of Cell Petri Nets., , and . Formalized Mathematics, 21 (4): 241-247 (2013)The Ck Space., , and . Formalized Mathematics, 21 (1): 25-31 (2013)Riemann-Stieltjes Integral., , and . Formalized Mathematics, 24 (3): 199-204 (2016)The Basic Existence Theorem of Riemann-Stieltjes Integral., , and . Formalized Mathematics, 24 (4): 253-259 (2016)Open Mapping Theorem., , and . Formalized Mathematics, 16 (1-4): 401-403 (2008)Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order., , , and . Formalized Mathematics, 21 (3): 207-211 (2013)Constructing Binary Huffman Tree., , and . Formalized Mathematics, 21 (2): 133-143 (2013)Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem., and . ICAISC (1), volume 6113 of Lecture Notes in Computer Science, page 144-151. Springer, (2010)