The following pages link to Stephen A. Edwards (Q988179):
Displayed 11 items.
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- The semantics and execution of a synchronous block-diagram language. (Q1400471) (← links)
- Enveloping algebra annihilators and projection techniques for finite-dimensional cyclic modules of a semisimple Lie algebra (Q3344105) (← links)
- Nets of quadrics and deformations of Σ<sup>3〈3〉</sup> singularities (Q3476011) (← links)
- A projection based approach to the Clebsch-Gordan multiplicity problem for compact semisimple Lie groups: I. General formalism (Q3752590) (← links)
- A projection based approach to the Clebsch-Gordan multiplicity problem for compact semisimple Lie groups. II. Application to U(n) (Q3752591) (← links)
- A projection based approach to the Clebsch-Gordan multiplicity problem for compact semisimple Lie groups. III. The classical limit (Q3752592) (← links)
- Gel'fand bases and the permutation representations of the symmetric group associated with the subgroups S<sub>λ1</sub>×S<sub>λ2</sub>×...×S<sub>λn</sub> (Q3872659) (← links)
- A new approach to the eigenvalues of the Gel’fand invariants for the unitary, orthogonal, and symplectic groups (Q4142015) (← links)
- Automated Technology for Verification and Analysis (Q5491875) (← links)
- Computer Aided Verification (Q5716588) (← links)