Login / Signup

An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations.

Takeo HoshiTakeshi OgitaKatsuhisa OzakiTakeshi Terao
Published in: J. Comput. Appl. Math. (2020)
Keyphrases
  • eigenvalue problems
  • verification method
  • real life
  • real world
  • temporal logic
  • model checking
  • cost function
  • polynomial equations
  • feature selection
  • data analysis
  • state space