Mojtaba Moniri

Orcid: 0000-0002-1617-9223

According to our database1, Mojtaba Moniri authored at least 7 papers between 1998 and 2021.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100.
Reports Math. Log., 2021

2020
Limit cycles and their period detection via numeric and symbolic hybrid computations.
Commun. Nonlinear Sci. Numer. Simul., 2020

2019
On definable completeness for ordered fields.
Reports Math. Log., 2019

2017
Iterations, Wolfram Sequences and Approximate Closed Formulas.
Complex Syst., 2017

2003
Expansions of ordered fields without definable gaps.
Math. Log. Q., 2003

2002
Some Weak Fragments of HA and Certain Closure Properties.
J. Symb. Log., 2002

1998
Intuitionistic Open Induction and Least Number Principle and the Buss Operator.
Notre Dame J. Formal Log., 1998


  Loading...