A combinatorial proof of symmetry among minimal star factorizations.

Bridget Eileen Tenner

Published in: Discret. Math. (2012)

Keyphrases

symmetry detection
theorem prover
decision making
theorem proving
linear logic
data sets
search algorithm
least squares
natural deduction
rotational symmetry
mathematical proofs