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 - Erdős–Straus conjecture - Document - PDFSEARCH.IO

First Page		Document Content
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		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 Download Document from Source Website File Size: 76,80 KB Share Document on Facebook

	On the discrete logarithm problem for plane curves Claus Diem October 26, 2012 Abstract DocID: 1vhrJ - View Document
	Errata After now a year has passed since I submitted my Habilitation thesis “On arithmetic and the discrete logarithm problem in class groups of curves”, I realized some mistakes and inaccuracies. Two of the mistake DocID: 1v8oL - View Document
	Module 3.9 Page 504 ofModule 3.9: What is a Logarithm? DocID: 1v5ns - View Document
	On the discrete logarithm problem in elliptic curves Claus Diem August 9, 2010 Dedicated to Gerhard Frey DocID: 1v15F - View Document
	Systems of polynomial equations associated to elliptic curve discrete logarithm problems Claus Diem Institute for Experimental Mathematics, University of Duisburg-Essen October 27, 2004 DocID: 1uWKu - View Document