Stem sine$ (all stems)
2 papers:
- CADE-2011-HoderV #reasoning #scalability
- Sine Qua Non for Large Theory Reasoning (KH, AV), pp. 299–314.
- DATE-v1-2004-VazquezLHRH #parametricity #self
- A Method for Parameter Extraction of Analog Sine-Wave Signals for Mixed-Signal Built-In-Self-Test Applications (DV, GL, GH, AR, JLH), pp. 298–305.