Formal Proof of SCHUR Conjugate Function — mentioned by pascal_cuoq

Tue, 30 Nov 2010 14:36:18 GMT

Where does the "world's fastest" claim come from, and how was it determined? Z3 is a good SMT prover for some formulas that come from program verification, but it is neither uniformly better nor faster than other provers, one of which predates it by what, 10 years? See the result tables in http://arxiv.org/abs/1004.5034 . Pay attention to the "Simplify" column.

Paper and discussion history. A mention is not an endorsement.

Formal Proof of SCHUR Conjugate Function · HackerPapers discussions

Formal Proof of SCHUR Conjugate Function — mentioned by pascal_cuoq