Mojtaba Moniri

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 4

Top Topics

Application Fields

Top Venues

Reports Math. Log.

Commun. Nonlinear Sci. Numer. Simul.

Publications

Mojtaba Moniri
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100. Reports Math. Log. 56 (2021)
Mojtaba Moniri, Saman Moniri
Limit cycles and their period detection via numeric and symbolic hybrid computations. Commun. Nonlinear Sci. Numer. Simul. 83 (2020)
Mojtaba Moniri
On definable completeness for ordered fields. Reports Math. Log. 54 (2019)
Mojtaba Moniri
Iterations, Wolfram Sequences and Approximate Closed Formulas. Complex Syst. 26 (2) (2017)
Jafar S. Eivazloo, Mojtaba Moniri
Expansions of ordered fields without definable gaps. Math. Log. Q. 49 (1) (2003)
Morteza Moniri, Mojtaba Moniri
Some Weak Fragments of HA and Certain Closure Properties. J. Symb. Log. 67 (1) (2002)
Mohammad Ardeshir, Mojtaba Moniri
Intuitionistic Open Induction and Least Number Principle and the Buss Operator. Notre Dame J. Formal Log. 39 (2) (1998)