Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification.

Ilias S. Kotsireas Temur Kutsia Dimitris E. Simos

Published in: RTA (2015)

Keyphrases

equational theories
numerically stable
theorem proving
theorem prover
polynomial equations
higher order
design space
artificial intelligence
image processing
objective function
numerical stability