Identification of Proofs via Syzygies

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences - United Kingdom
doi 10.1098/rsta.2018.0275
Full Text
Abstract

Available in full text

Date
Authors
Publisher

The Royal Society

Related search

Implicitization of Bihomogeneous Parametrizations of Algebraic Surfaces via Linear Syzygies

2007English

Synthesis of Circular Compositional Program Proofs via Abduction

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

A Geometrical Application of Binary Syzygies

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1909English

The Geometry of Toric Syzygies

Notices of the American Mathematical Society
Mathematics
2020English

Special Linear Systems and Syzygies

Collectanea Mathematica
MathematicsApplied Mathematics
2008English

Simplicial Complexes and Syzygies of Lattice Ideals

Contemporary Mathematics
Mathematics
2001English

Associated Primes and Syzygies of Linked Modules

Journal of Commutative Algebra
Number TheoryAlgebra
2019English

Remarks on Syzygies of $D$-Gonal Curves

Mathematical Research Letters
Mathematics
2005English

On the Correlation of Seismic Activity to Syzygies.

Russian Journal of Earth Sciences
EarthPlanetary Sciences
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy