Isabelle formalisation of original representation theorems (Q6118819): Difference between revisions

@@ Property / cites work @@
+Some Considerations on the Usability of Interactive Provers
+Normal rank
@@ Property / cites work @@
+Extending Sledgehammer with SMT solvers
@@ Property / cites work: Extending Sledgehammer with SMT solvers / rank @@
+Normal rank
@@ Property / cites work @@
+A verified algorithm enumerating event structures
@@ Property / cites work: A verified algorithm enumerating event structures / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Enumeration of Full Graphs: Onset of the Asymptotic Region
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163527
@@ Property / cites work: Q4163527 / rank @@
+Normal rank
@@ Property / cites work @@
+Incidence matrices and interval graphs
@@ Property / cites work: Incidence matrices and interval graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Theory
@@ Property / cites work: Handbook of Graph Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic enumeration of full graphs
@@ Property / cites work: Asymptotic enumeration of full graphs / rank @@
+Normal rank
@@ Property / cites work @@
+An example of formalizing recent mathematical results in MIZAR
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem
+Normal rank
@@ Property / cites work @@
+A graph library for Isabelle
@@ Property / cites work: A graph library for Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Q2859380
@@ Property / cites work: Q2859380 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6118819