Papers
1
Total Citations
16
H-Index
1
About
No biography available yet.
Research Focus
Algebra over a field1 · 16 citations
Algebraic number1 · 16 citations
Automated theorem proving1 · 16 citations
Betti number1 · 16 citations
Computation1 · 16 citations
Computer science1 · 16 citations
Discrete mathematics1 · 16 citations
Mathematics1 · 16 citations
Programming language1 · 16 citations
Pure mathematics1 · 16 citations
Simplicial complex1 · 16 citations
Simplicial homology1 · 16 citations
Key Achievements
1
H-Index
1
Papers
16
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Incidence Simplicial Matrices Formalized in Coq/SSReflect
16 citations · 2011
📈 Most Prolific Year: 2011 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Institut national de recherche en sciences et technologies du numérique
Top Papers
- 1Incidence Simplicial Matrices Formalized in Coq/SSReflect16 citations · 2011
Key Collaborators
Not generated yet