Login / Signup
A New Approach for the Existence Problem of Minimal Cubature Formulas Based on the Larman-Rogers-Seidel Theorem.
Masatake Hirao
Hiroshi Nozaki
Masanori Sawa
Vesselin Vatchev
Published in:
SIAM J. Numer. Anal. (2012)
Keyphrases
</>
fixed point theorem
unsatisfiable cores
databases
fixed point
tree decompositions
database
real time
data sets
genetic algorithm
knowledge base
case study
knowledge representation
propositional logic
boundary conditions
complementarity problems