The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra.

Carsten Schneider

Published in: CoRR (2020)

Keyphrases

computer algebra
theorem prover
computer algebra systems
information retrieval
information technology
database
real time
databases
neural network
artificial intelligence
training data
medical images
integer program