Title | ||
---|---|---|
A CounterExample to Kahle-Conjecture, New Conjectures and Automated Proofs in Geometry |
Year | Venue | Field |
---|---|---|
2009 | Computing Research Repository | Discrete mathematics,Automated proof checking,Mathematical proof,Counterexample,Conjecture,Mathematics |
DocType | Volume | Citations |
Journal | abs/0911.4 | 1 |
PageRank | References | Authors |
0.37 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesco De Comité | 1 | 37 | 3.16 |
Jean-Paul Delahaye | 2 | 325 | 54.60 |