logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
E

Erdenebayar Bayarmagnai

ku leuven

1H-index
5Paper Count
4Citation Count
Published Papers 1
Publication Date
logo
Algebraic and algorithmic methods for computing polynomial loop invariants
errJournal of Symbolic Computation
IF1.1
err2026-01-01
err0
PREAI
errBayarmagnai, Erdenebayar; Mohammadi, Fatemeh; Prebet, Remi
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
F
Fatemeh Mohammadi
H-index: 16 · Papers: 156
R
Rémi Prébet
H-index: 7 · Papers: 36
All loaded