]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a916c8e) | patch
New algorithm based on in-place modification of the graph.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Mar 2009 00:08:54 +0000 (00:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Mar 2009 00:08:54 +0000 (00:08 +0000)
commitcb99a2022db2d4731679912db78fba002c1acb5c
tree90222e1848394a2233d8edcc042cfba91e4ad285tree | snapshot
parenta916c8ef60843bf14f92c0af3b01e77b5c466f44commit | diff
New algorithm based on in-place modification of the graph.
Conjecture solved in the negative:

(CMM?)+ | (MM?C)+

cCw = Cw
-Cw = MCw
cMw = CMw
-MMw = -w
-MCw = MMCw
iw = w
helm/software/matita/contribs/formal_topology/bin/Makefile diff | blob | history
helm/software/matita/contribs/formal_topology/bin/comb.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.