Edit Profile (opens in new tab) Yanami, Hitoshi Co-Author Distance Author ID: yanami.hitoshi Published as: Yanami, Hitoshi Documents Indexed: 15 Publications since 2002 Co-Authors: 13 Co-Authors with 14 Joint Publications 235 Co-Co-Authors all top 5 Co-Authors 1 single-authored 11 Anai, Hirokazu 6 Iwane, Hidenao 3 Shimoyama, Takeshi 3 Yokoyama, Kazuhiro 1 Dunkelman, Orr 1 Hara, Shinji 1 Hong, Myunghoon 1 Hyodo, Noriko 1 Itoh, Kouichi 1 Takenaka, Masahiko 1 Tanaka, Hidema 1 Torii, Naoya 1 Yajima, Jun Serials 1 Theoretical Computer Science 1 Applicable Algebra in Engineering, Communication and Computing 1 Mathematics in Computer Science 1 Journal of Math-for-Industry all top 5 Fields 14 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Numerical analysis (65-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Algebraic geometry (14-XX) 1 Commutative algebra (13-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 95 times in 89 Documents Cited by ▼ Year ▼ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 59 2013 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1356.68282Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 9 2009 SYNRAC: A Maple-package for solving real algebraic constraints. Zbl 1033.68960Anai, Hirokazu; Yanami, Hitoshi 6 2003 Differential cryptanalysis of a reduced-round SEED. Zbl 1022.68057Yanami, Hitoshi; Shimoyama, Takeshi 3 2003 The block cipher SC2000. Zbl 1073.68641Shimoyama, Takeshi; Yanami, Hitoshi; Yokoyama, Kazuhiro; Takenaka, Masahiko; Itoh, Kouichi; Yajima, Jun; Torii, Naoya; Tanaka, Hidema 3 2002 Development of SyNRAC. Zbl 1120.68467Yanami, Hitoshi; Anai, Hirokazu 3 2005 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2011 SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2014 Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Zbl 1167.68467Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu 2 2007 Development of SyNRAC – formula description and new functions. Zbl 1102.68749Yanami, Hitoshi; Anai, Hirokazu 2 2004 Differential and linear cryptanalysis of a reduced-round SC2000. Zbl 1045.94536Yanami, Hitoshi; Shimoyama, Takeshi; Dunkelman, Orr 1 2002 Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization. Zbl 1155.68599Yanami, Hitoshi; Anai, Hirokazu 1 2006 Multi-objective design based on symbolic computation and its application to hard disk slider design. Zbl 1197.90359Yanami, Hitoshi 1 2009 A symbolic-numeric approach to multi-objective optimization in manufacturing design. Zbl 1270.90061Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2011 SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2014 An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 59 2013 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2011 A symbolic-numeric approach to multi-objective optimization in manufacturing design. Zbl 1270.90061Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2011 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1356.68282Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 9 2009 Multi-objective design based on symbolic computation and its application to hard disk slider design. Zbl 1197.90359Yanami, Hitoshi 1 2009 Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Zbl 1167.68467Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu 2 2007 Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization. Zbl 1155.68599Yanami, Hitoshi; Anai, Hirokazu 1 2006 Development of SyNRAC. Zbl 1120.68467Yanami, Hitoshi; Anai, Hirokazu 3 2005 Development of SyNRAC – formula description and new functions. Zbl 1102.68749Yanami, Hitoshi; Anai, Hirokazu 2 2004 SYNRAC: A Maple-package for solving real algebraic constraints. Zbl 1033.68960Anai, Hirokazu; Yanami, Hitoshi 6 2003 Differential cryptanalysis of a reduced-round SEED. Zbl 1022.68057Yanami, Hitoshi; Shimoyama, Takeshi 3 2003 The block cipher SC2000. Zbl 1073.68641Shimoyama, Takeshi; Yanami, Hitoshi; Yokoyama, Kazuhiro; Takenaka, Masahiko; Itoh, Kouichi; Yajima, Jun; Torii, Naoya; Tanaka, Hidema 3 2002 Differential and linear cryptanalysis of a reduced-round SC2000. Zbl 1045.94536Yanami, Hitoshi; Shimoyama, Takeshi; Dunkelman, Orr 1 2002 all cited Publications top 5 cited Publications all top 5 Cited by 169 Authors 9 Davenport, James Harold 9 England, Matthew 8 Anai, Hirokazu 6 Iwane, Hidenao 5 Wilson, David J. 4 Bradford, Russell J. 3 Arai, Noriko H. 3 Brown, Christopher W. 3 Fukasaku, Ryoya 3 Kaltofen, Erich L. 3 Matsuzaki, Takuya 3 Yanami, Hitoshi 2 Abbas, Hassan 2 Arnold, Andrew 2 Barkatou, Moulay A. 2 Bostan, Alin 2 Bridge, James P. 2 Chen, Changbo 2 Chen, Shaoshi 2 Eraşcu, Mădălina 2 Faugère, Jean-Charles 2 Giesbrecht, Mark W. 2 Hong, Hoon 2 Huang, Zongyan 2 Kauers, Manuel 2 Kobayashi, Munehiro 2 Kovács, Zoltán 2 Kudo, Jumma 2 Lu, Jiqiang 2 Maddah, Suzy S. 2 Moreno Maza, Marc 2 Paulson, Lawrence Charles 2 Recio, Tomas 2 Roche, Daniel S. 2 Rouillier, Fabrice 2 Schost, Éric 2 Sung, Jaechul 2 Vajda, Robert 2 Xia, Bican 2 Zhan, Yiyang 1 Arreche, Carlos E. 1 Bläser, Markus 1 Bouzidi, Yacine 1 Burger, Reinhold 1 Canteaut, Anne 1 Caruso, Xavier 1 Combot, Thierry 1 Corless, Robert Malcolm 1 Dai, Liyun 1 De Feo, Luca 1 de Wolff, Timo 1 Diatta, Daouda Niang 1 Diekert, Volker 1 Doliskani, Javad 1 Dressler, Mareike 1 Duarte-Mermoud, Manuel Armando 1 Dumas, Jean-Guillaume 1 Emiris, Ioannis Z. 1 Feng, Ruyong 1 Friberg, Henrik A. 1 Garcia-Morchon, Oscar 1 Gaudry, Pierrick 1 Giorgi, Pascal 1 Gomez-Perez, Domingo 1 Gómez Torrecillas, José 1 Grasegger, Georg 1 Grenet, Bruno 1 Gross, Elizabeth 1 Gutierrez, Jaime 1 Han, Jingjun 1 Hara, Shinji 1 Hauenstein, Jonathan D. 1 Haywood, Ian 1 Heinle, Albert 1 Heng, Swee-Huay 1 Henricksen, Matthew 1 Hong, Myunghoon 1 Hong, Seokhie 1 Huang, Lei 1 Huot, Louise 1 Hyodo, Noriko 1 Ichihara, Hiroyuki 1 Iliman, Sadik 1 Jeffrey, David J. 1 Jeong, Kitae 1 Jindal, Gorav 1 Johansson, Fredrik 1 Kahle, Thomas 1 Kausch, Jonathan 1 Kitamoto, Takuya 1 Kölsch, Lukas 1 Koutschan, Christoph 1 Krone, Robert 1 Labahn, George 1 Lazard, Sylvain 1 Le Gall, François 1 Lebreton, Romain 1 Lee, Yuseop 1 Levandovskyy, Viktor 1 Leykin, Anton ...and 69 more Authors all top 5 Cited in 14 Serials 6 Journal of Symbolic Computation 5 Mathematics in Computer Science 2 Information Processing Letters 2 Applicable Algebra in Engineering, Communication and Computing 1 International Journal of Control 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Theoretical Computer Science 1 Journal of Computer Science and Technology 1 Mathematical and Computer Modelling 1 AI Communications 1 Formal Methods in System Design 1 ACM Communications in Computer Algebra 1 Mathematical Programming Computation all top 5 Cited in 30 Fields 73 Computer science (68-XX) 21 Numerical analysis (65-XX) 16 Commutative algebra (13-XX) 12 Mathematical logic and foundations (03-XX) 12 Field theory and polynomials (12-XX) 12 Algebraic geometry (14-XX) 10 Information and communication theory, circuits (94-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Ordinary differential equations (34-XX) 6 Number theory (11-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Approximations and expansions (41-XX) 4 Systems theory; control (93-XX) 3 Combinatorics (05-XX) 3 Associative rings and algebras (16-XX) 3 Special functions (33-XX) 3 Partial differential equations (35-XX) 3 Operations research, mathematical programming (90-XX) 2 Convex and discrete geometry (52-XX) 2 Statistics (62-XX) 2 Mathematics education (97-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Difference and functional equations (39-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year