スポンサーリンク
Department Of Computer Science University Of Tsukuba | 論文
- TENSE ARITHMETIC II : @-CALCULUS AS AN ADAPTATION FOR FORMAL NUMBER THEORY
- Two New Triterpenoid Saponins Isolated from Polygala japonica
- TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
- Pen-Based Interface Using Hand Motions in the Air
- A numerical method for nonlinear eigenvalue problems using contour integrals
- Left coronary artery ostial stenosis from Takayasu's arteritis diagnosed using transthoracic color flow and pulsed Doppler echocardiography
- Anchored Map : Graph Drawing Technique to Support Network Mining
- A modified Block IDR($s$) method for computing high accuracy solutions
- A projection method for nonlinear eigenvalue problems using contour integrals
- Block BiCGGR: a new Block Krylov subspace method for computing high accuracy solutions
- Error analysis for a matrix pencil of Hankel matrices with perturbed complex moments
- A New 3D Shape Retrieval Method Using Spherical Healpix
- Stochastic estimation method of eigenvalue density for nonlinear eigenvalue problem on the complex plane