Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Jeremy
Last name:	Avigad
DBLP:	60/1535
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 29  

Select a publication
Show	Title	Venue	Rating	Date
	Jeremy Avigad. The metamathematics of ergodic theory.	Ann. Pure Appl. Logic 2009, Volume 157	(0)	2009
	Steven Kieffer, Jeremy Avigad, Harvey M. Friedman. A language for mathematical language management	CoRR 2008, Volume 0	(0)	2008
	Jeremy Avigad, Kevin Donnelly. A decision procedure for linear "big O" equations	CoRR 2007, Volume 0	(0)	2007
	Jeremy Avigad, Kevin Donnelly. A Decision Procedure for Linear "Big O" Equations.	J. Autom. Reasoning 2007, Volume 38	(0)	2007
	Jeremy Avigad, Yimu Yin. Quantifier elimination for the reals with a predicate for the powers of two.	Theor. Comput. Sci. 2007, Volume 370	(0)	2007
	Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff. A formally verified proof of the prime number theorem.	ACM Trans. Comput. Log. 2007, Volume 9	(0)	2007
	Jeremy Avigad, Ksenija Simic. Fundamental notions of analysis in subsystems of second-order arithmetic.	Ann. Pure Appl. Logic 2006, Volume 139	(0)	2006
	Jeremy Avigad, Yimu Yin. Quantifier elimination for the reals with a predicate for the powers of two	CoRR 2006, Volume 0	(0)	2006
	Jeremy Avigad, Harvey M. Friedman. Combining decision procedures for the reals	CoRR 2006, Volume 0	(0)	2006
	Jeremy Avigad, Harvey M. Friedman. Combining decision procedures for the reals.	Logical Methods in Computer Science 2006, Volume 2	(0)	2006

Your query returned 29 matches in the database.