What can be computed in algebraic geometry?

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Related Items (only showing first 100 items - show all)

Sur la complexité du calcul des projections d'une courbe projective ⋮ Asymptotic behavior of integer programming and the stability of the Castelnuovo-Mumford regularity ⋮ A Generalization of the Taylor Complex Construction ⋮ Random monomial ideals ⋮ Syzygies probing scattering amplitudes ⋮ Generic initial ideals of singular curves in graded lexicographic order ⋮ Regularity of prime ideals ⋮ Linear syzygies, flag complexes, and regularity ⋮ Open problems on syzygies and Hilbert functions ⋮ Bounds for the Castelnuovo-Mumford regularity ⋮ Bounds on degrees of projective schemes ⋮ Base-point-freeness of double-point divisors of smooth birational-divisors on conical rational scrolls ⋮ Castelnuovo-Mumford regularity and Ratliff-Rush closure ⋮ A sharp Castelnuovo bound for smooth surfaces ⋮ Associated primes and arithmetic degrees ⋮ Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study ⋮ Castelnuovo-Mumford regularity of canonical and deficiency modules ⋮ Computing generators of the ideal of a smooth affine algebraic variety ⋮ Castelnuovo-Mumford regularity of initial ideals ⋮ A Pommaret bases approach to the degree of a polynomial ideal ⋮ On the Effective Membership Problem for Polynomial Ideals ⋮ Frobenius amplitude, ultraproducts, and vanishing on singular spaces ⋮ The regularity conjecture for prime ideals in polynomial rings ⋮ Representing and solving finite-domain constraint problems using systems of polynomials ⋮ Towards a theory of arithmetic degrees ⋮ Counting solutions to binomial complete intersections ⋮ Polynomial equation solving by lifting procedures for ramified fibers ⋮ Symmetric iterated Betti numbers ⋮ The Hilbert schemes of locally Cohen-Macaulay curves in \(\mathbb{P}^3\) may after all be connected ⋮ Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties ⋮ The scheme of liftings and applications ⋮ REGULARITY AND RESOLUTIONS FOR MULTIGRADED MODULES ⋮ A diagonal bound for cohomological postulation numbers of projective schemes. ⋮ A new Castelnuovo bound for codimension three subvarieties ⋮ The degree complexity of smooth surfaces of codimension ⋮ Residue currents with prescribed annihilator ideals ⋮ Corrigendum to: ``Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals ⋮ On the tropicalization of the Hilbert scheme ⋮ Algorithms for computing greatest common divisors of parametric multivariate polynomials ⋮ Hilbert coefficients and sequentially Cohen-Macaulay modules ⋮ Quadratic Gorenstein algebras with many surprising properties ⋮ Finiteness of Hilbert functions and bounds for Castelnuovo-Mumford regularity of initial ideals ⋮ Sur le problème d’équivalence de Cartan ⋮ Computing the resolution regularity of bi-homogeneous ideals ⋮ Conditional tests on basins of attraction with finite fields ⋮ Effective Nullstellensatz for arbitrary ideals ⋮ On the maximal graded shifts of ideals and modules ⋮ Cohomology of projective schemes: From annihilators to vanishing. ⋮ The degree-complexity of the defining ideal of a smooth integral curve ⋮ Generalized Castelnuovo-Mumford regularity for affine Kac-Moody algebras ⋮ Equations of parametric surfaces with base points via syzygies ⋮ La variété caractéristique d'un système différentiel analytique. (The characteristic variety or an analytic differential system) ⋮ Graded derivation modules and algebraic free divisors ⋮ Bounds for the Castelnuovo-Mumford regularity of modules ⋮ Castelnuovo Mumford regularity with respect to multigraded ideals ⋮ Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences ⋮ Double-generic initial ideal and Hilbert scheme ⋮ The homological degree of a module ⋮ Geometric properties of the double-point divisor ⋮ Betti numbers, castelnuovo mumford regularity, and generalisations of macaulay's theorem ⋮ A general framework for Noetherian well ordered polynomial reductions ⋮ Smooth curves specialize to extremal curves ⋮ Subadditivity of syzygies of Koszul algebras ⋮ A bound for the Castelnuovo-Mumford regularity of log canonical varieties ⋮ Direct methods for primary decomposition ⋮ Semiample Bertini theorems over finite fields ⋮ A new algorithm for the generation of unitarity-compatible integration by parts relations ⋮ Arithmetic degree and associated graded modules ⋮ Boundedness of cohomology ⋮ Evaluations of initial ideals and Castelnuovo-Mumford regularity ⋮ Exact matrix formula for the unmixed resultant in three variables ⋮ Flat families by strongly stable ideals and a generalization of Gröbner bases ⋮ Castelnuovo-Mumford regularity and projective dimension of a squarefree monomial ideal ⋮ On Bézout inequalities for non-homogeneous polynomial ideals ⋮ A generalization of Castelnuovo-Mumford regularity for representations of noncommutative algebras. ⋮ Saturation and Castelnuovo-Mumford regularity ⋮ Castelnuovo-Mumford regularity bounds for singular surfaces ⋮ Three themes of syzygies ⋮ On adjusted Hilbert-Samuel functions ⋮ A bound for Castelnuovo-Mumford regularity by double point divisors ⋮ The complexity of Frobenius powers of ideals ⋮ On the complexity of counting components of algebraic varieties ⋮ Linearization of resolutions via products ⋮ Computing global extension modules ⋮ Generic noncommutative surfaces. ⋮ IMPLICITIZATION OF SURFACES IN ℙ³ IN THE PRESENCE OF BASE POINTS ⋮ A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases ⋮ Connectedness of Hilbert function strata and other connectedness results ⋮ Standard pairs and group relaxations in integer programming ⋮ Castelnuovo-Mumford regularity of deficiency modules ⋮ On the asymptotic linearity of Castelnuovo-Mumford regularity. ⋮ Reduction numbers of ideals ⋮ On the regularity of products and intersections of complete intersections ⋮ Projective varieties with nonbirational linear projections and applications ⋮ Bounds on the Castelnuovo-Mumford regularity of tensor products ⋮ Numerical homotopies to compute generic points on positive dimensional algebraic sets ⋮ Counterexamples to the Eisenbud–Goto regularity conjecture ⋮ A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements. ⋮ On the CastelnuovoMumford regularity of products of ideal sheaves ⋮ On the minimal number of trajectories determining a multidimensional system

This page was built for publication: What can be computed in algebraic geometry?