Numerical existence proof of five solutions for certain two-transistor circuit equations

Yusuke Nakaya, Tetsuo Nishi, Shinichi Oishi, Martin Claus

    Research output: Contribution to journalArticle

    1 Citation (Scopus)


    In this paper, we are concerned with the analysis of two-transistor circuits. Applying technique for the numerical verification, we prove rigorously the existence of five solutions in a two-transistor circuit. The system of equations for a transistor circuit is obtained as nonlinear equations, therefore Krawczyk's method is applied for proving the existence of a solution.

    Original languageEnglish
    Pages (from-to)327-336
    Number of pages10
    JournalJapan Journal of Industrial and Applied Mathematics
    Issue number2-3
    Publication statusPublished - 2009 Oct



    • Existence of solution
    • Krawczyk's method
    • Nonlinear equations
    • Transistor circuit

    ASJC Scopus subject areas

    • Applied Mathematics
    • Engineering(all)

    Cite this