文件名称:coq_sensitivity:Coq中的灵敏度猜想
文件大小:232KB
文件格式:ZIP
更新时间:2024-03-06 18:02:34
Coq
概述 黄浩证明了Coq中的灵敏度猜想 工作正在进行中... 作者 丹尼尔·德·劳格劳德(Daniel de Rauglaudre) COQ版本 Coq校对助手,版本8.12.0(2020年11月),使用OCaml 4.11.0 + dev4-2020-05-05于2020年11月5日7:19:33编译
【文件预览】:
coq_sensitivity-master
----presentation()
--------ringlike()
----PermutSeq.v(84KB)
----.gitignore(47B)
----Lemma_2_2.v(28KB)
----Determinant.v(68KB)
----Sensitivity.v(47KB)
----Zrl.v(4KB)
----Lemma_2_1.v(16KB)
----Misc.v(60KB)
----Rational.v(84KB)
----Makefile(420B)
----RingLike.v(31KB)
----test.ml(17KB)
----GQ.v(44KB)
----Matrix.v(21KB)
----Qrl.v(3KB)
----RLproduct.v(9KB)
----README.md(253B)
----.depend(3KB)
----permut.ml(5KB)
----PQ.v(56KB)
----Nrl.v(13KB)
----RLsummation.v(11KB)
----Nat_ggcd.v(9KB)
----Pigeonhole.v(8KB)
----FermatLittle.v(8KB)
----old()
--------BlockMat.v(135KB)
--------Lemma_2_2.v(32KB)
--------CharacPolyn.v(18KB)
--------SRpolynomial.v(104KB)
--------deprecat_Rsummation.v(17KB)
--------deprecat_Rpolynomial2.v(43KB)
--------deprecat_Ring2.v(7KB)
--------test.v(10KB)
--------Field2.v(837B)
----pa_coq.ml(2KB)
----MyVector.v(6KB)