TY  - JOUR
AU  - Roanes-Lozano, Eugenio
AU  - González-Martín, Rubén
AU  - Montero, Javier
PY  - 2019
DO  - 10.1007/s11786-019-00407-6
SN  - 1661-8270
UR  - https://hdl.handle.net/20.500.14352/13773
T2  - Mathematics in Computer Science
AB  - Gröbner bases have been applied to a number of problems related to the verification of Knowledge-Based Systems (KBS) and other problems within graph theory. In particular, the authors have developed in previous papers algebraic approaches to decide...
LA  - eng
M2  - 449
PB  - Springer
KW  - Polinomios
KW  - Algoritmos computacionales
KW  - Railway electrifications
KW  - Graphs
KW  - Verification
KW  - Polynomials
KW  - Computer algebra systems
TI  - An Algebraic Approach to DC Railway ElectrificationVerification
TY  - journal article
VL  - 13
ER  -