Identity testing for radical expressions
We study the Radical Identity Testing problem (RIT): Given an algebraic circuit over integers representing a multivariate polynomial 𝑓 (𝑥1, . . . , 𝑥𝑘 ) and nonnegative integers 𝑎1, . . . , 𝑎𝑘 and 𝑑1, . . . , 𝑑𝑘 , written in binary, test whether the polynomial vanishes at the real radicals 𝑑√1 𝑎1, ....
| Prif Awduron: | , , , |
|---|---|
| Fformat: | Conference item |
| Iaith: | English |
| Cyhoeddwyd: |
Association for Computing Machinery
2022
|