Computer-assisted proof - PDFSEARCH.IO - Document Search Engine

Computer-assisted proof
Results: 16

#	Item
1	Towards Computer-Assisted Proof Tutoring∗ Marvin Schiller1 , Dominik Dietrich1 , and Christoph Benzm¨ uller1,2 1 Dept. of Computer Science, Saarland University, Add to Reading List Source URL: www.marvin-schiller.de Language: English - Date: 2008-12-29 05:40:51
2	Computer assisted proof of optimal approximability results Uri Zwick ∗ 3-SAT and a 21 + ratio for MAX 3-CSP are both NP-hard tasks. In [KZ97] and [Zwi98] it was shown that the validity We obtain computer assisted pro Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2001-10-11 06:26:21
3	COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2015-03-23 00:24:54 Mathematical logic Proof theory Mathematical proof Theorem Four color theorem Pythagorean theorem Computer-assisted proof Proof Mathematics Logic Automated theorem proving
4	20 Questions to ask your Translation Company 11. Has the source text been properly edited and proof-read? 12. Does the translation need to be certified? i.e. “legalised” for an organisation or court. Add to Reading List Source URL: www.kwintessential.co.uk Language: English - Date: 2014-05-06 11:27:04 Linguistics Computer-assisted translation Science Communication Meaning Translation
5	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
6	Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2006-09-27 08:42:21 Formal methods Automated theorem proving Complexity classes Functional languages Proof assistant Isabelle Theorem prover IP Literate programming Theoretical computer science Computing Software
7	Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Liesbeth De Mol∗ [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:50:50 Computer science Theory of computation Busy beaver Turing machine Halting problem Computable function Alan Turing Mathematical proof Computability Mathematics Theoretical computer science Computability theory
8	The proof is in the process. A preamble for a philosophy of computer-assisted mathematics Liesbeth De Mol Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather tha Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-19 05:16:36 Derrick Henry Lehmer Computer music Algorithm Computer science Computer Computing Mathematical proof Human–computer interaction ENIAC Mathematics Philosophy of mathematics Mathematical logic
9	PROOF 16 Transdisciplinarity and Digital Humanities: Lessons Learned from Add to Reading List Source URL: usir.salford.ac.uk Language: English - Date: 2011-12-30 13:25:12 Knowledge Research methods Data analysis Evaluation methods Transdisciplinarity Computer assisted qualitative data analysis software Interdisciplinarity Data mining Text mining Science Pedagogy Education
10	Wave 5-Questionnaire-June 10/5th proof_ELSA/MAIN QUEST/FEB[removed]:18 Page 1 English Longitudinal Study of Ageing Add to Reading List Source URL: www.elsa-project.ac.uk Language: English - Date: 2010-06-04 06:49:10 Questionnaire Science Methodology Scientific method Computer-assisted web interviewing Ixodes holocyclus Research methods Mascots Tick

UPDATE