Login / Signup

Generalized Polynomials and Their Unification and Extension to Discrete Calculus.

Mieczyslaw CichonBurcu SilindirAhmet YantirSeç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