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

Criteria for Hopf Bifurcations with Fixed Multiplicities:

, In: Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation,
Fukasaku, Ryoya - p. 147-154 , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Find..:

, In: Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography,
Ikematsu, Yasuhiko ; Fukasaku, Ryoya ; Kudo, Momonari... - p. 36-44 , 2020
Link: https://dl.acm.org/doi/1..
 
?
3

On Parametric Border Bases:

, In: Mathematical Aspects of Computer and Information Sciences; Lecture Notes in Computer Science,
Sato, Yosuke ; Sekigawa, Hiroshi ; Fukasaku, Ryoya. - p. 10-15 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Algebraic approaches for solving isogeny problems of prime ..:

Takahashi, Yasushi ; Kudo, Momonari ; Fukasaku, Ryoya...
Journal of Mathematical Cryptology.  15 (2020)  1 - p. 31-44 , 2020
Link: https://doi.org/10.1515/..
 
?
5

On Continuity of the Roots of a Parametric Zero Dimensional..:

, In: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation,
Sato, Yosuke ; Fukasaku, Ryoya ; Sekigawa, Hiroshi - p. 359-365 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

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/..
 
?
7

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/..
 
?
8

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..
 
?
9

On QE Algorithms over an Algebraically Closed Field Based o..:

Fukasaku, Ryoya ; Inoue, Shutaro ; Sato, Yosuke
Mathematics in Computer Science.  9 (2015)  3 - p. 267-281 , 2015
Link: https://doi.org/10.1007/..
 
?
10

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..
 
?
11

Algebraic approaches for solving isogeny problems of prime ..:

Takahashi Yasushi ; Kudo Momonari ; Fukasaku Ryoya...
https://doi.org/10.1515/jmc-2020-0072.  , 2020
Link: https://doi.org/10.1515/..
 
?
12

An algebraic reduction of Hedetniemi's conjecture:

Fukasaku, Ryoya ; Furuya, Michitaka ; Higashitani, Akihiro
http://arxiv.org/abs/1911.09799.  , 2019
Link: http://arxiv.org/abs/191..
 
?
13

包括的グレブナー基底系計算による限量子消去 ; Quantifier elimination by Computati..:

深作 亮也 ; フカサク リョウヤ ; Fukasaku Ryoya
甲第1285号.  , 2016
Link: https://tus.repo.nii.ac...
 
1-13