Search results for "gröbner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos	A Computer Algebra Approach to Relational Systems Using Gröbner Bases.	RelMiCS	2001	DBLP DOI BibTeX RDF
26	Franz Pauer, Andreas Unterkircher	Gröbner Bases for Ideals in Laurent Polynomial Rings and their Application to Systems of Difference Equations.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Laurent polynomial ring, generalized term order, partial difference equation, groebner basis
26	Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo	Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases.	AISC	1998	DBLP DOI BibTeX RDF
26	Soumen Chakrabarti, Katherine A. Yelick	On the Correctness of a Distributed Memory Gröbner basis Algorithm.	RTA	1993	DBLP DOI BibTeX RDF
26	Thomas Becker 0001	Homogenity, Pseudo-Homogenity, and Gröbner Basis Computations.	AAECC	1991	DBLP DOI BibTeX RDF
26	Jean-Philippe Vidal	The computation of Gröbner bases on a shared memory multiprocessor.	DISCO	1990	DBLP DOI BibTeX RDF
26	Shang-Ching Chou	Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method.	ISSAC	1990	DBLP DOI BibTeX RDF
26	Volker Weispfenning	Some Bounds for the Construction of Gröbner Bases.	AAECC	1986	DBLP DOI BibTeX RDF
23	André Platzer, Jan-David Quesel, Philipp Rümmer	Real World Verification.	CADE	2009	DBLP DOI BibTeX RDF	hybrid systems, software verification, decision procedures, Real-closed fields
23	José Manuel Casas, Manuel A. Insua, Manuel Ladra, Susana Ladra	Algorithm for Testing the Leibniz Algebra Structure.	EUROCAST	2009	DBLP DOI BibTeX RDF
23	Vladimir P. Gerdt, Yuri A. Blinkov	Involution and Difference Schemes for the Navier-Stokes Equations.	CASC	2009	DBLP DOI BibTeX RDF
23	Naoki Ogura, Shigenori Uchiyama	Remarks on the Attack of Fouque et al. against the lIC Scheme.	IWSEC	2008	DBLP DOI BibTeX RDF
23	Luk Bettale, Jean-Charles Faugère, Ludovic Perret	Cryptanalysis of the TRMS Signature Scheme of PKC'05.	AFRICACRYPT	2008	DBLP DOI BibTeX RDF
23	Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu	Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors.	ICCAD	2007	DBLP DOI BibTeX RDF
23	Julia Chifman, Sonja Petrovic	Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1, n .	AB	2007	DBLP DOI BibTeX RDF
23	Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem	Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.	ICMS	2006	DBLP DOI BibTeX RDF
23	Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro	A General Framework for Applying FGLM Techniques to Linear Codes.	AAECC	2006	DBLP DOI BibTeX RDF
23	Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama	On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
23	Marc Moreno Maza, Yuzhen Xie	An implementation report for parallel triangular decompositions.	SPAA	2006	DBLP DOI BibTeX RDF	polynomial system solver, parallel execution
23	Enric Rodríguez-Carbonell, Ashish Tiwari 0001	Generating Polynomial Invariants for Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
23	Vladimir V. Kornyak	On Compatibility of Discrete Relations.	CASC	2005	DBLP DOI BibTeX RDF
23	Enric Rodríguez-Carbonell, Deepak Kapur	Program Verification Using Automatic Generation of Invariants.	ICTAC	2004	DBLP DOI BibTeX RDF
23	Joachim Apel	Passive Complete Orthonomic Systems of PDEs and Involutive Bases of Polynomial Modules.	SNSC	2001	DBLP DOI BibTeX RDF
23	Nicolas T. Courtois, Alexander Klimov, Jacques Patarin, Adi Shamir	Efficient Algorithms for Solving Overdefined Systems of Multivariate Polynomial Equations.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
23	Joachim Althaler, Arne Dür	Finite linear recurring sequences and homogeneous ideals.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Linear Recurrence Relation, Annihilator Ideal, Inverse System, Shift Register Synthesis Problem, Berlekamp-Massey Algorithm
23	Franz Winkler 0001	Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis.	ISSAC	1989	DBLP DOI BibTeX RDF
16	Zuzana Kukelova, Tomás Pajdla	A Minimal Solution to Radial Distortion Autocalibration.	IEEE Trans. Pattern Anal. Mach. Intell.	2011	DBLP DOI BibTeX RDF	Gröbner bases, polynomial eigenvalue problems, Minimal problems, radial distortion
16	M'hammed El Kahoui, Adamou Otto	Stability of Disease Free Equilibria in Epidemiological Models.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	stability of equilibria, invariant set, basic reproduction number, Gröbner basis, Routh-Hurwitz criterion, M-matrices, Epidemiological models
16	Jean-Charles Faugère, Ludovic Perret	High order derivatives and decomposition of multivariate polynomials.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner basis, multivariate cryptology, public key cryptography, cryptology, algebraic cryptanalysis, f5 algorithm
16	Tetsuo Ida	Symbolic and algebraic methods in computational origami: invited talk.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner bases, graph rewriting, origami
16	Anna Inn-Tung Chen, Chia-Hsin Owen Chen, Ming-Shing Chen, Chen-Mou Cheng, Bo-Yin Yang	Practical-Sized Instances of Multivariate PKCs: Rainbow, TTS, and lIC-Derivatives.	PQCrypto	2008	DBLP DOI BibTeX RDF	Gröbner basis, multivariate public key cryptosystem
16	Sondre Rønjom, Håvard Raddum	On the Number of Linearly Independent Equations Generated by XL.	SETA	2008	DBLP DOI BibTeX RDF	XL, Gröbner bases, Stream Ciphers
16	Nicolas T. Courtois, Gregory V. Bard, David A. Wagner 0001	Algebraic and Slide Attacks on KeeLoq.	FSE	2008	DBLP DOI BibTeX RDF	unbalanced Feistel ciphers, Gröbner bases, KeeLoq, block ciphers, SAT solvers, algebraic cryptanalysis, slide attacks
16	Markus Rosenkranz, Georg Regensburger	Integro-differential polynomials and operators.	ISSAC	2008	DBLP DOI BibTeX RDF	green's operators, integro-differential algebras, linear boundary value problems, noncommutative gröbner bases, integral operators
16	Nicolas T. Courtois, Blandine Debraize	Specific S-Box Criteria in Algebraic Attacks on Block Ciphers with Several Known Plaintexts.	WEWoRC	2007	DBLP DOI BibTeX RDF	algebraic attacks on block ciphers, Gröbner bases, design of S-boxes, Rijndael, algebraic immunity, Serpent, multivariate equations
16	Makoto Sugita, Mitsuru Kawazoe, Ludovic Perret, Hideki Imai	Algebraic Cryptanalysis of 58-Round SHA-1.	FSE	2007	DBLP DOI BibTeX RDF	Gröbner basis, SHA-1, differential attack
16	Nicolas T. Courtois, Gregory V. Bard	Algebraic Cryptanalysis of the Data Encryption Standard.	IMACC	2007	DBLP DOI BibTeX RDF	s5DES, solving overdefined and sparse systems of multivariate equations, ElimLin algorithm, Gröbner bases, logical cryptanalysis, block ciphers, AES, DES, SAT solvers, algebraic cryptanalysis
16	Amir Hashemi	Polynomial-time algorithm for Hilbert series of Borel type ideals.	SNC	2007	DBLP DOI BibTeX RDF	Castelnuovo-Mumford regularity, Gröbner bases, Hilbert series, satiety, complexity
16	Daniel Lichtblau	Cylinders Through Five Points: Complex and Real Enumerative Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	Enumerative geometry, Gröbner bases, nonlinear systems
16	Aleksey Zobnin	Admissible orderings and finiteness criteria for differential standard bases.	ISSAC	2005	DBLP DOI BibTeX RDF	Gröbner bases, admissible orderings, differential algebra
16	Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama	Sum of roots with positive real parts.	ISSAC	2005	DBLP DOI BibTeX RDF	Gröbner basis, optimal regulator control, sum of roots with positive real parts, quantifier elimination, resultant
16	H. Michael Möller, Tomas Sauer	Multivariate Refinable Functions of High Approximation Order Via Quotient Ideals of Laurent Polynomials.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	quotient ideals, Laurent polynomials, Gröbner bases, subdivision
16	Ruchira S. Datta	Using computer algebra to find nash equilibria.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner bases, polyhedral homotopy continuation, game theory, polynomial systems
16	Andrea Vietri	Combinatorial Aspects of Total Weight Orders over Monomials of Fixed Degree.	Order	2002	DBLP DOI BibTeX RDF	Gröbner bases, monomial ordering, weight order, coloring, linearization, primes, linear inequalities, logical consequence
16	Ian H. Dinwoodie	Algebraic Methods for Polynomial Statistical Models.	Stat. Comput.	2002	DBLP DOI BibTeX RDF	Gröbner basis, EM-algorithm, maximum likelihood, identifiability, network tomography, sufficient statistic
16	Edith Aguirre, Abdul Salam Jarrah, Reinhard C. Laubenbacher	Generic ideals and Moreno-Socías conjucture.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner bases, Moreno-Socías conjecture, generic ideals
16	Francesca Cioffi, Ferruccio Orecchia	Computation of minimal generators of ideals of fat points.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner basis, fat points, minimal generators
16	Massimo Caboara, Lorenzo Robbiano	Families of estimable terms.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner bases, border bases, estimable terms, statistics
16	Jörn Müller-Quade, Rainer Steinwandt	Recognizing Simple Subextensions of Purely Transcendental Field Extensions.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Rational function fields, Gröbner bases, Primitive element
16	Dima Grigoriev, Yagati N. Lakshman	Algorithms for Computing Sparse Shifts for Multivariate Polynomials.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Shifted sparse polynomial, Gröbner bases, Complexity. >
16	Mariano Gasca, Tomas Sauer	Polynomial interpolation in several variables.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	Newton approach, Gröbner bases, H-bases, interpolation, multivariate polynomials, divided differences
15	Malihe Aliasgari, Daniel Panario, Mohammad-Reza Sadeghi 0001	Linear label code of a root lattice using Gröbner bases.	Appl. Algebra Eng. Commun. Comput.	2024	DBLP DOI BibTeX RDF
15	Evgenii V. Vorozhtsov, Sergey P. Kiselev	An efficient method of finding new symplectic schemes for Hamiltonian mechanics problems with the aid of parametric Gröbner bases.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
15	Michela Ceria, Teo Mora	Towards a Gröbner-free approach to coding.	Des. Codes Cryptogr.	2024	DBLP DOI BibTeX RDF
15	Jiaxin Song, Hongfei Fu 0001, Charles Zhang	Equational Bit-Vector Solving via Strong Gröbner Bases.	CoRR	2024	DBLP DOI BibTeX RDF
15	Sriram Gopalakrishnan	On the arithmetic complexity of computing Gröbner bases of comaximal determinantal ideals.	CoRR	2024	DBLP DOI BibTeX RDF
15	Momonari Kudo, Kazuhiro Yokoyama	On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases.	CoRR	2024	DBLP DOI BibTeX RDF
15	Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din	Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations.	CoRR	2024	DBLP DOI BibTeX RDF
15	Xiaohui Niu, Wenxi Li, Zhongzhi Wang	On Grobner-Shirshov bases for Markov semirings.	CoRR	2024	DBLP DOI BibTeX RDF
15	Matthias Johann Steiner	A Zero-Dimensional Gröbner Basis for Poseidon.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Matthias Johann Steiner	Zero-Dimensional Gröbner Bases for Rescue-XLIX.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Augustin Bariant, Aurélien Boeuf, Axel Lemoine, Irati Manterola Ayala, Morten Øygarden, Léo Perrin, Håvard Raddum	The Algebraic Freelunch Efficient Gröbner Basis Attacks Against Arithmetization-Oriented Primitives.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Katharina Koschatko, Reinhard Lüftenegger, Christian Rechberger	Exploring the Six Worlds of Gröbner Basis Cryptanalysis: Application to Anemoi.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Momonari Kudo, Kazuhiro Yokoyama	The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Momonari Kudo, Kazuhiro Yokoyama	On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig	Split Gröbner Bases for Satisfiability Modulo Finite Fields.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Elisabeth Gaar, Melanie Siebenhofer	Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
15	Marcel Morales, Nguyen Thi Dung	A "pseudo-polynomial" algorithm for the Frobenius number and Gröbner basis.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
15	Zhicheng Zhu, Huhu Zhang, Xing Gao	Free weighted (modified) differential algebras, free (modified) Rota-Baxter algebras and Gröbner-Shirshov bases.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
15	Xin Ren, Kohji Yanagawa	Gröbner Bases of Radical Li-Li Type Ideals Associated with Partitions.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
15	Nazish Kanwal, Junaid Alam Khan	Sagbi-Gröbner Bases Under Composition.	J. Syst. Sci. Complex.	2023	DBLP DOI BibTeX RDF
15	Shahrzad Jamshidi Zelenberg, Eric Kang, Sonja Petrovic	Predicting the cardinality of a reduced Gröbner basis.	CoRR	2023	DBLP DOI BibTeX RDF
15	Clemens Hofstadler, Thibaut Verron	Signature Gröbner bases in free algebras over rings.	CoRR	2023	DBLP DOI BibTeX RDF
15	Éric Schost, Catherine St-Pierre	Newton iteration for lexicographic Gröbner bases in two variables.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama	Learning to Compute Gröbner Bases.	CoRR	2023	DBLP DOI BibTeX RDF
15	Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa	Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems.	CoRR	2023	DBLP DOI BibTeX RDF
15	Deepak Kapur, Paliath Narendran	Existence and Construction of a Gröbner Basis for a Polynomial Ideal.	CoRR	2023	DBLP DOI BibTeX RDF
15	Alexander Demin, Shashi Gowda	Groebner.jl: A package for Gröbner bases computations in Julia.	CoRR	2023	DBLP DOI BibTeX RDF
15	Éric Schost, Catherine St-Pierre	p-adic algorithm for bivariate Gröbner bases.	CoRR	2023	DBLP DOI BibTeX RDF
15	Chenqi Mou, Qiuye Song	On the Reduced Gröbner Bases of Blockwise Determinantal Ideals.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ari Dwi Hartanto, Katsuyoshi Ohara	An F5 Algorithm for Tropical Gröbner Bases in the Weyl Algebras.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ismara Álvarez-Barrientos, Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro, J. A. Ornella	Complete Gröbner basis for lattice codes.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hedongliang Liu, Cornelia Ott, Felix Ulmer	A Gröbner Approach to Dual-Containing Cyclic Left Module (θ, δ)-Codes Rg/Rf ⊂ R/Rf over Finite Commutative Frobenius Rings.	CoRR	2023	DBLP DOI BibTeX RDF
15	Massimo Lauria, Jakob Nordström	Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases.	CoRR	2023	DBLP DOI BibTeX RDF
15	Shinichi Tajima, Katsusuke Nabeshima, Katsuyoshi Ohara, Yoko Umeta	Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gröbner Systems of PBW Algebra.	Math. Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Tianjie Zhang, Xing Gao 0006, Li Guo 0003	Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
15	Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid	Computing free non-commutative Gröbner bases over Z with Singular: Letterplace.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
15	Jérémy Berthomieu	Contributions to polynomial system solving: Recurrences and Gröbner bases.		2023	RDF
15	Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa	Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems.	CASC	2023	DBLP DOI BibTeX RDF
15	Xavier Dahan	Chinese Remainder Theorem for bivariate lexicographic Gröbner bases.	ISSAC	2023	DBLP DOI BibTeX RDF
15	Tristan Vaccon, Thibaut Verron	Universal Analytic Gröbner Bases and Tropical Geometry.	ISSAC	2023	DBLP DOI BibTeX RDF
15	Éric Schost, Catherine St-Pierre	p-adic algorithm for bivariate Gröbner bases.	ISSAC	2023	DBLP DOI BibTeX RDF
15	Clemens Hofstadler, Thibaut Verron	Signature Gröbner bases in free algebras over rings.	ISSAC	2023	DBLP DOI BibTeX RDF
15	Carmelo Cisto, Francesco Navarra, Rosanna Utano	On Gröbner Basis and Cohen-Macaulay Property of Closed Path Polyominoes.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
15	Eugenio Roanes-Lozano, Eugenio Roanes-Macías	Maple-based introductory visual guide to Gröbner bases.	Maple Trans.	2022	DBLP DOI BibTeX RDF
15	Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din	Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system.	ACM Commun. Comput. Algebra	2022	DBLP DOI BibTeX RDF
15	Tateaki Sasaki	A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs).	ACM Commun. Comput. Algebra	2022	DBLP DOI BibTeX RDF
15	Jiang Liu, Feng Ni, Shihang Song, Mingjun Du	Normalization of Indexed Differentials by Extending Gröbner Basis Theory.	J. Syst. Sci. Complex.	2022	DBLP DOI BibTeX RDF
15	Fanghui Xiao, Dong Lu, Dingkang Wang	Solving Multivariate Polynomial Matrix Diophantine Equations with Gröbner Basis Method.	J. Syst. Sci. Complex.	2022	DBLP DOI BibTeX RDF
15	Igor Makhlin	Gröbner fans of Hibi ideals, generalized Hibi ideals and flag varieties.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF