Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Functional Knowledge Graph Towards Knowledge Application and Data Management for General Users;Lecture Notes in Computer Science;2024
3. About Regular Graphs;Formalized Mathematics;2023-09-01
4. Introduction to Graph Enumerations;Formalized Mathematics;2023-09-01
5. A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11