A library in CoCoA for implementing railway interlocking systems - Hernando, Antonio; Galan-Garcia, Jose Luis; Padilla-Dominguez, Yolanda; Galan-Garcia, Maria angeles; Aguilera-Venegas, Gabriel (Journal Of Computational And Applied Mathematics, 2025)