Skip header Section
Skip Bibliometrics Section
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)March 2007
- Authors:
- David A. Cox,
- John Little,
- Donal O'Shea
Abstract
No abstract available.
Cited By
Chonev V, Ouaknine J and Worrell J (2023). On the Zeros of Exponential Polynomials, Journal of the ACM, 70:4, (1-26), Online publication date: 31-Aug-2023.- Li D, Wu M, Liu J, Gao Y and Gao Z (2022). Rationalizing Denominators Using Gröbner Bases, Complexity, 2022, Online publication date: 1-Jan-2022.
- Rauhut H and Stojanac Ž (2021). Tensor theta norms and low rank recovery, Numerical Algorithms, 88:1, (25-66), Online publication date: 1-Sep-2021.
- Kumar M and Volk B A lower bound on determinantal complexity Proceedings of the 36th Computational Complexity Conference
- Bürgisser P, Doğan M, Makam V, Walter M and Wigderson A Polynomial time algorithms in invariant theory for torus actions Proceedings of the 36th Computational Complexity Conference
- Pauwels E, Putinar M and Lasserre J (2021). Data Analysis from Empirical Moments and the Christoffel Function, Foundations of Computational Mathematics, 21:1, (243-273), Online publication date: 1-Feb-2021.
- Greve B, Ytrehus Ø, Raddum H and Fløystad G (2021). Solving non-linear Boolean equation systems by variable elimination, Applicable Algebra in Engineering, Communication and Computing, 32:1, (3-47), Online publication date: 1-Jan-2021.
- Martyushev E (2020). Necessary and Sufficient Polynomial Constraints on Compatible Triplets of Essential Matrices, International Journal of Computer Vision, 128:12, (2781-2793), Online publication date: 1-Dec-2020.
- Martyushev E and Li B (2020). Efficient Relative Pose Estimation for Cameras and Generalized Cameras in Case of Known Relative Rotation Angle, Journal of Mathematical Imaging and Vision, 62:8, (1076-1086), Online publication date: 1-Oct-2020.
- Leonelli M, Riccomagno E and Smith J (2020). Coherent combination of probabilistic outputs for group decision making: an algebraic approach, OR Spectrum, 42:2, (499-528), Online publication date: 1-Jun-2020.
- Mahzoon A, Große D, Scholl C and Drechsler R Towards formal verification of optimized and industrial multipliers Proceedings of the 23rd Conference on Design, Automation and Test in Europe, (544-549)
- Arce-Nazario R, Castro F, Gomez-Perez D, Moreno O, Ortiz-Ubarri J, Rubio I and Tirkel A (2019). Multidimensional linear complexity analysis of periodic arrays, Applicable Algebra in Engineering, Communication and Computing, 31:1, (43-63), Online publication date: 1-Jan-2020.
- Kayal N, Nair V and Saha C (2019). Average-case linear matrix factorization and reconstruction of low width algebraic branching programs, Computational Complexity, 28:4, (749-828), Online publication date: 1-Dec-2019.
- Chillara S and Mukhopadhyay P (2019). Depth-4 Lower Bounds, Determinantal Complexity: A Unified Approach, Computational Complexity, 28:4, (545-572), Online publication date: 1-Dec-2019.
- Carvalho C, Ramírez-Mondragón X, Neumann V and Tapia-Recillas H (2019). Projective Reed–Muller type codes on higher dimensional scrolls, Designs, Codes and Cryptography, 87:9, (2027-2042), Online publication date: 1-Sep-2019.
- Aoki S Algebraic Methods in the Design of Experiments Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, (15-20)
- Gaar E, Wiegele A, Krenn D and Margulies S An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, (155-162)
- Bouzidi Y, Quadrat A and Rouillier F (2019). Certified non-conservative tests for the structural stability of discrete multidimensional systems, Multidimensional Systems and Signal Processing, 30:3, (1205-1235), Online publication date: 1-Jul-2019.
- Das Gupta S and Pavel L (2019). On seeking efficient Pareto optimal points in multi-player minimum cost flow problems with application to transportation systems, Journal of Global Optimization, 74:3, (523-548), Online publication date: 1-Jul-2019.
- Shpilka A Sylvester-Gallai type theorems for quadratic polynomials Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, (1203-1214)
- Uteshev A and Goncharova M On Stationary Points of Distance Depending Potentials Numerical Computations: Theory and Algorithms, (503-510)
- Mahzoon A, Große D and Drechsler R RevSCA Proceedings of the 56th Annual Design Automation Conference 2019, (1-6)
- Barba L, Cardinal J, Iacono J, Langerman S, Ooms A and Solomon N (2019). Subquadratic Algorithms for Algebraic 3SUM, Discrete & Computational Geometry, 61:4, (698-734), Online publication date: 1-Jun-2019.
- Mukherjee M and Pal D (2019). On characteristic cones of discrete nD autonomous systems, Multidimensional Systems and Signal Processing, 30:2, (611-640), Online publication date: 1-Apr-2019.
- Kovács Z, Recio T and Sólyom-Gecse C (2019). Rewriting input expressions in complex algebraic geometry provers, Annals of Mathematics and Artificial Intelligence, 85:2-4, (73-87), Online publication date: 1-Apr-2019.
- Batkhin A (2019). Computation of the Resonance Set of a Polynomial under Constraints on Its Coefficients, Programming and Computing Software, 45:2, (27-36), Online publication date: 1-Mar-2019.
- Farahmandi F and Mishra P (2019). Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits, IEEE Transactions on Computers, 68:2, (182-197), Online publication date: 1-Feb-2019.
- Harrington H, Ho K, Meshkat N and Szederkényi G (2019). A Parameter-Free Model Comparison Test Using Differential Algebra, Complexity, 2019, Online publication date: 1-Jan-2019.
- Mahzoon A, Große D and Drechsler R PolyCleaner: Clean your Polynomials before Backward Rewriting to verify Million-gate Multipliers 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), (1-8)
- Kubus D, Rayyes R and Steil J Learning Forward and Inverse Kinematics Maps Efficiently 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (5133-5140)
- Faugère J and Wallet A (2018). The point decomposition problem over hyperelliptic curves, Designs, Codes and Cryptography, 86:10, (2279-2314), Online publication date: 1-Oct-2018.
- Morency M, Vorobyov S and Leus G (2018). Joint Detection and Localization of an Unknown Number of Sources Using the Algebraic Structure of the Noise Subspace, IEEE Transactions on Signal Processing, 66:17, (4685-4700), Online publication date: 1-Sep-2018.
- Xu J, Sarkar S, Hu L, Huang Z and Peng L (2018). Solving a class of modular polynomial equations and its relation to modular inversion hidden number problem and inversive congruential generator, Designs, Codes and Cryptography, 86:9, (1997-2033), Online publication date: 1-Sep-2018.
- Jacquemet M and Tschantz S (2018). All hyperbolic Coxeter n-cubes, Journal of Combinatorial Theory Series A, 158:C, (387-406), Online publication date: 1-Aug-2018.
- Binaei B, Hashemi A and Seiler W (2018). A Pommaret bases approach to the degree of a polynomial ideal, Applicable Algebra in Engineering, Communication and Computing, 29:4, (283-301), Online publication date: 1-Aug-2018.
- Lu D, Wang D, Xiao F and Zhou J Extending the GVW Algorithm to Local Ring Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, (271-278)
- Boreale M Algorithms for exact and approximate linear abstractions of polynomial continuous systems Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), (207-216)
- Grasegger G, Lastra A, Sendra J and Winkler F (2018). Rational general solutions of systems of first-order algebraic partial differential equations, Journal of Computational and Applied Mathematics, 331:C, (88-103), Online publication date: 15-Mar-2018.
- Kayal N (2018). Guest Column, ACM SIGACT News, 49:1, (55-65), Online publication date: 14-Mar-2018.
- Sharir M and Solomon N (2018). Incidences Between Points and Lines on Two- and Three-Dimensional Varieties, Discrete & Computational Geometry, 59:1, (88-130), Online publication date: 1-Jan-2018.
- Leonelli M, Riccomagno E and Smith J (2017). A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams, Annals of Mathematics and Artificial Intelligence, 81:3-4, (273-313), Online publication date: 1-Dec-2017.
- Ritirc D, Biere A and Kauers M Column-wise verification of multipliers using computer algebra Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, (23-30)
- Zhou J, Wang D and Sun Y (2017). Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method, Journal of Automated Reasoning, 59:3, (331-344), Online publication date: 1-Oct-2017.
- Dehghani Darmian M and Hashemi A (2017). Parametric FGLM algorithm, Journal of Symbolic Computation, 82:C, (38-56), Online publication date: 1-Sep-2017.
- Batselier K and Wong N (2017). Inverse multivariate polynomial root-finding, Journal of Computational and Applied Mathematics, 320:C, (15-29), Online publication date: 15-Aug-2017.
- (2017). The center and cyclicity problems for some analytic maps, Applied Mathematics and Computation, 306:C, (73-85), Online publication date: 1-Aug-2017.
- Hashemi A and Seiler W Dimension-Dependent Upper Bounds for Gröbner Bases Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, (189-196)
- Kumar M A quadratic lower bound for homogeneous algebraic branching programs Proceedings of the 32nd Computational Complexity Conference, (1-16)
- Fan X, Otemissov A, Sica F and Sidorenko A (2017). Multiple point compression on elliptic curves, Designs, Codes and Cryptography, 83:3, (565-588), Online publication date: 1-Jun-2017.
- Boreale M Algebra, Coalgebra, and Minimization in Polynomial Differential Equations Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203, (71-87)
- Nie J (2017). Generating Polynomials and Symmetric Tensor Decompositions, Foundations of Computational Mathematics, 17:2, (423-465), Online publication date: 1-Apr-2017.
- Sharir M and Solomon N (2017). Incidences Between Points and Lines in $${\mathbb {R}}^4$$R4, Discrete & Computational Geometry, 57:3, (702-756), Online publication date: 1-Apr-2017.
- Szilágyi Z (2017). Computation of Jeffrey-Kirwan residues using Gröbner bases, Journal of Symbolic Computation, 79:P2, (327-341), Online publication date: 1-Mar-2017.
- Kern-Isberner G, Wilhelm M and Beierle C (2017). Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory, Annals of Mathematics and Artificial Intelligence, 79:1-3, (163-179), Online publication date: 1-Mar-2017.
- Saurer O, Vasseur P, Boutteau R, Demonceaux C, Pollefeys M and Fraundorfer F (2017). Homography Based Egomotion Estimation with a Common Direction, IEEE Transactions on Pattern Analysis and Machine Intelligence, 39:2, (327-341), Online publication date: 1-Feb-2017.
- Sharir M and Solomon N Incidences with curves and surfaces in three dimensions, with applications to distinct and repeated distances Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, (2456-2475)
- Jiang X, Zhang S and Shang B (2016). The discretization for bivariate ideal interpolation, Journal of Computational and Applied Mathematics, 308:C, (177-186), Online publication date: 15-Dec-2016.
- Hernando A, Maestre-Martínez R and Roanes-Lozano E (2016). A natural language for implementing algebraically Expert Systems, Mathematics and Computers in Simulation, 129:C, (31-49), Online publication date: 1-Nov-2016.
- Fioravanti M and Sendra J (2016). Algebro-geometric analysis of bisectors of two algebraic plane curves, Computer Aided Geometric Design, 47:C, (189-203), Online publication date: 1-Oct-2016.
- Pruss T, Kalla P and Enescu F (2016). Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 35:7, (1206-1218), Online publication date: 1-Jul-2016.
- Mukhopadhyay P Depth-4 Identity Testing and Noether's Normalization Lemma Proceedings of the 11th International Computer Science Symposium on Computer Science --- Theory and Applications - Volume 9691, (309-323)
- Herrmann C and Ziegler M (2016). Computational Complexity of Quantum Satisfiability, Journal of the ACM, 63:2, (1-31), Online publication date: 4-May-2016.
- Henrion D, Naldi S and Safey El Din M (2016). Real root finding for determinants of linear matrices, Journal of Symbolic Computation, 74:C, (205-238), Online publication date: 1-May-2016.
- Albrecht M, Faugère J, Farshim P, Herold G and Perret L (2016). Polly Cracker, revisited, Designs, Codes and Cryptography, 79:2, (261-302), Online publication date: 1-May-2016.
- Sarkar S (2016). Revisiting Prime Power RSA, Discrete Applied Mathematics, 203:C, (127-133), Online publication date: 20-Apr-2016.
- Sayed-Ahmed A, Große D, Kühne U, Soeken M and Drechsler R Formal verification of integer multipliers by combining Gröbner basis with logic reduction Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (1048-1053)
- Hou C, Nie F and Tao D Discriminative Vanishing Component Analysis Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, (1666-1672)
- Oeding L, Robeva E and Sturmfels B (2016). Decomposing tensors into frames, Advances in Applied Mathematics, 73:C, (125-153), Online publication date: 1-Feb-2016.
- Uteshev A and Yashina M On Maxwell's Conjecture for Coulomb Potential Generated by Point Charges Transactions on Computational Science XXVII - Volume 9570, (68-80)
- Aleksandrov A, Platonov A and Chen Y On Stability of Difference Schemes for a Class of Nonlinear Switched Systems Transactions on Computational Science XXVII - Volume 9570, (53-67)
- Carvalho C and Neumann V (2016). Projective Reed-Muller type codes on rational normal scrolls, Finite Fields and Their Applications, 37:C, (85-107), Online publication date: 1-Jan-2016.
- Forbes M and Shpilka A (2015). Complexity Theory Column 88, ACM SIGACT News, 46:4, (32-49), Online publication date: 1-Dec-2015.
- Nabeshima K and Tajima S Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases Revised Selected Papers of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences - Volume 9582, (252-267)
- Uteshev A and Yashina M Distance Evaluation Between an Ellipse and an Ellipsoid Proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing - Volume 9301, (468-478)
- Nie Z and Wang A (2015). Hilbert functions and the finite degree Zariski closure in finite field combinatorial geometry, Journal of Combinatorial Theory Series A, 134:C, (196-220), Online publication date: 1-Aug-2015.
- Falcón R (2015). Enumeration and classification of self-orthogonal partial Latin rectangles by using the polynomial method, European Journal of Combinatorics, 48:C, (215-223), Online publication date: 1-Aug-2015.
- Evans R and Didelez V Recovering from selection bias using marginal structure in discrete models Proceedings of the UAI 2015 Conference on Advances in Causal Inference - Volume 1504, (46-55)
- Boku D, Decker W, Fieker C and Steenpass A Gröbner bases over algebraic number fields Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, (16-24)
- Geil O (2015). Roots and coefficients of multivariate polynomials over finite fields, Finite Fields and Their Applications, 34:C, (36-44), Online publication date: 1-Jul-2015.
- Kapur D and Yang Y An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, (243-250)
- Rodriguez J and Tang X Data-Discriminants of Likelihood Equations Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, (307-314)
- Guo X, Dutta R, Jin Y, Farahmandi F and Mishra P Pre-silicon security verification and validation Proceedings of the 52nd Annual Design Automation Conference, (1-6)
- Martin W and Steele C (2015). On the ideal of the shortest vectors in the Leech lattice and other lattices, Journal of Algebraic Combinatorics: An International Journal, 41:3, (707-726), Online publication date: 1-May-2015.
- Abbasnejad G and Carricato M (2015). Direct Geometrico-static Problem of Underconstrained Cable-Driven Parallel Robots With
$n$ - Sun X, Kalla P, Pruss T and Enescu F Formal verification of sequential Galois field arithmetic circuits using algebraic geometry Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, (1623-1628)
- Batkhin A and Bruno A (2015). Investigation of a real algebraic surface, Programming and Computing Software, 41:2, (74-83), Online publication date: 1-Mar-2015.
- Hu S and Qi L (2015). The Laplacian of a uniform hypergraph, Journal of Combinatorial Optimization, 29:2, (331-366), Online publication date: 1-Feb-2015.
- Farahani H, Rahmany S, Basiri A and Abbasi Molai A (2015). Resolution of a system of fuzzy polynomial equations using eigenvalue method, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 19:2, (283-291), Online publication date: 1-Feb-2015.
- Hernando A and Roanes-Lozano E (2015). An algebraic model for implementing expert systems based on the knowledge of different experts, Mathematics and Computers in Simulation, 107:C, (92-107), Online publication date: 1-Jan-2015.
- Mizrahi J and Elber G (2015). Topologically guaranteed bivariate solutions of under-constrained multivariate piecewise polynomial systems, Computer-Aided Design, 58:C, (210-219), Online publication date: 1-Jan-2015.
- Gupta A, Kamath P, Kayal N and Saptharishi R (2014). Approaching the Chasm at Depth Four, Journal of the ACM, 61:6, (1-16), Online publication date: 17-Dec-2014.
- Huang Y, Hong W, Cheng C, Chen J and Yang B A Memory Efficient Variant of an Implementation of the F$$_4$$ Algorithm for Computing Gröbner Bases Revised Selected Papers of the 6th International Conference on Trusted Systems - Volume 9473, (374-393)
- Hölzel M and Bernstein D (2014). A matrix nullspace approach for solving equality-constrained multivariable polynomial least-squares problems, Automatica (Journal of IFAC), 50:12, (3030-3037), Online publication date: 1-Dec-2014.
- Liu H, Batselier K and Wong N A novel linear algebra method for the determination of periodic steady states of nonlinear oscillators Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design, (611-617)
- Galeani S, Henrion D, Jacquemard A and Zaccarian L (2014). Design of Marx generators as a structured eigenvalue assignment, Automatica (Journal of IFAC), 50:10, (2709-2717), Online publication date: 1-Oct-2014.
- Nie J (2014). Optimality conditions and finite convergence of Lasserre's hierarchy, Mathematical Programming: Series A and B, 146:1-2, (97-121), Online publication date: 1-Aug-2014.
- Sendra J, Sevilla D and Villarino C Covering of surfaces parametrized without projective base points Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, (375-380)
- Li H, Shao C, Huang L and Liu Y Reduction among bracket polynomials Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, (304-311)
- Xu J, Hu L, Huang Z and Peng L Modular Inversion Hidden Number Problem Revisited Proceedings of the 10th International Conference on Information Security Practice and Experience - Volume 8434, (537-551)
- Hrubeš P and Wigderson A Non-commutative arithmetic circuits with division Proceedings of the 5th conference on Innovations in theoretical computer science, (49-66)
- Hillar C and Lim L (2013). Most Tensor Problems Are NP-Hard, Journal of the ACM, 60:6, (1-39), Online publication date: 1-Nov-2013.
- Amodio P, Blinkov Y, Gerdt V and Scala R On Consistency of Finite Difference Approximations to the Navier-Stokes Equations Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing - Volume 8136, (46-60)
- Averkov G (2013). Constructive Proofs of some Positivstellensätze for Compact Semialgebraic Subsets of źd, Journal of Optimization Theory and Applications, 158:2, (410-418), Online publication date: 1-Aug-2013.
- Bokowski J and Schewe L (2013). On the finite set of missing geometric configurations (n4), Computational Geometry: Theory and Applications, 46:5, (532-540), Online publication date: 1-Jul-2013.
- Faugere J and Svartz J Gröbner bases of ideals invariant under a commutative group Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, (347-354)
- Sharir M, Sheffer A and Zahl J Improved bounds for incidences between points and circles Proceedings of the twenty-ninth annual symposium on Computational geometry, (97-106)
- Riener C, Theobald T, Andrén L and Lasserre J (2013). Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization, Mathematics of Operations Research, 38:1, (122-141), Online publication date: 1-Feb-2013.
- Bardet M, FaugèRe J, Salvy B and Spaenlehauer P (2013). On the complexity of solving quadratic Boolean systems, Journal of Complexity, 29:1, (53-75), Online publication date: 1-Feb-2013.
- Bonacina I and Galesi N Pseudo-partitions, transversality and locality Proceedings of the 4th conference on Innovations in Theoretical Computer Science, (455-472)
- Coquand T, Mörtberg A and Siles V Coherent and strongly discrete rings in type theory Proceedings of the Second international conference on Certified Programs and Proofs, (273-288)
- Vasil'Ev O (2012). Study of D-decompositions by the methods of computational real-valued algebraic geometry, Automation and Remote Control, 73:12, (1978-1993), Online publication date: 1-Dec-2012.
- Kukelova Z, Heller J and Pajdla T Hand-Eye calibration without hand orientation measurement using minimal solution Proceedings of the 11th Asian conference on Computer Vision - Volume Part IV, (576-589)
- Sargsyan K, Safta C, Debusschere B and Najm H (2012). Multiparameter Spectral Representation of Noise-Induced Competence in Bacillus Subtilis, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9:6, (1709-1723), Online publication date: 1-Nov-2012.
- Kneip L, Siegwart R and Pollefeys M Finding the exact rotation between two images independently of the translation Proceedings of the 12th European conference on Computer Vision - Volume Part VI, (696-709)
- Kuang Y and Åström K Numerically stable optimization of polynomial solvers for minimal problems Proceedings of the 12th European conference on Computer Vision - Volume Part III, (100-113)
- Cachera D, Jensen T, Jobin A and Kirchner F Inference of polynomial invariants for imperative programs Proceedings of the 19th international conference on Static Analysis, (58-74)
- Sasaki T and Inaba D Approximately singular systems and ill-conditioned polynomial systems Proceedings of the 14th international conference on Computer Algebra in Scientific Computing, (308-320)
- Ananth P and Dukkipati A An algebraic characterization of rainbow connectivity Proceedings of the 14th international conference on Computer Algebra in Scientific Computing, (12-21)
- Mourrain B and Trébuchet P Border basis representation of a general quotient algebra Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, (265-272)
- Faugère J and Svartz J Solving polynomial systems globally invariant under an action of the symmetric group and application to the equilibria of N vortices in the plane Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, (170-178)
- Faugère J, El Din M and Spaenlehauer P Critical points and Gröbner bases Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, (162-169)
- Burdis J and Kogan I Object-image correspondence for curves under central and parallel projections Proceedings of the twenty-eighth annual symposium on Computational geometry, (373-382)
- Gupta A, Kayal N and Lokam S Reconstruction of depth-4 multilinear circuits with top fan-in 2 Proceedings of the forty-fourth annual ACM symposium on Theory of computing, (625-642)
- Martino I and Nicosia G Global Optimization for Algebraic Geometry --- Computing Runge---Kutta Methods Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, (449-454)
- Albrecht M, Farshim P, Faugère J and Perret L Polly cracker, revisited Proceedings of the 17th international conference on The Theory and Application of Cryptology and Information Security, (179-196)
- Lei N, Chai J, Xia P and Li Y (2011). A fast algorithm for the multivariate Birkhoff interpolation problem, Journal of Computational and Applied Mathematics, 236:6, (1656-1666), Online publication date: 1-Oct-2011.
- Gerdt V Consistency analysis of finite difference approximations to PDE systems Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science, (28-42)
- Bettale L, Faugère J and Perret L Cryptanalysis of multivariate and odd-characteristic HFE variants Proceedings of the 14th international conference on Practice and theory in public key cryptography conference on Public key cryptography, (441-458)
- Kaptsov O (2011). Partial differential equations with finite-dimensional solution manifolds, Programming and Computing Software, 37:2, (113-119), Online publication date: 1-Mar-2011.
- Torii A, Kukelova Z, Bujnak M and Pajdla T The six point algorithm revisited Proceedings of the 2010 international conference on Computer vision - Volume part II, (184-193)
- Galesi N and Lauria M (2010). Optimality of size-degree tradeoffs for polynomial calculus, ACM Transactions on Computational Logic, 12:1, (1-22), Online publication date: 1-Oct-2010.
- Zengler C and Küchlin W Extending clause learning of SAT solvers with Boolean Gröbner bases Proceedings of the 12th international conference on Computer algebra in scientific computing, (293-302)
- Faugère J, El Din M and Spaenlehauer P 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, (257-264)
- Pech P On one method of proving inequalities in automated way Proceedings of the 8th international conference on Automated Deduction in Geometry, (152-168)
- Gerhäuser M and Wassermann A Automatic calculation of plane loci using gröbner bases and integration into a dynamic geometry system Proceedings of the 8th international conference on Automated Deduction in Geometry, (68-77)
- Monniaux D Quantifier elimination by lazy model enumeration Proceedings of the 22nd international conference on Computer Aided Verification, (585-599)
- Sankaranarayanan S Automatic invariant generation for hybrid systems using ideal fixed points Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, (221-230)
- Donmez P, Lebanon G and Balasubramanian K (2010). Unsupervised Supervised Learning I: Estimating Classification and Regression Errors without Labels, The Journal of Machine Learning Research, 11, (1323-1351), Online publication date: 1-Mar-2010.
- Kaptsov O (2010). Ideals of differential operators and transformations of linear partial differential equations, Programming and Computing Software, 36:2, (97-102), Online publication date: 1-Mar-2010.
- Zobnin A (2010). Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals, Programming and Computing Software, 36:2, (75-82), Online publication date: 1-Mar-2010.
- Ciabattoni A, Metcalfe G and Montagna F (2010). Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, Fuzzy Sets and Systems, 161:3, (369-389), Online publication date: 1-Feb-2010.
- Kesh D and Mehta S Generalized Reduction to Compute Toric Ideals Proceedings of the 20th International Symposium on Algorithms and Computation, (483-492)
- Law K, Fossum R and Do M (2009). Generic invertibility of multidimensional FIR filter banks and MIMO systems, IEEE Transactions on Signal Processing, 57:11, (4282-4291), Online publication date: 1-Nov-2009.
- Veelaert P and Teelen K (2009). Adaptive and optimal difference operators in image processing, Pattern Recognition, 42:10, (2317-2326), Online publication date: 1-Oct-2009.
- Roth R and Vontobel P (2009). List decoding of burst errors, IEEE Transactions on Information Theory, 55:9, (4179-4190), Online publication date: 1-Sep-2009.
- Fortuna E, Gianni P and Trager B (2009). Generators of the ideal of an algebraic space curve, Journal of Symbolic Computation, 44:9, (1234-1254), Online publication date: 1-Sep-2009.
- Byröd M, Josephson K and Åström K (2009). Fast and Stable Polynomial Equation Solving and Its Application to Computer Vision, International Journal of Computer Vision, 84:3, (237-256), Online publication date: 1-Sep-2009.
- Alvarez L, Gómez L and Sendra J (2009). An Algebraic Approach to Lens Distortion by Line Rectification, Journal of Mathematical Imaging and Vision, 35:1, (36-50), Online publication date: 1-Sep-2009.
- Cuyt A and Lee W Extracting numerical factors of multivariate polynomials from taylor expansions Proceedings of the 2009 conference on Symbolic numeric computation, (35-44)
- Sato Y and Suzuki A Computation of inverses in residue class rings of parametric polynomial ideals Proceedings of the 2009 international symposium on Symbolic and algebraic computation, (311-316)
- Orange S, Renault G and Yokoyama K Computation schemes for splitting fields of polynomials Proceedings of the 2009 international symposium on Symbolic and algebraic computation, (279-286)
- Faugère J and Perret L High order derivatives and decomposition of multivariate polynomials Proceedings of the 2009 international symposium on Symbolic and algebraic computation, (207-214)
- Faugère J and Rahmany S Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases Proceedings of the 2009 international symposium on Symbolic and algebraic computation, (151-158)
- Chyzak F, Kauers M and Salvy B A non-holonomic systems approach to special function identities Proceedings of the 2009 international symposium on Symbolic and algebraic computation, (111-118)
- McCallum S and Brown C On delineability of varieties in CAD-based quantifier elimination with two equational constraints Proceedings of the 2009 international symposium on Symbolic and algebraic computation, (71-78)
- Aranda-Corral G, Borrego-Díaz J and Fernández-Lebrón M Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics, (45-58)
- Grassl M and Steinwandt R (2009). Cryptanalysis of an authentication scheme using truncated polynomials, Information Processing Letters, 109:15, (861-863), Online publication date: 1-Jul-2009.
- Lasserre J, Laurent M and Rostalski P (2009). A prolongation-projection algorithm for computing the finite real variety of an ideal, Theoretical Computer Science, 410:27-29, (2685-2700), Online publication date: 1-Jun-2009.
- Bettale L, Faugère J and Perret L Security Analysis of Multivariate Polynomials for Hashing Information Security and Cryptology, (115-124)
- Gerdt V and Zinin M (2009). Role of involutive criteria in computing Boolean Gröbner bases, Programming and Computing Software, 35:2, (90-97), Online publication date: 1-Mar-2009.
- Moritsugu S and Arai C (2009). Geometry theorem proving by Gröbner bases, ACM Communications in Computer Algebra, 42:3, (158-159), Online publication date: 6-Feb-2009.
- Veelaert P and Teelen K (2009). Feature controlled adaptive difference operators, Discrete Applied Mathematics, 157:3, (571-582), Online publication date: 1-Feb-2009.
- Zhang X and Wang R (2009). Isolating the real roots of the piecewise algebraic variety, Computers & Mathematics with Applications, 57:4, (565-570), Online publication date: 1-Feb-2009.
- Chen B, Kifer D, LeFevre K and Machanavajjhala A (2009). Privacy-Preserving Data Publishing, Foundations and Trends in Databases, 2:1–2, (1-167), Online publication date: 1-Jan-2009.
- Zeng Z (2008). A numerical elimination method for polynomial computations, Theoretical Computer Science, 409:2, (318-331), Online publication date: 10-Dec-2008.
- Byröd M, Josephson K and Åström K A Column-Pivoting Based Strategy for Monomial Ordering in Numerical Gröbner Basis Calculations Computer Vision – ECCV 2008, (130-143)
- Wu X and Zhi L Computing the multiplicity structure from geometric involutive form Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, (325-332)
- Kadyrsizova Z and Romanovski V Linearizablity of 1 Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, (255-260)
- De Loera J, Lee J, Malkin P and Margulies S Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, (197-206)
- Aschenbrenner M and Hillar C An algorithm for finding symmetric Grobner bases in infinite dimensional rings Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, (117-124)
- Burr M, Choi S, Galehouse B and Yap C Complete subdivision algorithms, II Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, (87-94)
- Brickenstein M and Dreyer A Gröbner-free normal forms for boolean polynomials Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, (55-62)
- Wang X, Chen F and Deng J Implicitization and parametrization of quadratic surfaces with one simple base point Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, (31-38)
- Stewénius H, Nistér D, Kahl F and Schaffalitzky F (2008). A minimal solution for relative pose with unknown focal length, Image and Vision Computing, 26:7, (871-877), Online publication date: 1-Jul-2008.
- Devillers O, Glisse M and Lazard S Predicates for line transversals to lines and line segments in three-dimensional space Proceedings of the twenty-fourth annual symposium on Computational geometry, (174-181)
- Tuomela J (2008). Kinematic analysis of multibody systems , BIT, 48:2, (405-421), Online publication date: 1-Jun-2008.
- Alekseyev M and Pevzner P (2008). Multi-break rearrangements and chromosomal evolution, Theoretical Computer Science, 395:2-3, (193-202), Online publication date: 20-Apr-2008.
- Kovács L Reasoning algebraically about P-solvable loops Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems, (249-264)
- Fouque P, Macario-Rat G, Perret L and Stern J Total break of the l-IC signature scheme Proceedings of the Practice and theory in public key cryptography, 11th international conference on Public key cryptography, (1-17)
- Ghilardi S, Nicolini E and Zucchelli D (2008). A comprehensive combination framework, ACM Transactions on Computational Logic, 9:2, (1-54), Online publication date: 1-Mar-2008.
- Beltran C and Pardo L (2008). On Smale's 17th Problem, Foundations of Computational Mathematics, 8:1, (1-43), Online publication date: 1-Feb-2008.
- Shumsky A (2007). Redundancy Relations for Fault Diagnosis in Nonlinear Uncertain Systems, International Journal of Applied Mathematics and Computer Science, 17:4, (477-489), Online publication date: 1-Dec-2007.
- Byröd M, Josephson K and Åström K Fast Optimal Three View Triangulation Computer Vision – ACCV 2007, (549-559)
- Gopalakrishnan S, Kalla P, Meredith M and Enescu F 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, (143-148)
- Martínez-Moro E and Rúa I (2007). On repeated-root multivariable codes over a finite chain ring, Designs, Codes and Cryptography, 45:2, (219-227), Online publication date: 1-Nov-2007.
- Alberti L and Mourrain B Regularity criteria for the topology of algebraic curves and surfaces Proceedings of the 12th IMA international conference on Mathematics of surfaces XII, (1-28)
- Shallom R, Hagege R and Francos J Estimation of orientation and affine transformations of a 3-dimensional object Proceedings of the Ninth IASTED International Conference on Signal and Image Processing, (386-390)
- Cox D Gröbner bases Proceedings of the 2007 international symposium on Symbolic and algebraic computation, (387-388)
- Kanno M, Yokoyama K, Anai H and Hara S 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, (211-218)
- Elkadi M and Galligo A Systems of three polynomials with two separated variables Proceedings of the 2007 international symposium on Symbolic and algebraic computation, (159-166)
- Mysore V and Mishra B Algorithmic algebraic model checking IV Proceedings of the 2nd international conference on Algebraic biology, (170-184)
- Boulier F, Lefranc M, Lemaire F, Morant P and Ürgüplü A On proving the absence of oscillations in models of genetic circuits Proceedings of the 2nd international conference on Algebraic biology, (66-80)
- Pech P On equivalence of conditions for a quadrilateral to be cyclic Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV, (399-411)
- Kauers M (2007). An algorithm for deciding zero equivalence of nested polynomially recurrent sequences, ACM Transactions on Algorithms, 3:2, (18-es), Online publication date: 1-May-2007.
- Condrat C and Kalla P A Gröbner basis approach to CNF-formulae preprocessing Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (618-631)
- Cattani E and Dickenstein A (2007). Counting solutions to binomial complete intersections, Journal of Complexity, 23:1, (82-107), Online publication date: 1-Feb-2007.
- Briand E (2007). Equations, inequations and inequalities characterizing the configurations of two real projective conics, Applicable Algebra in Engineering, Communication and Computing, 18:1-2, (21-52), Online publication date: 1-Feb-2007.
- Ziegler M (2006). Effectively open real functions, Journal of Complexity, 22:6, (827-849), Online publication date: 1-Dec-2006.
- Le Bars P and Piret P (2006). Aggregate error locator and error value computation in AG codes, Journal of Combinatorial Theory Series A, 113:8, (1771-1782), Online publication date: 1-Nov-2006.
- Bousquet-Mélou M and Jehanne A (2006). Polynomial equations with one catalytic variable, algebraic series and map enumeration, Journal of Combinatorial Theory Series B, 96:5, (623-672), Online publication date: 1-Sep-2006.
- Kredel H On the design of a Java computer algebra system Proceedings of the 4th international symposium on Principles and practice of programming in Java, (143-152)
- Faugère J and Perret L Cryptanalysis of 2r
− schemes Proceedings of the 26th annual international conference on Advances in Cryptology, (357-372) - Eigenwillig A, Kettner L, Schömer E and Wolpert N (2006). Exact, efficient, and complete arrangement computation for cubic curves, Computational Geometry: Theory and Applications, 35:1-2, (36-73), Online publication date: 1-Aug-2006.
- Zhou M and Winkler F Gröbner bases in difference-differential modules Proceedings of the 2006 international symposium on Symbolic and algebraic computation, (353-360)
- Renault G Computation of the splitting field of a dihedral polynomial Proceedings of the 2006 international symposium on Symbolic and algebraic computation, (290-297)
- Pan W and Wang D Uniform Gröbner bases for ideals generated by polynomials with parametric exponents Proceedings of the 2006 international symposium on Symbolic and algebraic computation, (269-276)
- Moroz G Complexity of the resolution of parametric systems of polynomial equations and inequations Proceedings of the 2006 international symposium on Symbolic and algebraic computation, (246-253)
- Monagan M and Pearce R Rational simplification modulo a polynomial ideal Proceedings of the 2006 international symposium on Symbolic and algebraic computation, (239-245)
- Laplagne S An algorithm for the computation of the radical of an ideal Proceedings of the 2006 international symposium on Symbolic and algebraic computation, (191-195)
- Ullrich P (2006). Closed-form formulas for projecting constructible sets in the theory of algebraically closed fields, ACM Communications in Computer Algebra, 40:2, (45-48), Online publication date: 1-Jun-2006.
- Faugère J and Perret L Polynomial equivalence problems Proceedings of the 24th annual international conference on The Theory and Applications of Cryptographic Techniques, (30-47)
- De Loera J, Hemmecke R, Köppe M and Weismantel R FPTAS for mixed-integer polynomial optimization with a fixed number of variables Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, (743-748)
- Dougherty S, Gulliver T and Oura M (2006). Higher Weights for Ternary and Quaternary Self-Dual Codes*, Designs, Codes and Cryptography, 38:1, (97-112), Online publication date: 1-Jan-2006.
- Giné J (2005). Polynomial first integrals via the Poincaré series, Journal of Computational and Applied Mathematics, 184:2, (428-441), Online publication date: 15-Dec-2005.
- Bazin P and Vezien J (2005). Integration of Geometric Elements, Euclidean Relations, and Motion Curves for Parametric Shape and Motion Estimation, IEEE Transactions on Pattern Analysis and Machine Intelligence, 27:12, (1960-1976), Online publication date: 1-Dec-2005.
- Zobnin A Admissible orderings and finiteness criteria for differential standard bases Proceedings of the 2005 international symposium on Symbolic and algebraic computation, (365-372)
- Turner W Preconditioners for singular black box matrices Proceedings of the 2005 international symposium on Symbolic and algebraic computation, (332-339)
- Pérez-Díaz S and Sendra J Partial degree formulae for rational algebraic surfaces Proceedings of the 2005 international symposium on Symbolic and algebraic computation, (301-308)
- Mourrain B and Trebuchet P Generalized normal forms and polynomial system solving Proceedings of the 2005 international symposium on Symbolic and algebraic computation, (253-260)
- Anai H, Hara S and Yokoyama K Sum of roots with positive real parts Proceedings of the 2005 international symposium on Symbolic and algebraic computation, (21-28)
- Clarisó R, Rodríguez-Carbonell E and Cortadella J Derivation of non-structural invariants of petri nets using abstract interpretation Proceedings of the 26th international conference on Applications and Theory of Petri Nets, (188-207)
- Howarth R (2005). Spatial Models for Wide-Area Visual Surveillance, Artificial Intelligence Review, 23:2, (97-155), Online publication date: 1-Apr-2005.
- Lebbah Y, Michel C and Rueher M (2005). A Rigorous Global Filtering Algorithm for Quadratic Constraints, Constraints, 10:1, (47-65), Online publication date: 1-Jan-2005.
- Yılmaz E and Kılıçarslan S (2004). Minimal Homogeneous Bases for Polynomial Ideals, Applicable Algebra in Engineering, Communication and Computing, 15:3-4, (267-278), Online publication date: 1-Nov-2004.
- Rodríguez-Carbonell E and Kapur D Program verification using automatic generation of invariants Proceedings of the First international conference on Theoretical Aspects of Computing, (325-340)
- Kotsireas I and Volcheck E (2004). ANTS VI, ACM SIGSAM Bulletin, 38:3, (93-107), Online publication date: 1-Sep-2004.
- Yokoyama K On systems of algebraic equations with parametric exponents Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (312-319)
- Rodríguez-Carbonell E and Kapur D Automatic Generation of Polynomial Loop Invariants Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (266-273)
- Recio T, Sendra J and Villarino C From hypercircles to units Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (258-265)
- Dolzmann A, Seidl A and Sturm T Efficient projection orders for CAD Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (111-118)
- Brunat J and Montes A The characteristic ideal of a finite, connected, regular graph Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (50-57)
- Aruliah D and Corless R Numerical parameterization of affine varieties using Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (12-18)
- Ballarin C and Kauers M (2004). Solving parametric linear systems, ACM SIGSAM Bulletin, 38:2, (33-46), Online publication date: 1-Jun-2004.
- Feng R and Gao X Polynomial general solutions for first order autonomous ODEs Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications, (5-17)
- Ovchinnikov A (2004). Characterizable Radical Differential Ideals and Some Properties of Characteristic Sets, Programming and Computing Software, 30:3, (141-149), Online publication date: 1-May-2004.
- Jüttler B and Chalmovianský P Approximate parameterization by planar rational curves Proceedings of the 20th Spring Conference on Computer Graphics, (34-41)
- Giné J and Santallusia X (2004). Implementation of a new algorithm of computation of the Poincaré-Liapunov constants, Journal of Computational and Applied Mathematics, 166:2, (465-476), Online publication date: 15-Apr-2004.
- Roanes-Lozano E, Roanes-Macías E and Laita L (2004). The Geometry of Algebraic Systems and Their Exact Solving Using Gröbner Bases, Computing in Science and Engineering, 6:2, (76-79), Online publication date: 1-Mar-2004.
- Golubitsky O and Falconer S (2004). Infinite Strings Generated by Insertions, Programming and Computing Software, 30:2, (110-114), Online publication date: 1-Mar-2004.
- Zobnin A (2004). Generalized Reduction in Rings of Differential Polynomials, Programming and Computing Software, 30:2, (88-94), Online publication date: 1-Mar-2004.
- Sankaranarayanan S, Sipma H and Manna Z Non-linear loop invariant generation using Gröbner bases Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (318-329)
- Sankaranarayanan S, Sipma H and Manna Z (2004). Non-linear loop invariant generation using Gröbner bases, ACM SIGPLAN Notices, 39:1, (318-329), Online publication date: 1-Jan-2004.
- Corless R, Kai H and Watt S (2003). Approximate computation of pseudovarieties, ACM SIGSAM Bulletin, 37:3, (67-71), Online publication date: 1-Sep-2003.
- Hanzon B and Jibetean D (2003). Global Minimization of a Multivariate Polynomial using Matrix Methods, Journal of Global Optimization, 27:1, (1-23), Online publication date: 1-Sep-2003.
- Ikeda K Generalization error analysis for polynomial kernel methods Proceedings of the 2003 joint international conference on Artificial neural networks and neural information processing, (201-208)
- Rajagopal R and Potter L (2003). Multi-Channel Multi-Variate Equalizer Design, Multidimensional Systems and Signal Processing, 14:1-3, (105-118), Online publication date: 1-Jan-2003.
- Seiler W (2002). Taylor and Lyubeznik resolutions via Gröbner bases, Journal of Symbolic Computation, 34:6, (597-608), Online publication date: 1-Dec-2002.
- Aubry P, Rouillier F and El Din M (2002). Real solving for positive dimensional systems, Journal of Symbolic Computation, 34:6, (543-560), Online publication date: 1-Dec-2002.
- Aardal K, Weismantel R and Wolsey L (2002). Non-standard approaches to integer programming, Discrete Applied Mathematics, 123:1-3, (5-74), Online publication date: 15-Nov-2002.
- James Shank R and Wehlau D (2002). Computing Modular Invariants of p-groups, Journal of Symbolic Computation, 34:5, (307-327), Online publication date: 1-Nov-2002.
- Dinwoodie I (2002). Algebraic Methods for Polynomial Statistical Models, Statistics and Computing, 12:4, (307-314), Online publication date: 1-Oct-2002.
- Kogan I and Maza M Computation of canonical forms for ternary cubics Proceedings of the 2002 international symposium on Symbolic and algebraic computation, (151-160)
- Schömer E, Reichel J and Warken T Efficient Collision Detection for Curved Solid Objects Proceedings of the seventh ACM symposium on Solid modeling and applications, (321-328)
- Reid G, Smith C and Verschelde J (2002). Geometric completion of differential systems using numeric-symbolic continuation, ACM SIGSAM Bulletin, 36:2, (1-17), Online publication date: 2-Jun-2002.
- Mourrain B and Ruatta O (2002). Relations Between Roots and Coefficients, Interpolation and Application to System Solving, Journal of Symbolic Computation, 33:5, (679-699), Online publication date: 1-May-2002.
- Foursov M and Maza M (2002). On Computer-assisted Classification of Coupled Integrable Equations, Journal of Symbolic Computation, 33:5, (647-660), Online publication date: 1-May-2002.
- Veelaert P Reestablishing consistency of uncertain geometric relations in digital images Proceedings of the 11th international conference on Theoretical foundations of computer vision, (268-281)
- Ohsugi H and Hibi T (2001). Unimodular Triangulations and Coverings of Configurations Arising from Root Systems, Journal of Algebraic Combinatorics: An International Journal, 14:3, (199-219), Online publication date: 1-Nov-2001.
- Charoenlarpnopparut C and Bose N (2001). Gröbner Bases for Problem Solving in Multidimensional Systems, Multidimensional Systems and Signal Processing, 12:3-4, (365-376), Online publication date: 1-Jul-2001.
- Park H (2001). Parametrized Family of 2-D Non-factorable FIR Lossless Systems and Gröbner Bases, Multidimensional Systems and Signal Processing, 12:3-4, (345-364), Online publication date: 1-Jul-2001.
- Oberst U and Pauer F (2001). The Constructive Solution of Linear Systems of Partial Difference and Differential Equations with Constant Coefficients, Multidimensional Systems and Signal Processing, 12:3-4, (253-308), Online publication date: 1-Jul-2001.
- Mingsheng W and Zhuojun L Remarks on Gröbner basis for ideals under composition Proceedings of the 2001 international symposium on Symbolic and algebraic computation, (237-244)
- Foursov M and Maza M On computer-assisted classification of coupled integrable equations Proceedings of the 2001 international symposium on Symbolic and algebraic computation, (129-136)
- Busé L Residual resultant over the projective plane and the implicitization problem Proceedings of the 2001 international symposium on Symbolic and algebraic computation, (48-55)
- Gil J (2001). Subtyping arithmetical types, ACM SIGPLAN Notices, 36:3, (276-289), Online publication date: 1-Mar-2001.
- Dokken T Approximate implicitization Mathematical Methods for Curves and Surfaces, (81-102)
- Gil J Subtyping arithmetical types Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (276-289)
- Pistone G, Riccomagno E and Wynn H (2001). Gröbner bases and factorisation in discrete probability and Bayes, Statistics and Computing, 11:1, (37-46), Online publication date: 1-Jan-2001.
- Hasegawa H, Yamada I and Sakaniwa K (2000). A Simple Least-Squares Design of M-D IIR Filterswith Fixed Separable Denominator Based on Multivariate DivisionAlgorithm, Multidimensional Systems and Signal Processing, 11:4, (340-358), Online publication date: 1-Oct-2000.
- Mourrain B and Trebuchet P Solving projective complete intersection faster Proceedings of the 2000 international symposium on Symbolic and algebraic computation, (234-241)
- Wood J (2000). Modules and Behaviours in nD Systems Theory, Multidimensional Systems and Signal Processing, 11:1-2, (11-48), Online publication date: 1-Apr-2000.
- Cheong L and Ng K (1999). Geometry of Distorted Visual Space and Cremona Transformation, International Journal of Computer Vision, 32:3, (195-212), Online publication date: 31-Aug-1999.
- Recio T and Vélez M (1999). Automatic Discovery of Theorems in Elementary Geometry, Journal of Automated Reasoning, 23:1, (63-82), Online publication date: 1-Jul-1999.
- Goudreau M, Lang K, Narlikar G and Rao S BOS is boss Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures, (115-125)
- Petitjean S (1999). Algebraic Geometry and Computer Vision, Journal of Mathematical Imaging and Vision, 10:3, (191-220), Online publication date: 1-May-1999.
- LaValle S, Finn P, Kavraki L and Latombe J Efficient database screening for rational drug design using pharmacophore-constrained conformational search Proceedings of the third annual international conference on Computational molecular biology, (250-260)
- Bachmann O and Schönemann H Monomial representations for Gröbner bases computations Proceedings of the 1998 international symposium on Symbolic and algebraic computation, (309-316)
- Bondyfalat D, Mourrain B and Pan V Controlled iterative methods for solving polynomial systems Proceedings of the 1998 international symposium on Symbolic and algebraic computation, (252-259)
- Fitzgerald J and Lax R (1998). Decoding Affine Variety Codes Using Gröbner Bases, Designs, Codes and Cryptography, 13:2, (147-158), Online publication date: 1-Feb-1998.
- Volcheck E On computing the dual of a plane algebraic curve Proceedings of the 1997 international symposium on Symbolic and algebraic computation, (356-358)
- Li Q, Guo Y, Ida T and Darlington J The minimised geometric Buchberger algorithm Proceedings of the 1997 international symposium on Symbolic and algebraic computation, (331-338)
- Park H, Kalker T and Vetterli M (1997). Gröbner Bases and Multidimensional FIR Multirate Systems, Multidimensional Systems and Signal Processing, 8:1-2, (11-30), Online publication date: 14-Feb-1997.
- Egner S (1996). Semi-numerical solution to 6/6-Stewart-platform kinematics based on symmetry, Applicable Algebra in Engineering, Communication and Computing, 7:6, (449-468), Online publication date: 1-Nov-1996.
- Hubert E The general solution of an ordinary differential equation Proceedings of the 1996 international symposium on Symbolic and algebraic computation, (189-195)
- Althaler J and Dür A (1996). Finite linear recurring sequences and homogeneous ideals, Applicable Algebra in Engineering, Communication and Computing, 7:5, (377-390), Online publication date: 1-Sep-1996.
- Clegg M, Edmonds J and Impagliazzo R Using the Groebner basis algorithm to find proofs of unsatisfiability Proceedings of the twenty-eighth annual ACM symposium on Theory of Computing, (174-183)
- Lindskog P and Ljung L (1995). Tools for semiphysical modelling, International Journal of Adaptive Control and Signal Processing, 9:6, (509-523), Online publication date: 1-Nov-1995.
- Rege A A complete and practical algorithm for geometric theorem proving (extended abstract) Proceedings of the eleventh annual symposium on Computational geometry, (277-286)
- González-Vega L and Trujillo G Implicitization of parametric curves and surfaces by using symmetric functions Proceedings of the 1995 international symposium on Symbolic and algebraic computation, (180-186)
- García-Sánchez P (1995). Gröbner and involutive bases for zero-dimensional ideals, ACM SIGSAM Bulletin, 29:2, (12-15), Online publication date: 1-Apr-1995.
- Montes A and Castro J (1995). Solving the load flow problem using Gröbner basis, ACM SIGSAM Bulletin, 29:1, (1-13), Online publication date: 1-Jan-1995.
- Oaku T Algorithms for finding the structure of solutions of a system of linear partial differential equations Proceedings of the international symposium on Symbolic and algebraic computation, (216-223)
- Man Y and Wright F Fast polynomial dispersion computation and its application to indefinite summation Proceedings of the international symposium on Symbolic and algebraic computation, (175-180)
- Chazelle B Computational geometry Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing, (75-94)
Recommendations
Congruences and ideals in pseudoeffect algebras
This paper is devoted to congruences and ideals in pseudoeffect algebras. Let I be a normal ideal in a pseudoeffect algebra E . We show that: (1) the relation ~ I induced by I is a congruence if and only if for every a E , I [0, a ] is ...
Fuzzy bi-ideals in ordered semigroups
Given a set S, a fuzzy subset of S is, by definition, an arbitrary mapping f : S → [0,1] where [0,1] is the unit segment of the real line. If the set S bears some structure, one may distinguish some fuzzy subsets of S in terms of that additional ...