Login / Signup
Seçil Gergün
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Automated Theorem Proving
Higher Order
Linear Time Temporal Logic
Continuous Domains
Top Venues
Symmetry
</>
Publications
</>
Mieczyslaw Cichon
,
Burcu Silindir
,
Ahmet Yantir
,
Seçil Gergün
Generalized Polynomials and Their Unification and Extension to Discrete Calculus.
Symmetry
15 (9) (2023)