Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System.

Eugenio Roanes-Lozano

Published in: CASC (2020)

Keyphrases

computer algebra
theorem prover
computer algebra systems
route planning
neural network
theorem proving
traffic management
assembly line
deep space
decision trees
case study
training data
artificial neural networks
feature set
road network
automated theorem provers