Theses most similar to Fourier-Motzkin with non-linear symbolic constant coefficients (Suriana, Patricia A; 2016) read it
Numerical analysis of finite difference schemes in automatically generated mathematical modeling software
Yau, Shuk-Han Ada (1994)
- Advisor: Jacob K. White
- Department of Electrical Engineering and Computer Science
- Advisor: Saman Amarasinghe
- Department of Electrical Engineering and Computer Science
- Advisor: Jack Dennis
- Department of Electrical Engineering and Computer Science
Strength reduction of integer division and modulo operations
Sheldon, Jeffrey W. (Jeffrey William), 1978- (2001)
- Advisor: Saman Amarasinghe
- Department of Electrical Engineering and Computer Science
- Advisor: Saman Amarasinghe
- Department of Electrical Engineering and Computer Science
- Advisor: Alan Edelman
- Department of Electrical Engineering and Computer Science