Discover open access scientific publications

Search, annotate, share and cite publications

Publications by José Francisco Reis

Identification of Proofs via Syzygies

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

English

Related publications

Implicitization of Bihomogeneous Parametrizations of Algebraic Surfaces via Linear Syzygies

English

Synthesis of Circular Compositional Program Proofs via Abduction

International Journal on Software Tools for Technology Transfer

Information Systems

English

A Geometrical Application of Binary Syzygies

Transactions of the American Mathematical Society

Applied Mathematics

English

The Geometry of Toric Syzygies

Notices of the American Mathematical Society

English

Special Linear Systems and Syzygies

Collectanea Mathematica

Applied Mathematics

English

Simplicial Complexes and Syzygies of Lattice Ideals

Contemporary Mathematics

English

Associated Primes and Syzygies of Linked Modules

Journal of Commutative Algebra

English

Remarks on Syzygies of $D$-Gonal Curves

Mathematical Research Letters

English

On the Correlation of Seismic Activity to Syzygies.

Russian Journal of Earth Sciences

Planetary Sciences

English