Geometric algebra: a multivectorial proof of Tellegen's theorem in multiterminal networks.
Manuel CastillaJuan Carlos BravoManuel OrdóñezPublished in: IET Circuits Devices Syst. (2008)
Keyphrases
- geometric algebra
- interactive theorem proving
- network structure
- social networks
- network design
- computer vision
- database
- bayesian networks
- pose estimation
- complex networks
- computer networks
- theorem prover
- heterogeneous networks
- linear logic
- three dimensional
- network analysis
- von neumann
- network size
- conformal geometric algebra