Constructing binary Huffman tree
From MaRDI portal
Publication:467784
DOI10.2478/forma-2013-0015zbMath1298.68071OpenAlexW1969274304MaRDI QIDQ467784
Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki
Publication date: 5 November 2014
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0015
Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Mechanization of proofs and logical operations (03B35) Data structures (68P05)
Related Items
Cites Work