Keyword:proof

Publications
Analysis and Direct Proof of the Riemann Hypothesis Víctor Blanco Bataller EasyChair Preprint 10747
Using Toulmin Model to Analyze Undergraduate Students' Combinatorial Argumentation Zahra Alhumairah Basa, Yusuf Hartono, Nyimas Aisyah and Cecil Hiltrimartin EasyChair Preprint 10609
A Philosophical Unification of Arithmetics and Electronic Machine. Frank Appiah EasyChair Preprint 8691
Syntactic Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint 6194
Clausal Proof Compression Marijn Heule and Armin Biere In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Bidirectional Functional Semantics for Pregroup Grammars Gabriel Gaudreault In:NLCS'15. Third Workshop on Natural Language and Computer Science
Different Proofs are Good Proofs Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro da Silva In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions