Name
Year | Venue | Field |
|---|---|---|
2013 | PxTP@CADE | Algorithm,Automated proof checking,First-order logic,Calculus,Mathematics |
DocType | Citations | PageRank |
Conference | 4 | 0.47 |
References | Authors | |
1 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Zakaria Chihani | 1 | 31 | 3.79 |
| Dale Miller | 2 | 2485 | 232.26 |
| Fabien Renaud | 3 | 30 | 2.47 |