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