logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
éCole Centrale De Nantes cover

éCole Centrale De Nantes

Scholars13
Papers6
Citations1.0K
Related Papers (6)
Publication Date
delete
The Rewster: Type Preserving Rewrite Rules for the Rocq Prover
errJournal of Automated Reasoning
IF0.8
err2026-04-11
err0
PREAI
errLeray, Yann; Gilbert, Gaetan; Tabareau, Nicolas; Winterhalter, Theo
errShare
errSave
ON ALTERNATING-CONJUGATE SPLITTING METHODS
errMathematics of Computation
IF2.1
err2026-03-01
err0
PREAI
errBernier, J.; Blanes, S.; Casas, F.; Escorihuela-Tomas, A.
errShare
errSave
Convergence of a positivity-preserving DDFV scheme for compressible two-phase flow in porous media
errIMA Journal of Numerical Analysis
IF2.4
err2026-03-01
err0
PREAI
errCrozon, Thomas; Quenjel, El-Houssaine; Saad, Mazen
errShare
errSave
Comparison of Interface Shear Behavior and Physical Properties of Sand-Clay Mixtures Prepared by Slurry and Dry Tamping Methods
errGeotechnical Testing Journal
IF1.2
err2026-03-01
err0
PREAI
errYin, Kexin; Fauchille, Anne-Laure; Vasilescu, Roxana; Dano, Christophe; Kotronis, Panagiotis; Sciarra, Giulio
errShare
errSave
Design of a Remote Center-of-Motion Parallel Mechanism for Percutaneous Interventions
errJournal of Mechanical Design
IF3
err2026-01-01
err0
PREAI
errGaitan, Kevin; Sandoval, Juan; Trabelsi, Amir; Navab, Nassir; Caro, Stephane
errShare
errSave
Sulfate attack of deep foundation concrete: New testing method and influence of temperature on degradation mechanism
errCase Studies in Construction Materials
IF6.6
err2025-10-01
err0
errOAAI
errFaten Souayfan; Farah Kaddah; Sonia Boudache; Stéphane Guerineau; Christophe Justino; Emmanuel Roziere
errShare
errSave