A proof of the invariance of the contact angle in electrowetting.

Claire Scheid Patrick Witomski

Published in: Math. Comput. Model. (2009)

Keyphrases

discriminative power
theorem proving
scale invariance
linear logic
real time
feature selection
mathematical proofs
geometry theorem proving
neural network
social networks
decision trees
multiscale
rotation angle
invariant properties
proof planning
category recognition