Contents

The TPTP Problem Library

• Motivations, Aims, Features
• Domains
• Problems and Axiom Sets
• www.tptp.org

The Mathematics Domains

• Set Theory, Category Theory
• Algebra: Groups, Rings, Fields, Boolean, Robbins, Left distributive, Lattices
• Graph Theory, Topology, Geometry
• Number Theory, Analysis

Systems' Performances

• The System Evaluation Scheme
• System Testing Setup
• Mostly easy and unsolved Domains
• difficult Domains
• Domains and SPCs for Systems
• difficult Domains with Unit Equality
• Systems for SPCs and Domains