@article{e0c91d364e9840c2b8a6a63572adc912,
title = "Completion of gradual metric spaces",
abstract = "In this paper, a completion theorem for gradual metric space and a completion theorem for gradual normed linear space are proved. The completion spaces are defined by means of an equivalence relation obtained by convergence of sequences via the gradual metrics and the gradual norms, respectively.",
keywords = "Gradual number, completion, gradual metric, gradual norm",
author = "Bing Wang and Bin Pang and Guiyan Ding",
note = "Publisher Copyright: {\textcopyright} 2014 - IOS Press and the authors.",
year = "2014",
doi = "10.3233/IFS-141232",
language = "English",
volume = "27",
pages = "2597--2602",
journal = "Journal of Intelligent and Fuzzy Systems",
issn = "1064-1246",
publisher = "IOS Press BV",
number = "5",
}