Login / Signup
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