Search Results1-20 of  134

  • Oishi Shin'ichi ID: 9000008971878

    Articles in CiNii:1

    • Numerical Method Proving Nonlinear ODE's Solution Existence Using Affine Arithmetic （2001）
  • Oishi Shin'ichi ID: 9000241577793

    Articles in CiNii:1

    • On a characteristic property of the tent map (General and Geometric Topology today and their problems) （2013）
  • Oishi Shin'ichi ID: 9000287158804

    Articles in CiNii:1

    • On verified estimation of eigenvalue of generalized matrix eigenvalue problem （2012）
  • Oishi Shin'ichi ID: 9000356553033

    Articles in CiNii:1

    • A modified algorithm for accurate inverse Cholesky factorization (応用数理と計算科学における理論と応用の融合) （2016）
  • Oishi Shin'ichi ID: 9000403884536

    Articles in CiNii:1

    • A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory （2017）
  • Oishi Shin'ichi ID: 9000403920580

    Articles in CiNii:1

    • Numerical validation of blow-up solutions of ordinary differential equations （2017）
  • OISHI Shin'ichi ID: 9000001654554

    Waseda University （2000 from CiNii）

    Articles in CiNii:1

    • An Algorithm of Finding All Solutions with Guaranteed Accuracy for ODEs within Finite Steps （2000）
  • OISHI Shin'ichi ID: 9000001811401

    School of Science and Engineering, Waseda University （2006 from CiNii）

    Articles in CiNii:1

    • A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems （2006）
  • OISHI Shin'ichi ID: 9000001897768

    School of Science and Engineering Waseda University （2006 from CiNii）

    Articles in CiNii:1

    • On Three Theorems of Lees for Numerical Treatment of Semilinear Two-Point Boundary Value Problems （2006）
  • OISHI Shin'ichi ID: 9000004792836

    School of Science and Engineering, Waseda University （1998 from CiNii）

    Articles in CiNii:1

    • A Method of Proving the Existence of Simple Turning Points of Two-Point Boundary Value Problems Based on the Numerical Computation With Guaranteed Accuracy （1998）
  • OISHI Shin'ichi ID: 9000004794012

    Graduate School of Science and Engineering, Waseda University （1999 from CiNii）

    Articles in CiNii:1

    • Calculating Bifurcation Points with Guaranteed Accuracy （1999）
  • OISHI Shin'ichi ID: 9000004794016

    School of Science and Engineering, Waseda University （1999 from CiNii）

    Articles in CiNii:1

    • Imperfect Singular Solutions of Nonlinear Equations and a Numerical Method of Proving Their Existence （1999）
  • OISHI Shin'ichi ID: 9000004835201

    Waseda University （2004 from CiNii）

    Articles in CiNii:1

    • Study on Relationship between Technostress and Antisocial Behavior on Computers （2004）
  • OISHI Shin'ichi ID: 9000014437195

    Articles in CiNii:4

    • Editorial Preface (<Special Issue>Mathematics in Electronics, Information and Communication) （1996）
    • Editorial Preface （1997）
    • ソサイエティの自律が促す学会の発展 （2008）
  • OISHI Shin'ichi ID: 9000014661952

    Department of Applied Mathematics, Waseda University （2016 from CiNii）

    Articles in CiNii:8

    • Numerical Verification Method for Nonlinear Operator Equations （2009）
    • Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms) （2010）
    • Method of Computer Assisted Proof for Dirichelet Problem of Nonlinear Elliptic Equations （2010）
  • OISHI Shin'ichi ID: 9000016488291

    Waseda University （2006 from CiNii）

    Articles in CiNii:1

    • FOREWORD （2006）
  • OISHI Shin'ichi ID: 9000017504351

    School of Science and Engineering, Waseda University （2010 from CiNii）

    Articles in CiNii:3

    • Some properties and generation methods of integer matrices with large condition number （2010）
    • Some properties and generation methods of integer matrices with large condition number （2010）
    • Some properties and generation methods of integer matrices with large condition number （2010）
  • OISHI Shin'ichi ID: 9000018651035

    Department of Applied Mathematics Faculty of Science and Engineering, Waseda University （2009 from CiNii）

    Articles in CiNii:1

    • Fast Verified Solutions of Linear Systems （2009）
  • OISHI Shin'ichi ID: 9000018651047

    Faculty of Science and Engineering, Waseda University （2009 from CiNii）

    Articles in CiNii:1

    • Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations （2009）
  • OISHI Shin'ichi ID: 9000018984696

    Department of Applied Mathematics, Faculty of Science and Engineering, Waseda University （2009 from CiNii）

    Articles in CiNii:2

    • Adaptive and Efficient Algorithm for 2D Orientation Problem （2009）
    • Iterative Refinement for Ill-Conditioned Linear Systems （2009）
Page Top