An Elementary Proof of Eigenvalue Preservation for the Co-rotational Beris-Edwards System.

Andres Contreras Xiang Xu Wujun Zhang

Published in: J. Nonlinear Sci. (2019)

Keyphrases

theorem proving
degrees of freedom
least squares
digital objects
neural network
information retrieval
covariance matrix
linear logic
mathematical proofs
search engine
knowledge base
sample size
proof planning
linearly independent
eigenvalue problems