human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "automatic generation of loop invariants for matrix operations"
  Abstract: In recent years it has been shown that for many linear algebra operations it is possible to create families of algorithms following a very systematic procedure. We do not refer to the fine tuning of a known algorithm, but to a methodology for the actual generation of both algorithms and routines to solve a given target matrix equation. Although systematic, the methodology relies on complex algebraic manipulations and non-obvious pattern matching, making the procedure challenging to be performed by hand, our goal is the development of a fully automated system that from the sole description of a target equation creates multiple algorithms and routines. We present CL1ck, a symbolic system written in Mathematica, that starts with an equation, decomposes it into multiple equations, and returns a set of loop-invariants for the algorithms -- yet to be generated -- that will solve the equation. In a successive step each loop-invariant is then mapped to its corresponding algorithm and routine. For a large class of equations, the methodology generates known algorithms as well as many previously unknown ones. Most interestingly, the methodology unifies algorithms traditionally developed in isolation. As an example, the five well known algorithms for the LU factorization are for the first time unified under a common root.

Connected through hyperedge HE-1 (induced by source paper "linnea automatic generation of efficient linear algebra programs"):
  with members:
    - "the linear algebra mapping problem"
    - "automatic generation of efficient linear algebra programs"
    - "the generalized matrix chain algorithm"
    - "non linear associative commutative many to one pattern matching with sequence variables"
    - "efficient pattern matching in python"
    - "matchpy a pattern matching library"
    - "sparsity based correction of exponential artifacts"
    - "a parallel implementation of the ensemble kalman filter based on modified cholesky decomposition"

Connected through hyperedge HE-2 (induced by source paper "the linear algebra mapping problem"):
  with members:
    - "automatic generation of efficient linear algebra programs"
    - "clblast a tuned opencl blas library"
    - "the generalized matrix chain algorithm"
    - "image restoration by iterative denoising and backward projections"
    - "recursive algorithms for dense linear algebra the relapack collection"
    - "sparsity based correction of exponential artifacts"
    - "on a natural dynamics for linear programming"
    - "julia a fresh approach to numerical computing"

Connected through hyperedge HE-3 (induced by source paper "automatic generation of efficient linear algebra programs"):
  with members:
    - "the generalized matrix chain algorithm"
    - "non linear associative commutative many to one pattern matching with sequence variables"
    - "efficient pattern matching in python"
    - "image restoration by iterative denoising and backward projections"
    - "matchpy a pattern matching library"
    - "sparsity based correction of exponential artifacts"
    - "a parallel implementation of the ensemble kalman filter based on modified cholesky decomposition"
    - "on a natural dynamics for linear programming"

Connected through hyperedge HE-4 (induced by source paper "program generation for linear algebra using multiple layers of dsls"):
  with members:
    - "knowledge based automatic generation of partitioned matrix expressions"

Connected through hyperedge HE-5 (induced by source paper "the generalized matrix chain algorithm"):
  with members:
    - "non linear associative commutative many to one pattern matching with sequence variables"
    - "deriving correct high performance algorithms"
    - "a dual method for computing power transfer distribution factors"
    - "sparsity based correction of exponential artifacts"
    - "a parallel implementation of the ensemble kalman filter based on modified cholesky decomposition"
    - "consistent discretization and minimization of the l1 norm on manifolds"
    - "the elaps framework experimental linear algebra performance studies"
    - "on a natural dynamics for linear programming"

Connected through hyperedge HE-6 (induced by source paper "program generation for small scale linear algebra applications"):
  with members:
    - "julia a fresh approach to numerical computing"
    - "knowledge based automatic generation of partitioned matrix expressions"
    - "application tailored linear algebra algorithms a search based approach"

Connected through hyperedge HE-7 (induced by source paper "a simple methodology for computing families of algorithms"):
  with members:
    - "knowledge based automatic generation of linear algebra algorithms and code"
    - "knowledge based automatic generation of partitioned matrix expressions"

Connected through hyperedge HE-8 (induced by source paper "a domain specific compiler for linear algebra operations"):
  with members:
    - "knowledge based automatic generation of partitioned matrix expressions"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.MS(Mathematical Software)