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: "formalized linear algebra over elementary divisor rings in coq"
  Abstract: This paper presents a Coq formalization of linear algebra over elementary#N#divisor rings, that is, rings where every matrix is equivalent to a matrix in#N#Smith normal form. The main results are the formalization that these rings#N#support essential operations of linear algebra, the classification theorem of#N#finitely presented modules over such rings and the uniqueness of the Smith#N#normal form up to multiplication by units. We present formally verified#N#algorithms computing this normal form on a variety of coefficient structures#N#including Euclidean domains and constructive principal ideal domains. We also#N#study different ways to extend B\'ezout domains in order to be able to compute#N#the Smith normal form of matrices. The extensions we consider are: adequacy#N#(i.e. the existence of a gdco operation), Krull dimension $\leq 1$ and#N#well-founded strict divisibility.

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.LO(Logic in Computer Science)