Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions.

William Fajardo Oswaldo Lezama

Published in: Fundam. Informaticae (2019)

Keyphrases

interactive theorem proving
computational power
database
databases
data mining
artificial intelligence
case study
image segmentation
linear combination
singular value decomposition
von neumann
school children
presburger arithmetic