H
Hitoshi Yanami
Researcher at Fujitsu
Publications - 82
Citations - 464
Hitoshi Yanami is an academic researcher from Fujitsu. The author has contributed to research in topics: Quantifier elimination & Symbolic computation. The author has an hindex of 11, co-authored 79 publications receiving 453 citations.
Papers
More filters
Proceedings ArticleDOI
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
TL;DR: An effective symbolic-numeric cylindrical algebraic decomposition (SNCAD) algorithm and its variant specially designed for QE are proposed based on the authors' previous work and the implementation of those is reported.
Book ChapterDOI
The Block Cipher SC2000
Takeshi Shimoyama,Hitoshi Yanami,Kazuhiro Yokoyama,Masahiko Takenaka,Kouichi Itoh,Jun Yajima,Naoya Torii,Hidema Tanaka +7 more
TL;DR: A new symmetric key block cipher SC2000 with 128-bit block length and 128-,192-,256- bit key lengths and the fast software implementations are available by using the techniques of putting together S-boxes in various ways and of the Bitslice implementation.
Proceedings ArticleDOI
Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox
TL;DR: A MATLAB toolbox for robust parametric control based on a parameter space approach accomplished by QE, and how to merge the numerical computation and the symbolic operation to make the new design methods more efficient in practical control design is developed.
Patent
Extended key preparing apparatus, extended key preparing method, recording medium and computer program
Takeshi Shimoyama,Ito Koichi,Masahiko Takenaka,Naoya Torii,Jun Yajima,Hitoshi Yanami,Kazuhiro Yokoyama +6 more
TL;DR: In this paper, an extended key-preparing equipment for the case where a common key cryptosystem is applied is described, and a recording medium used therefor is provided.
Book ChapterDOI
Development of SyNRAC—Formula Description and New Functions
Hitoshi Yanami,Hirokazu Anai +1 more
TL;DR: New functions in Maple-package SyNRAC, for solving real algebraic constraints derived from various engineering problems, are presented, including new simplifiers of formulas on Maple.