Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)

Authors:
David A. Cox;John Little;Donal O'Shea
Affiliations:
-;-;-
Venue:
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)
Year:
2007

Citing 0
Cited 198

Gröbner and involutive bases for zero-dimensional ideals

ACM SIGSAM Bulletin
Solving the load flow problem using Gröbner basis

ACM SIGSAM Bulletin
Modules and Behaviours in nD Systems Theory

Multidimensional Systems and Signal Processing - Recent progress in multidimensional control theory and applications
Gröbner bases in orders of algebraic number fields

Journal of Symbolic Computation
Approximate implicitization

Mathematical Methods for Curves and Surfaces
Geometric completion of differential systems using numeric-symbolic continuation

ACM SIGSAM Bulletin
On geometric and topological reasoning in robotics

Annals of Mathematics and Artificial Intelligence
Automatic Discovery of Theorems in Elementary Geometry

Journal of Automated Reasoning
Gröbner bases and factorisation in discrete probability and Bayes

Statistics and Computing
Algebraic Methods for Polynomial Statistical Models

Statistics and Computing
A Simple Least-Squares Design of M-D IIR Filterswith Fixed Separable Denominator Based on Multivariate DivisionAlgorithm

Multidimensional Systems and Signal Processing
The Constructive Solution of Linear Systems of Partial Difference and Differential Equations with Constant Coefficients

Multidimensional Systems and Signal Processing
Gröbner Bases for Problem Solving in Multidimensional Systems

Multidimensional Systems and Signal Processing
New Sequences with Zero Autocorrelation

Problems of Information Transmission
General Trajectory Triangulation

ECCV '02 Proceedings of the 7th European Conference on Computer Vision-Part II
The Hough Transform without the Accumulators

Proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition
New Public-Key Cryptosystem Using Divisor Class Groups

ACISP '01 Proceedings of the 6th Australasian Conference on Information Security and Privacy
Supersingular Abelian Varieties in Cryptology

CRYPTO '02 Proceedings of the 22nd Annual International Cryptology Conference on Advances in Cryptology
Looking beyond XTR

ASIACRYPT '02 Proceedings of the 8th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology
Decomposing Algebraic Varieties

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Solving Geometric Problems with Real Quantifier Elimination

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Automated Discovering and Proving for Geometric Inequalities

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A New Scheme for Computing with Algebraically Closed Fields

ANTS-V Proceedings of the 5th International Symposium on Algorithmic Number Theory
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem

AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Low Secret Exponent RSA Revisited

CaLC '01 Revised Papers from the International Conference on Cryptography and Lattices
Implicitization of rational surfaces by means of polynomial interpolation

Computer Aided Geometric Design
The term orderings which are compatible with composition II

Journal of Symbolic Computation
About the correspondences of points between N image

VSR '95 Proceedings of the IEEE Workshop on Representation of Visual Scenes
Global Minimization of a Multivariate Polynomial using Matrix Methods

Journal of Global Optimization
Algebraic Solution of the Problems of Nonconvex Quadratic Programming

Automation and Remote Control
Polynomials that Vanish on Distinct $n$th Roots of Unity

Combinatorics, Probability and Computing
Generalized Reduction in Rings of Differential Polynomials

Programming and Computing Software
Infinite Strings Generated by Insertions

Programming and Computing Software
Characterizable Radical Differential Ideals and Some Properties of Characteristic Sets

Programming and Computing Software
ANTS VI: algorithmic number theory symposium poster abstracts

ACM SIGSAM Bulletin
A Rigorous Global Filtering Algorithm for Quadratic Constraints

Constraints
Extrema of a Real Polynomial

Journal of Global Optimization
Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction

Quantum Information Processing
Integration of Geometric Elements, Euclidean Relations, and Motion Curves for Parametric Shape and Motion Estimation

IEEE Transactions on Pattern Analysis and Machine Intelligence
Evaluation codes and plane valuations

Designs, Codes and Cryptography
Automatic generation of polynomial invariants of bounded degree using abstract interpretation

Science of Computer Programming
Effectively open real functions

Journal of Complexity
Counting solutions to binomial complete intersections

Journal of Complexity
Path planning with general end-effector constraints

Robotics and Autonomous Systems
On square positive extensions and cubature formulas

Journal of Computational and Applied Mathematics - Special issue: Special functions in harmonic analysis and applications
A framework for supporting multidisciplinary engineering design exploration and life-cycle design using underconstrained problem solving

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences

ACM Transactions on Algorithms (TALG)
Systems of three polynomials with two separated variables

Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization

Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Gröbner bases: a sampler of recent developments

Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Theory and numerical evaluation of oddoids and evenoids: Oscillatory cuspoid integrals with odd and even polynomial phase functions

Journal of Computational and Applied Mathematics
On repeated-root multivariable codes over a finite chain ring

Designs, Codes and Cryptography
Fault isolation for nonlinear dynamic systems based on parameter intervals

International Journal of Systems Science
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Constructing invariants for hybrid systems

Formal Methods in System Design
A comprehensive combination framework

ACM Transactions on Computational Logic (TOCL)
Computing exact rational offsets of quadratic triangular Bézier surface patches

Computer-Aided Design
Algebraic characterization of uniquely vertex colorable graphs

Journal of Combinatorial Theory Series B
Controlled Markov chains, graphs, and Hamiltonicity

Foundations and Trends® in Stochastic Systems
The visual hull of piecewise smooth objects

Computer Vision and Image Understanding
A minimal solution for relative pose with unknown focal length

Image and Vision Computing
A new cryptography algorithm using cab curves an LDPC for wireless communication systems

MATH'06 Proceedings of the 10th WSEAS International Conference on APPLIED MATHEMATICS
Predicates for line transversals to lines and line segments in three-dimensional space

Proceedings of the twenty-fourth annual symposium on Computational geometry
Multi-break rearrangements and chromosomal evolution

Theoretical Computer Science
Implicitization and parametrization of quadratic surfaces with one simple base point

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Gröbner-free normal forms for boolean polynomials

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
An algorithm for finding symmetric Grobner bases in infinite dimensional rings

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Computing the multiplicity structure from geometric involutive form

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
On the probability distribution of data at points in real complete intersection varieties

Journal of Complexity
Multivariate refinable functions, differences and ideals - a simple tutorial

Journal of Computational and Applied Mathematics
Algebraic construction of exact difference equations from symmetry of functions

MATH'08 Proceedings of the American Conference on Applied Mathematics
Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation

Computer Mathematics
Algebraic Attacks on the Courtois Toy Cipher

Cryptologia
A numerical elimination method for polynomial computations

Theoretical Computer Science
Feature controlled adaptive difference operators

Discrete Applied Mathematics
Isolating the real roots of the piecewise algebraic variety

Computers & Mathematics with Applications
Geometry theorem proving by Gröbner bases: using ideal decompositions

ACM Communications in Computer Algebra
Computing Equiangular Lines in Complex Space

Mathematical Methods in Computer Science
The Five Points Pose Problem: A New and Accurate Solution Adapted to Any Geometric Configuration

PSIVT '09 Proceedings of the 3rd Pacific Rim Symposium on Advances in Image and Video Technology
Multidimensional perfect reconstruction filter banks: an approach of algebraic geometry

Multidimensional Systems and Signal Processing
Efficient Applications of Invariants to Harmonic Balance Equation Using Gröbner Base

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
The Optimal H∞ Norm of a Parametric System Achievable Using a Static Feedback Controller

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
An Algebraic Approach to Guarantee Harmonic Balance Method Using Gröbner Base

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Arithmetic Circuit Verification Based on Symbolic Computer Algebra

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
From line-systems to sphere-systems - Schläfli's double six, Lie's line-sphere transformation, and Grace's theorem

European Journal of Combinatorics
Role of involutive criteria in computing Boolean Gröbner bases

Programming and Computing Software
Security Analysis of Multivariate Polynomials for Hashing

Information Security and Cryptology
A prolongation-projection algorithm for computing the finite real variety of an ideal

Theoretical Computer Science
Cryptanalysis of an authentication scheme using truncated polynomials

Information Processing Letters
Generators of the ideal of an algebraic space curve

Journal of Symbolic Computation
Expressing combinatorial problems by systems of polynomial equations and hilbert's nullstellensatz

Combinatorics, Probability and Computing
Adaptive and optimal difference operators in image processing

Pattern Recognition
Proper stabilisation of multidimensional input/output behaviours

Multidimensional Systems and Signal Processing
Fast and Stable Polynomial Equation Solving and Its Application to Computer Vision

International Journal of Computer Vision
An Algebraic Approach to Lens Distortion by Line Rectification

Journal of Mathematical Imaging and Vision
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
On delineability of varieties in CAD-based quantifier elimination with two equational constraints

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A non-holonomic systems approach to special function identities

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
High order derivatives and decomposition of multivariate polynomials

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Computation schemes for splitting fields of polynomials

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Computation of inverses in residue class rings of parametric polynomial ideals

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Extracting numerical factors of multivariate polynomials from taylor expansions

Proceedings of the 2009 conference on Symbolic numeric computation
Camera Resectioning from a Box

SCIA '09 Proceedings of the 16th Scandinavian Conference on Image Analysis
Utilizing moment invariants and Grobner bases to reason about shapes

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Privacy-Preserving Data Publishing

Foundations and Trends in Databases
On information invariants in robotics

Artificial Intelligence
An exact and efficient approach for computing a cell in an arrangement of quadrics

Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Exact, efficient, and complete arrangement computation for cubic curves

Computational Geometry: Theory and Applications
Estimation of orientation and affine transformations of a 3-dimensional object

SIP '07 Proceedings of the Ninth IASTED International Conference on Signal and Image Processing
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

Fuzzy Sets and Systems
Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation

Integration, the VLSI Journal
List decoding of burst errors

IEEE Transactions on Information Theory
Generalized Reduction to Compute Toric Ideals

ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
Embedding maximum entropy models in algebraic varieties by Gröbner bases methods

ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 3
Fast and robust numerical solutions to minimal problems for cameras with radial distortion

Computer Vision and Image Understanding
On the convergence of certain sequences of rational approximants to meromorphic functions in several variables

Journal of Approximation Theory
Polynomial first integrals via the Poincaré series

Journal of Computational and Applied Mathematics
Generic invertibility of multidimensional FIR filter banks and MIMO systems

IEEE Transactions on Signal Processing
Redundancy Relations for Fault Diagnosis in Nonlinear Uncertain Systems

International Journal of Applied Mathematics and Computer Science
Multi-robot active target tracking with distance and bearing observations

IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Automatic invariant generation for hybrid systems using ideal fixed points

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
A Gröbner basis approach to CNF-formulae preprocessing

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Generalization error analysis for polynomial kernel methods: algebraic geometrical approach

ICANN/ICONIP'03 Proceedings of the 2003 joint international conference on Artificial neural networks and neural information processing
On proving the absence of oscillations in models of genetic circuits

AB'07 Proceedings of the 2nd international conference on Algebraic biology
Algorithmic algebraic model checking IV: characterization of metabolic networks

AB'07 Proceedings of the 2nd international conference on Algebraic biology
Regularity criteria for the topology of algebraic curves and surfaces

Proceedings of the 12th IMA international conference on Mathematics of surfaces XII
On computation of Boolean involutive bases

Programming and Computing Software
Reasoning algebraically about P-solvable loops

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Total break of the l-IC signature scheme

PKC'08 Proceedings of the Practice and theory in public key cryptography, 11th international conference on Public key cryptography
Minimal generators of the defining ideal of the Rees Algebra associated to monoid parameterizations

Computer Aided Geometric Design
Interrobot transformations in 3-D

IEEE Transactions on Robotics
Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Optimality of size-degree tradeoffs for polynomial calculus

ACM Transactions on Computational Logic (TOCL)
Tackling Multiplicity of Equilibria with Gröbner Bases

Operations Research
Unsupervised Supervised Learning I: Estimating Classification and Regression Errors without Labels

The Journal of Machine Learning Research
Multiplicative character sums with counter-dependent nonlinear congruential pseudorandom number generators

SETA'10 Proceedings of the 6th international conference on Sequences and their applications
Extending clause learning of SAT solvers with Boolean Gröbner bases

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
On lines, joints, and incidences in three dimensions

Journal of Combinatorial Theory Series A
A New Solution to the Relative Orientation Problem Using Only 3 Points and the Vertical Direction

Journal of Mathematical Imaging and Vision
Some algebraic methods for solving multiobjective polynomial integer programs

Journal of Symbolic Computation
Some Numerical Results on the Rank of Generic Three-Way Arrays over $\mathbb{R}$

SIAM Journal on Matrix Analysis and Applications
Cryptanalysis of multivariate and odd-characteristic HFE variants

PKC'11 Proceedings of the 14th international conference on Practice and theory in public key cryptography conference on Public key cryptography
Efficient quantum algorithm for identifying hidden polynomials

Quantum Information & Computation
On equivalence of conditions for a quadrilateral to be cyclic

ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
A saturation algorithm for homogeneous binomial ideals

COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
The six point algorithm revisited

ACCV'10 Proceedings of the 2010 international conference on Computer vision - Volume part II
A fast algorithm for the multivariate Birkhoff interpolation problem

Journal of Computational and Applied Mathematics
Program verification using automatic generation of invariants

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Polynomial general solutions for first order autonomous ODEs

IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
Quantifier elimination by lazy model enumeration

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Derivation of non-structural invariants of petri nets using abstract interpretation

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Sudokus and Gröbner bases: not only a divertimento

CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Automatic calculation of plane loci using gröbner bases and integration into a dynamic geometry system

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
On one method of proving inequalities in automated way

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Polly cracker, revisited

ASIACRYPT'11 Proceedings of the 17th international conference on The Theory and Application of Cryptology and Information Security
Consistency analysis of finite difference approximations to PDE systems

MMCP'11 Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science
The shape of conchoids to plane algebraic curves

Proceedings of the 7th international conference on Curves and Surfaces
Algebraic geometric comparison of probability distributions

The Journal of Machine Learning Research
Breaking an identity-based encryption scheme based on DHIES

IMACC'11 Proceedings of the 13th IMA international conference on Cryptography and Coding
Analysis of a Polynomial System Arising in the Design of an Optical Lattice Filter Useful in Channelization

Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
On equivalent parameter learning in simplified feature space based on Bayesian asymptotic analysis

Neural Networks
Reconstruction of depth-4 multilinear circuits with top fan-in 2

STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Permutations, hyperplanes and polynomials over finite fields

Finite Fields and Their Applications
Polly cracker, revisited, revisited

PKC'12 Proceedings of the 15th international conference on Practice and Theory in Public Key Cryptography
Resolution of a system of fuzzy polynomial equations using the Gröbner basis

Information Sciences: an International Journal
Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals

Journal of Symbolic Computation
Numerically stable optimization of polynomial solvers for minimal problems

ECCV'12 Proceedings of the 12th European conference on Computer Vision - Volume Part III
Finding the exact rotation between two images independently of the translation

ECCV'12 Proceedings of the 12th European conference on Computer Vision - Volume Part VI
A symbolic-numerical approach to approximate parameterizations of space curves using graphs of critical points

Journal of Computational and Applied Mathematics
On the complexity of solving quadratic Boolean systems

Journal of Complexity
An algebraic characterization of rainbow connectivity

CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Approximately singular systems and ill-conditioned polynomial systems

CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Inference of polynomial invariants for imperative programs: a farewell to gröbner bases

SAS'12 Proceedings of the 19th international conference on Static Analysis
Pseudo-partitions, transversality and locality: a combinatorial characterization for the space measure in algebraic proof systems

Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Generalizing Tanisaki's ideal via ideals of truncated symmetric functions

Journal of Algebraic Combinatorics: An International Journal
Global optimization for algebraic geometry --- computing runge---kutta methods

LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Coherent and strongly discrete rings in type theory

CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
A Novel Solution to the P4P Problem for an Uncalibrated Camera

Journal of Mathematical Imaging and Vision
On the finite set of missing geometric configurations (n4)

Computational Geometry: Theory and Applications
Critical points and Gröbner bases: the unmixed case

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Original article: Center conditions and cyclicity for a family of cubic systems: Computer algebra approach

Mathematics and Computers in Simulation
Improved bounds for incidences between points and circles

Proceedings of the twenty-ninth annual symposium on Computational geometry
Gröbner bases of ideals invariant under a commutative group: the non-modular case

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Hand-Eye calibration without hand orientation measurement using minimal solution

ACCV'12 Proceedings of the 11th Asian conference on Computer Vision - Volume Part IV
Computer algebra methods in the study of nonlinear differential systems

Computational Mathematics and Mathematical Physics
Additive semisimple multivariable codes over F4

Designs, Codes and Cryptography
Most Tensor Problems Are NP-Hard

Journal of the ACM (JACM)
Non-commutative arithmetic circuits with division

Proceedings of the 5th conference on Innovations in theoretical computer science
A Superconvergent Discontinuous Galerkin Method for Hyperbolic Problems on Tetrahedral Meshes

Journal of Scientific Computing
On the singularity of multivariate Hermite interpolation

Journal of Computational and Applied Mathematics
On restrictions of n-d systems to 1-d subspaces

Multidimensional Systems and Signal Processing
On the subfield subcodes of Hermitian codes

Designs, Codes and Cryptography
A Gröbner basis approach for finding positive solution of fully fuzzy polynomial equations systems

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Systems of generators for ideals of algebra of convergent differential series

Programming and Computing Software

Quantified Score

Hi-index	0.07

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)

Quantified Score

Visualization

Abstract