Generalized Polynomials and Their Unification and Extension to Discrete Calculus.

Mieczyslaw Cichon Burcu Silindir Ahmet Yantir Seçil Gergün

Published in: Symmetry (2023)

Keyphrases

higher order
automated theorem proving
neural network
discrete version
real time
search engine
case study
theorem proving
finite number
continuous domains
discrete geometry
linear time temporal logic