An Elementary Proof of Takagi's Theorem on the Differential Composition of Polynomials.

Published in: Am. Math. Mon. (2022)

Keyphrases

fuzzy model
interactive theorem proving
fuzzy clustering
input output
fuzzy sets
fuzzy rules
membership functions
genetic algorithm
rule base
theorem prover
artificial intelligence
database
rough set theory
algebraic geometry
linear logic
von neumann
set theory
web services
machine learning