Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Superposition theorem

Known as: Superposition, Superposition theorem (electric networks), The Superposition Theorem 
The superposition theorem for electrical circuits states that for a linear system the response (voltage or current) in any branch of a bilateral… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
This paper describes a new architecture for first-order resolution and superposition theorem provers called AVATAR (Advanced… Expand
Highly Cited
2009
Highly Cited
2009
AbstractKolmogorov (Dokl. Akad. Nauk USSR, 14(5):953–956, 1957) showed that any multivariate continuous function can be… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2007
Highly Cited
2007
This paper presents a magnetic component equivalent circuit as well as a methodology to extract its parameters by using a finite… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2007
Highly Cited
2007
The research on olfactory sense in virtual reality has gradually expanded even though the technology is still premature. We have… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2005
Highly Cited
2005
We extend previous results on theorem proving for first-order clauses with equality to hierarchic first-order theories… Expand
Highly Cited
1999
Highly Cited
1999
We consider the restriction of the guarded fragment to the two-variable case where, in addition, binary relations may be… Expand
  • figure 1
  • figure 2
  • figure 3
1998
1998
We define a superposition calculus specialized for abelian groups represented as integer modules, and show its refutational… Expand
1996
1996
We deene a superposition calculus specialized for abelian groups represented as integer modules, and show its refutational… Expand
Highly Cited
1994
Highly Cited
1994
Abstract This paper continues the investigation of representations of continuous functions f(x1, …, xn) with n ≥ 2 in the form f… Expand
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Highly Cited
1993
Highly Cited
1993
Based on constructions of Kalmogorov and an earlier refinement of the author, we use a sequence of integrally independent… Expand