Using Isabelle to verify special relativity, with application to hypercomputation theory

Mike Stannett István Németi

Published in: CoRR (2012)

Keyphrases

theoretical framework
real time
theoretical basis
neural network
lower bound
special case
databases
genetic algorithm
artificial intelligence
computer vision
bayesian networks
search algorithm
information technology
key technologies