Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2012

Highly Cited

2012

Abstract We study closed choice principles for different spaces. Given information about what does not constitute a solution… Expand

Is this relevant?

2011

2011

Demuth tests generalize Martin-Lof tests (Gm)m∈N in that one can exchange the m-th component a computably bounded number of times… Expand

Is this relevant?

2006

2006

Learning theoretic aspects of mathematics and logic have been studied by many authors. They study how mathematical and logical… Expand

Is this relevant?

Highly Cited

2004

Highly Cited

2004

We present two automatic program analyses. The first analysis checks if a given polynomial relation holds among the program… Expand

Is this relevant?

Highly Cited

1999

Highly Cited

1999

O INTRODUCTION 1. Fundamental Problem of Algebra 2. Fundamental Problem of Classical Algebraic Geometry 3. Fundamental Problem of… Expand

Is this relevant?

1997

1997

The (semi)standard Young tableau have been known since Hodge and Littlewood to naturally index a basis for the multihomogeneous… Expand

Is this relevant?

Highly Cited

1995

Highly Cited

1995

Commutative Algebra is best understood with knowledge of the geometric ideas that have played a great role in its formation, in… Expand

Is this relevant?

Highly Cited

1988

Highly Cited

1988

Etude d'une version formelle du theoreme de la base de Hilbert dans le langage de l'arithmetique du second ordre. Etablissement d… Expand

Is this relevant?

1968

1968

ƒ = k[xi9 • • • , #» , %n+i, • • • » #iv] = £[-X"i, • • • , XivJ/O, where Q = (gi, • • • , q8) is a, finitely generated ideal… Expand

Is this relevant?

1964

1964

In a paper of nearly thirty years ago (Mahler 1937) I first studied approximation properties of algebraic number fields relative… Expand

Is this relevant?