Â

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

2018

2018

We present a device for specifying and reasoning about syntax for datatypes, programming languages, and logic calculi. Moreâ€¦Â (More)

Is this relevant?

2010

2010

- Marian Aprodu, Gavril Farkas
- 2010

Greenâ€™s Conjecture predicts than one can read off special linear series on an algebraic curve, by looking at the syzygies of itsâ€¦Â (More)

Is this relevant?

2009

2009

- Marcin Dumnicki
- 2009

The Segre-Gimigliano-Harbourne-Hirschowitz Conjecture can be naturally formulated for Hirzebruch surfaces Fn. We show that thisâ€¦Â (More)

Is this relevant?

2008

2008

A linear system of plane curves satisfying multiplicity conditions at points in general position is called special if theâ€¦Â (More)

Is this relevant?

2004

2004

- TOMMASO DE FERNEX
- 2004

This note contains new evidence to a conjecture, related to the Nagata conjecture and the Segre-Harbourne-Gimigliano-Hirschowitzâ€¦Â (More)

Is this relevant?

2004

2004

- Cristiano Bocci, â€“ R. Miranda, Roberto Campos da Rocha Miranda
- 2004

These are notes of the lectures given by the authors during the school/workshop â€œPolynomial Interpolation and Projectiveâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Philip W. Anderson, Arthur S. Wllhlman, +4 authors Laury A. Egan
- 2003

Qliantum Meclwlicl for Ih.mlltonians Deline(! u Quad..tic Forms by BRrrySimtHt Lectures on Ct.am:m Algcbn. and lis Applicationsâ€¦Â (More)

Is this relevant?

1968

1968

- Nelson Trujillo, Robert L. Slaughter, H. Worth Boyce
- The American Journal of Digestive Diseases
- 1968

The accuracy of the different esophagoscopic and gastroscopic technics for the diagnosis of hiatal hernia has been evaluated inâ€¦Â (More)

Is this relevant?

1965

1963