Mechanized Mathematics and Its Applications
Volume 5, Number 1, 2006

Table of Contents

  1. Formalization of Dijkstra's Shortest Path Algorithm
    by Jingchao Chen
  2. Formalization of Mathematics for Modeling Wireless Communication Packet Exchanges between Cars
    by Bo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura
  3. Correctness of Programs Calculating Matrices
    by Wenpai Chang and Hiroshi Yamazaki
  4. Equivalence of Logic Circuits and their Description in VHDL
    by Hiroshi Yamazaki

(Last updated: July 2006)