A Computational Proof of the Noether Normalization Lemma.

Alessandro Logar

Published in: AAECC (1988)

Keyphrases

case study
preprocessing
neural network
database
genetic algorithm
website
artificial neural networks
theorem prover
mathematical proofs
computer vision
decision trees
feature extraction
mathematical programming
automated theorem proving
normalization method