Mechanized Mathematics and Its Applications
Volume 3, 2004

Table of Contents

  1. Analysis of T-S Fuzzy Model
    by Takashi Mitsuishi and Yasunari Shidama
  2. On a Formalization of Digital Circuits in Mizar
    by Pauline N. Kawamoto
  3. A Design Verification of an n-bit Adder Circuit Using a Proof Checker
    by Shin'nosuke Yamaguchi, Grzegorz Bancerek, Katsumi Wasaki, and Yasunari Shidama
  4. Improvement of Radix-2k Signed-Digit Numbers for a High Speed Circuit
    by Masaaki Niimura and Yasushi Fuwa
(Last updated: May 28, 2004)