New proof to Somos's Dedekind eta-function identities of level 10.

B. R. Srivatsa Kumar Shruthi

Published in: Soft Comput. (2021)

Keyphrases

theorem prover
levels of abstraction
database
data sets
genetic algorithm
artificial intelligence
image processing
website
feature extraction
artificial neural networks
control system
piecewise linear