• # plfit

• Referenced in 269 articles [sw23186]
• different disciplines, each of which has been conjectured to follow a power-law distribution ... some cases we find these conjectures to be consistent with the data, while in others...
• # E Theorem Prover

• Referenced in 206 articles [sw10187]
• first-order clauses or formulas, and a conjecture, again either in clausal or full first ... find a formal proof for the conjecture, assuming the axioms. If a proof is found ... that can be individually verified. If the conjecture is existential...
• # GRAFFITI

• Referenced in 198 articles [sw07495]
• conjectures of Graffiti The above mentioned article introduces a computer program, Graffiti, which makes graph ... theoretical conjectures. Graffiti has a library of certain types of graphs and it is capable ... graph-theoretical invariants; a formula is a conjecture if none of the graphs known...
• # kepler98

• Referenced in 194 articles [sw23625]
• Proof of the Kepler Conjecture. The Kepler conjecture asserts that no packing of congruent balls ... proof of the Kepler Conjecture by Sam Ferguson and Tom Hales. This code...
• # BoijSoederberg

• Referenced in 56 articles [sw18577]
• with the investigation of the Boij-Soederberg conjectures and theorems. For the definitions and conjectures ... Cohen-Macaulay modules and the Multiplicity conjecture”, by Mats Boij, Jonas Soederberg...
• # HR

• Referenced in 29 articles [sw10392]
• objects of interest, concepts about those objects, conjectures relating the concepts and proofs ... conjectures. In group theory, for example, the objects of interest are the groups themselves ... include element types, subgroup types, etc., the conjectures include implication and if-and-only ... conjectures and these become theorems if they are proved, non-theorems if disproved. Similar...
• # Graffiti.pc

• Referenced in 16 articles [sw07152]
• DeLaViña) are computer programs that produce conjectures in graph theory. Pointers to information about ... programs and to selected lists of conjectures can be found at [D]. A postscript file ... clarson/wow-july2004.ps) is available containing the first 894 conjectures produced by Fajtlowicz using Graffiti (through ... parameters on a database of graphs, mostly conjecturing inequalities. Here we provide a sample...
• # GraPHedron

• Referenced in 16 articles [sw25129]
• GraPHedron. Interactive and Automated Conjectures in Extremal Graph Theory. GraPHedron is a conjecture-making system ... published papers contain results that where first conjectured with the help of GraPHedron...
• # MathCheck

• Referenced in 13 articles [sw13642]
• either counterexample or finitely verify open universal conjectures on any mathematical topic (e.g., graph ... searches for a counterexample to the input conjecture (just like the T in DPLL ... look at two long-standing open mathematical conjectures from graph theory regarding properties of hypercubes ... first conjecture states that any matching of any d-dimensional hypercube can be extended...