The following pages link to Yuki Nishida (Q2125673):
Displayed 13 items.
- Characterization of tropical projective quadratic plane curves in terms of the eigenvalue problem (Q2125674) (← links)
- A characterization of bases of tropical kernels in terms of Cramer's rule (Q2187396) (← links)
- Combinatorial algorithm for the computation of cyclically standard regular bracket monomials (Q2211188) (← links)
- On the vectors associated with the roots of max-plus characteristic polynomials. (Q2216236) (← links)
- Manifest Contracts for Datatypes (Q2819804) (← links)
- $q$-VFCA: $q$-state Vector-valued Fuzzy Cellular Automata (Q5010358) (← links)
- Maximum and optimal 1-2 matching problem of the different kind (Q5035028) (← links)
- Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007) (← links)
- The maximum 1-2 matching problem and two kinds of its variants (Q5242821) (← links)
- A min-plus analogue of the Jordan canonical form associated with the basis of the generalized eigenspace (Q5860879) (← links)
- Fuzzy cellular automata with complete number-conserving rule as traffic-flow models with bottleneck (Q5876139) (← links)
- Independence and orthogonality of algebraic eigenvectors over the max-plus algebra (Q6379119) (← links)
- Algorithm for the CSR expansion of max-plus matrices using the characteristic polynomial (Q6458357) (← links)