Year | Venue | Keywords |
---|---|---|
2011 | Calculemus/MKM | project description |
Field | DocType | Volume |
Programming language,Axiom,Computer science,Automated theorem proving,Symbolic computation,Algorithm,Software system,Computation | Conference | 6824 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.38 |
References | Authors | |
5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jacques Carette | 1 | 358 | 38.45 |
William M. Farmer | 2 | 643 | 82.94 |
Russell O'Connor | 3 | 154 | 11.75 |