Computational algebraic geometry of projective configurations
From MaRDI portal
Recommendations
- Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
- scientific article; zbMATH DE number 4197462
- The theory of Gröbner bases
- Mechanical geometry theorem proving based on Gröbner bases
- Gröbner bases of ideals defined by functionals with an application to ideals of projective points
Cites work
- scientific article; zbMATH DE number 4016785 (Why is no real title available?)
- scientific article; zbMATH DE number 3649988 (Why is no real title available?)
- scientific article; zbMATH DE number 3897078 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 4029737 (Why is no real title available?)
- scientific article; zbMATH DE number 4092241 (Why is no real title available?)
- scientific article; zbMATH DE number 17663 (Why is no real title available?)
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 3995865 (Why is no real title available?)
- Altshuler's sphere \(M^{10}_{425}\) is not polytopal
- Arithmetic on curves
- Bounds for the degrees in the Nullstellensatz
- Computational synthetic geometry
- Die nichtkonstruierbare Konfiguration (103)
- Ein neuer Schließungssatz für projektive Ebenen. (A new closure theorem for projective planes)
- Multilinear Cayley factorization
- New constructive methods in classical ideal theory
- Nonrealizability proofs in computational geometry
- On the application of Buchberger's algorithm to automated geometry theorem proving
- On the decidability of Diophantine problems in combinatorial geometry
- On the real spectrum of a ring and its application to semialgebraic geometry
- Sharp Effective Nullstellensatz
- Solving systems of polynomial inequalities in subexponential time
- Some examples of the use of distances as coordinates for euclidean geometry
- The red book of varieties and schemes
Cited in
(20)- A note on Nk configurations and theorems in projective space
- Configurations and their realization
- Nonrealizability proofs in computational geometry
- Computing projective equivalences of special algebraic varieties
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
- Line arrangements with the maximal number of triple points
- On the representation of configurations in projective spaces
- scientific article; zbMATH DE number 1273696 (Why is no real title available?)
- Counting arcs in projective planes via Glynn's algorithm
- Invariant computations for analytic projective geometry
- Probabilistic saturations and Alt's problem
- Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
- All \(11_ 3\) and \(12_ 3\)-configurations are rational
- Polycyclic configurations
- From Pappus theorem to parameter spaces of some extremal line point configurations and applications
- Matroid Representations and free Arrangements
- Mechanical theorem proving in projective geometry
- A review and prospect of readable machine proofs for geometry theorems
- Algorithmetical aspects of the problem of classifying multi-projections of Veronesian varieties
This page was built for publication: Computational algebraic geometry of projective configurations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176393)