@article{oai:soar-ir.repo.nii.ac.jp:00018417,
 author = {Kanazashi, Katuhiko and Okazaki, Hiroyuki and Shidama, Yasunari},
 issue = {2},
 journal = {Formalized Mathematics},
 month = {Jun},
 note = {Article, Formalized Mathematics. 19(2): 121-126 (2011)},
 pages = {121--126},
 title = {Banach Algebra of Bounded Complex-Valued Functionals},
 volume = {19},
 year = {2011}
}