Discusses refinements to HC, offering context for transcendental challenges and potential counterexamples.
[Post-Rigorous Math] Tao, T. (2016). "The different stages of rigor in mathematics." Blog post, What's new. Available at: https://terrytao.wordpress.com/2016/03/26/.
Articulates the post-rigorous paradigm, inspiring CAS-6's balance of intuition and formalization.
[Lean Formalization] Buzzard, K., & Commelin, J. (2023). "Formalizing algebraic geometry in Lean: Schemes and cohomology." Notices of the AMS, 70(4), 512--520.
Details progress in formalizing algebraic geometry in Lean, supporting CAS-6's verification goals.
[Deformation Theory] Griffiths, P., & Harris, J. (1994). Principles of Algebraic Geometry. Wiley.
Covers deformation theory and Noether-Lefschetz loci, underpinning CAS-6's stability layer.
[Computational Algebraic Geometry] Cox, D. A., Little, J., & O'Shea, D. (2015). Ideals, Varieties, and Algorithms. Springer.
Provides computational tools (e.g., Grbner bases) relevant for implementing CAS-6 metrics in SymPy or SageMath.
[Hodge Conjecture Survey] Moonen, B. (2022). "Absolute Hodge classes and the Hodge Conjecture." Annales de l'Institut Fourier, 72(3), 987--1024.
A recent survey on HC, discussing absolute Hodge classes and their relation to transcendental gaps.
