Ahmet Yantir

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 1

Top Topics

Linear Time Temporal Logic

Closed Form Solutions

Automated Theorem Proving

Top Venues

Appl. Math. Comput.

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)
Mieczyslaw Cichon, Ahmet Yantir
On continuous dependence of solutions of dynamic equations. Appl. Math. Comput. 252 (2015)
Ünal Ufuktepe, Ahmet Yantir
Measure on Time Scales with Mathematica. International Conference on Computational Science (1) (2006)
Ahmet Yantir, Ünal Ufuktepe
Mathematica Applications on Time Scales. ICCSA (3) (2005)
Ahmet Yantir, Ünal Ufuktepe
Basic Calculus on Time Scale with Mathematica. International Conference on Computational Science (2003)