works on
global illumination 1inverse rendering 1neural fields 1radiative transfer 1volumetric rendering 1

From the 1 of 5 papers with an AI index.

researchers with a paper here
collaborating institutions
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2026

Pseudo-Complex Quantifier Elimination

Nicolas Faroß, Nicolas Faroß, Thomas Sturm

We describe the design of a quantifier elimination framework for the complex numbers in the language of ordered rings supplemented with symbols for the imaginary unit, real parts,…