Stephen M. Watt. Detecting Implicit Indeterminates in Symbolic Computation. In Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie, editors, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022. pages 43-50, IEEE, 2022. [doi]
Abstract is missing.