Additional Progress Towards the Unification of Microfacet and Microflake Theories.

Jonathan Dupuy Eric Heitz Eugene d'Eon

Published in: EGSR (EI&I) (2016)

Keyphrases

equational theories
higher order
neural network
theorem prover
real time
artificial intelligence
search engine
three dimensional
logic programming
theorem proving
formal models