People
People |
|
|
|
| This web site is a joint initiative of It gives access to all test programs, implementations and benchmarks mentioned in our IJCAR paper "On the Evaluation of Indexing Techniques for Theorem Proving" , where we propose a methodology for comparing different (implementations of) term indexing techniques, based on a virtually unlimited supply of large real-world benchmarks. |
| The site has been prepared, supplemented for the web and implemented by Doris Diedrich. |