Deduction of Lorentz Transformations from Classical Thermodynamics.

Angela M. Ares de Parga Fernando Angulo-Brown Gonzalo Ares de Parga

Published in: Entropy (2015)

Keyphrases

semidefinite
inference rules
decision trees
medical images
data sets
databases
real world
artificial intelligence
computer vision
information systems
theorem prover
theorem proving
computer algebra