Resumen de Faster Kenzo computations via Sagemath, and vice versa
Jose Divasón Mallagaray, Miguel A. Marco Buzunáriz, Ana Romero
This work presents some improvements on the efficiency of both Kenzo and SageMath, by means of parallelization techniques and an existing interface that connects both systems.
