Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Iwane, Hidenao
14  Ergebnisse:
Personensuche X
?
1

On Multivariate Hermitian Quadratic Forms:

Fukasaku, Ryoya ; Iwane, Hidenao ; Sato, Yosuke
Mathematics in Computer Science.  13 (2018)  1-2 - p. 79-93 , 2018
Link: https://doi.org/10.1007/..
 
?
2

Formula Simplification for Real Quantifier Elimination Usin..:

, In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation,
Iwane, Hidenao ; Anai, Hirokazu - p. 213-220 , 2017
Link: https://dl.acm.org/doi/1..
 
?
3

An indirect search algorithm for disaster restoration with ..:

Kira, Akifumi ; Iwane, Hidenao ; Anai, Hirokazu..
Pacific Journal of Mathematics for Industry.  9 (2017)  1 - p. , 2017
Link: https://doi.org/10.1186/..
 
?
4

CGSQE/SyNRAC: a real quantifier elimination package based o..:

Fukasaku, Ryoya ; Iwane, Hidenao ; Sato, Yosuke
ACM Communications in Computer Algebra.  50 (2016)  3 - p. 101-104 , 2016
Link: https://doi.org/10.1145/..
 
?
5

CGSQE/SyNRAC : a real quantifier elimination package bas..:

Fukasaku, Ryoya ; Iwane, Hidenao ; Sato, Yosuke
ACM Communications in Computer Algebra.  50 (2016)  3 - p. 101-104 , 2016
Link: https://dl.acm.org/doi/1..
 
?
6

Real Quantifier Elimination by Computation of Comprehensive..:

, In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation,
Fukasaku, Ryoya ; Iwane, Hidenao ; Sato, Yosuke - p. 173-180 , 2015
Link: https://dl.acm.org/doi/1..
 
?
7

Parametric Mechanism Design via Quantifier Elimination:

, In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems,
Iwasaki, Atsushi ; Fujita, Etsushi ; Todo, Taiki... - p. 1885-1886 , 2015
Link: https://dl.acm.org/doi/1..
 
?
8

Mathematics by machine:

, In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation,
Arai, Noriko H. ; Matsuzaki, Takuya ; Iwane, Hidenao. - p. 1-8 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

An effective implementation of symbolic–numeric cylindrical..:

Iwane, Hidenao ; Yanami, Hitoshi ; Anai, Hirokazu.
Theoretical Computer Science.  479 (2013)  - p. 43-69 , 2013
Link: https://doi.org/10.1016/..
 
?
10

An effective implementation of a symbolic-numeric cylindric..:

, In: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation,
Iwane, Hidenao ; Yanami, Hitoshi ; Anai, Hirokazu - p. 168-177 , 2012
Link: https://dl.acm.org/doi/1..
 
?
11

A Symbolic-Numeric Approach to Multi-Objective Optimization..:

Iwane, Hidenao ; Yanami, Hitoshi ; Anai, Hirokazu
Mathematics in Computer Science.  5 (2011)  3 - p. 315-334 , 2011
Link: https://doi.org/10.1007/..
 
?
12

An effective implementation of a symbolic-numeric cylindric..:

, In: Proceedings of the 2009 conference on Symbolic numeric computation,
Iwane, Hidenao ; Yanami, Hitoshi ; Anai, Hirokazu. - p. 55-64 , 2009
Link: https://dl.acm.org/doi/1..
 
?
13

Automatic Exploration Process Adjustment for Safe Reinforce..:

Okawa, Yoshihiro ; Sasaki, Tomotake ; Iwane, Hidenao
http://arxiv.org/abs/2103.03656.  , 2021
Link: http://arxiv.org/abs/210..
 
?
14

An indirect search algorithm for disaster restoration with ..:

Akifumi Kira ; Hidenao Iwane ; Hirokazu Anai..
http://link.springer.com/article/10.1186/s40736-017-0032-5.  , 2017
Link: https://doi.org/10.1186/..
 
1-14