Eitetsu Ken

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Dependency Directed Backtracking

Series Expansion

Interpolation Filter

Single Parameter

Top Venues

Publications

Katsuyuki Bando, Eitetsu Ken, Hirotaka Onuki
On the Complexity of Interpolation by Polynomials with Non-negative Real Coefficients. CoRR (2024)
Eitetsu Ken, Mykyta Narusevych
(R) and pebble games with backtracking. CoRR (2024)
Eitetsu Ken, Satoru Kuroda
On matrix rank function over bounded arithmetics. CoRR (2023)
Eitetsu Ken, Kenji Tojo, Kazuki Watanabe, Masaki Natori
On principal types and well-foundedness of terms in ECC. CoRR (2020)