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

Vermande, Quentin

Universite Cote d'Azur

0H-index
1Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
Cylindrical Algebraic Decomposition in Coq/Rocq
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errVermande, Quentin
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
No data available