[Knneth Decomposition] Fulton, W. (1998). Intersection Theory. Springer.
Standard reference for Knneth formulas and cycle class maps, used in Experiments A and B.
[Recent K3 Results] Ottem, J. C., & Suzuki, T. (2023). "Counterexamples to the integral Hodge Conjecture for K3 surfaces." Compositio Mathematica, 159(5), 1123--1150.
Analyzes challenges in K3 products, relevant to the transcendental gap in Experiment C.
[Experimental Mathematics] Borwein, J. M., & Bailey, D. H. (2008). Mathematics by Experiment: Plausible Reasoning in the 21st Century. A K Peters/CRC Press.
Discusses computational approaches to conjectures, aligning with CAS-6's experimental pipeline.
[Formalized Heuristics] Gowers, W. T. (2020). "The role of heuristics in mathematical discovery." Philosophical Transactions of the Royal Society A, 378(2166), 20190533.
Explores heuristic methods in mathematics, providing epistemological context for CAS-6.
[Abelian Varieties and HC] Mumford, D. (1970). Abelian Varieties. Oxford University Press.
Establishes HC's validity for abelian varieties, as seen in Experiments A and B.
[Spectral and FM Methods] Huybrechts, D. (2016). Fourier-Mukai Transforms in Algebraic Geometry. Oxford University Press.
