Modelos nulo condicionados por dominio para probar afirmaciones de codificación matemática intencional en la arquitectura antigua: una evaluación sistemática de nueve hipótesis metrológicas y de geometría de pirámides | Synapse