Bell System Technical Journal · 1952 · 116 citations · 4 references
Spectral TheoryFormal SpecificationEngineeringApproximation TheoryAutomated ReasoningVerificationFormal MethodsNetwork AnalysisFormal Realizability Theory-iiFormal TechniqueMatrix MethodComputer ScienceFormal SystemMatrix TheoryMatrix AnalysisFormal Verification
This part of the paper exhibits a network to realize a given positive real impedance matrix.
4
Impedance Synthesis without Use of Transformers
R. Bott, R. J. Duffin · Journal of Applied Physics · 1949 · 252 citations
The fundamental theorem of electrical networks
J. L. Synge · Quarterly of Applied Mathematics · 1951 · 44 citations · Full text