12 citations · 15 across the 6 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.DS2019
Pfaffian Pairs and Parities: Counting on Linear Matroid Intersection and Parity Problems
Kazuki Matoya, Taihei Oki
Spanning trees are a representative example of linear matroid bases that are efficiently countable. Perfect matchings of Pfaffian bipartite graphs are a countable example of common…
cs.SC2019★ 1 cited
Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation
Taihei Oki
Differential-algebraic equations (DAEs) are widely used for modeling of dynamical systems. In numerical analysis of DAEs, consistent initialization and index reduction are importan…
cs.DS2019
Computing Valuations of the Dieudonné Determinants
Taihei Oki
This paper addresses the problem of computing valuations of the Dieudonné determinants of matrices over discrete valuation skew fields (DVSFs). Under a reasonable computational mod…