Search results for "gröbner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Ilaria Simonetti	On the Non-linearity of Boolean Functions.	Gröbner Bases, Coding, and Cryptography	2009	DBLP DOI BibTeX RDF
42	Teo Mora, Emmanuela Orsini	Decoding Cyclic Codes: the Cooper Philosophy.	Gröbner Bases, Coding, and Cryptography	2009	DBLP DOI BibTeX RDF
42	Daniel Augot, Emanuele Betti, Emmanuela Orsini	An Introduction to Linear and Cyclic Codes.	Gröbner Bases, Coding, and Cryptography	2009	DBLP DOI BibTeX RDF
42	Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro	An Application of Möller's Algorithm to Coding Theory.	Gröbner Bases, Coding, and Cryptography	2009	DBLP DOI BibTeX RDF
42	Daniel Augot, Michael Stepanov	A Note on the Generalisation of the Guruswami-Sudan List Decoding Algorithm to Reed-Muller Codes.	Gröbner Bases, Coding, and Cryptography	2009	DBLP DOI BibTeX RDF
42	Ryutaroh Matsumoto	Radical Computation for Small Characteristics.	Gröbner Bases, Coding, and Cryptography	2009	DBLP DOI BibTeX RDF
41	Wolfgang Gröbner	On the Macaulay inverse system and its importance for the theory of linear differential equations with constant coefficients.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
41	Wolfgang Gröbner	On the algebraic properties of integrals of linear differential equations with constant coefficients.	ACM Commun. Comput. Algebra	2009	DBLP DOI BibTeX RDF
41	Matthias Gröbner	Ein Modell zur Beschreibung und Lösung von Zeitplanungsproblemen.		2003	RDF
41	Matthias Gröbner, Peter Wilke, Stefan Büttcher	A Standard Framework for Timetabling Problems.	PATAT	2002	DBLP DOI BibTeX RDF
41	Peter Wilke, Matthias Gröbner, Norbert Oster	A Hybrid Genetic Algorithm for School Timetabling.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Evolutionary Algorithms, Constraints, Planning, Applications
41	Matthias Gröbner, Peter Wilke	Optimizing Employee Schedules by a Hybrid Genetic Algorithm.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
41	Wolfgang Gröbner	On elimination theory.	SIGSAM Bull.	1998	DBLP DOI BibTeX RDF
41	P. Loidl, A. Loidl, B. Puschendorf, P. Grobner	RNA polymerase activity and template activity of chromatin after butyrate induced hyperacetylation of histones in Physarum.	Nucleic Acids Res.	1984	DBLP DOI BibTeX RDF
38	Nicolas T. Courtois, Sean O'Neil, Jean-Jacques Quisquater	Practical Algebraic Attacks on the Hitag2 Stream Cipher.	ISC	2009	DBLP DOI BibTeX RDF	Hitag 2 algorithm, MiFare Crypto-1 cipher, Gröbner bases, Boolean functions, stream ciphers, RFID tags, SAT solvers, algebraic cryptanalysis
38	Jean-Charles Faugère, Ludovic Perret	Polynomial Equivalence Problems: Algorithmic and Theoretical Aspects.	EUROCRYPT	2006	DBLP DOI BibTeX RDF	Isomorphism of Polynomials (IP), Gröbner bases, Cryptanalysis, Public-Key Cryptography, F5 algorithm
38	Erol Yilmaz, Sibel Kiliçarslan	Minimal Homogeneous Bases for Polynomial Ideals.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Gröbner bases, Syzygies, Polynomial ideals
38	Nicholas Eriksson	Toric ideals of homogeneous phylogenetic models.	ISSAC	2004	DBLP DOI BibTeX RDF	Gröbner bases, parametric inference, phylogenetic invariants, toric ideals
38	Nicolas T. Courtois, Magnus Daum, Patrick Felke	On the Security of HFE, HFEv- and Quartz.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF	asymmetric cryptography, multivariate cryptanalysis, Gröbner bases, Hidden Field Equation, HFE problem, Quartz, Nessie project, finite fields
38	Elizabeth L. Mansfield, Ágnes Szántó	Elimination theory for differential difference polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, differential polynomial, ore algebra, difference equation
38	Abdelilah Kandri-Rody, Deepak Kapur, Paliath Narendran	An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras.	RTA	1985	DBLP DOI BibTeX RDF	Unification Problem, Finitely Presented Algebras, Commutative Algebras, Gröbner Basis, Knuth-Bendix Completion Procedure, Term Rewriting, Word Problem, Polynomial Ideals
38	Akira Suzuki	Computing Gröbner Bases within Linear Algebra.	CASC	2009	DBLP DOI BibTeX RDF
38	Andrea Sattler-Klein	Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings.	FCT	2007	DBLP DOI BibTeX RDF
38	Tateaki Sasaki, Fujio Kako	Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation.	ASCM	2007	DBLP DOI BibTeX RDF
38	Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii	Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases.	CASC	2007	DBLP DOI BibTeX RDF
38	Vladimir P. Gerdt, D. A. Yanovich	Parallel computation of Janet and Gröbner bases over rational numbers.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
38	Vladimir P. Gerdt, Yuri A. Blinkov	Janet-Like Gröbner Bases.	CASC	2005	DBLP DOI BibTeX RDF
38	Jean-Charles Faugère, Antoine Joux	Algebraic Cryptanalysis of Hidden Field Equation (HFE) Cryptosystems Using Gröbner Bases.	CRYPTO	2003	DBLP DOI BibTeX RDF
38	Yosuke Sato, Akira Suzuki	Discrete comprehensive Gröbner bases.	ISSAC	2001	DBLP DOI BibTeX RDF
38	Alain Poli, M. C. Gennero, D. Xin	Discrete Fourier Transform and Gröbner Bases.	AAECC	1999	DBLP DOI BibTeX RDF
38	Hans-Gert Gräbe	Minimal Primary Decomposition and Factorized Gröbner Bases.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Primary decomposition, Constructive methods
38	Ulla Koppenhagen, Ernst W. Mayr	Optimal Gröbner Base Algorithms for Binomial Ideals.	ICALP	1996	DBLP DOI BibTeX RDF
38	Hans-Gert Gräbe	Triangular Systems and Factorized Gröbner Bases.	AAECC	1995	DBLP DOI BibTeX RDF
34	Zuzana Kukelova, Martin Bujnak, Tomás Pajdla	Automatic Generator of Minimal Problem Solvers.	ECCV (3)	2008	DBLP DOI BibTeX RDF
34	Louis Granboulan, Antoine Joux, Jacques Stern	Inverting HFE Is Quasipolynomial.	CRYPTO	2006	DBLP DOI BibTeX RDF
34	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
34	Bo-Yin Yang, Jiun-Ming Chen	All in the XL Family: Theory and Practice.	ICISC	2004	DBLP DOI BibTeX RDF
34	Tomoharu Shibuya, Jiro Mizutani, Kohichi Sakaniwa	On Generalized Hamming Weights of Codes Constructed on Affine Algebraic Sets.	AAECC	1997	DBLP DOI BibTeX RDF
31	Rekha R. Thomas	Integer Programming: Algebraic Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Toric ideal, Gröbner basis, universal Gröbner basis, Group relaxation, Lattice program, Scarf formulation, Integer programming, Sensitivity analysis, Computer algebra, Test sets
31	Heinz Kredel	Distributed Hybrid Grobner Bases Computation.	CISIS	2010	DBLP DOI BibTeX RDF	computer algebra library, Gröbner bases, distributed computing
31	Jean-Charles Faugère	Interactions between computer algebra (Gröbner bases) and cryptology.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner basis, public key, cryptology, algebraic cryptanalysis, multivariate cryptography, f5 algorithm
31	Serena Cicalò, Willem A. de Graaf	Non-associative gröbner bases, finitely-presented lie rings and the engel condition.	ISSAC	2007	DBLP DOI BibTeX RDF	engel condition, gröbner basis, lie ring
31	Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna	Non-linear loop invariant generation using Gröbner bases.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, verification, program analysis, constraint programming, symbolic computation, ideals, invariant generation
31	Bernd Sturmfels, Markus Wiegelmann	Structural Gröbner Basis Detection.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Gröbner basis, Variation of term orders, System of polynomial equations, NP-completeness, Polynomial time algorithm
30	Katsusuke Nabeshima	Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system.	Appl. Algebra Eng. Commun. Comput.	2024	DBLP DOI BibTeX RDF
30	Kosaku Nagasaka, Ryo Oshimatani	Conditional GrÖbner Basis: GrÖbner Basis Detection with Parameters.	ACM Commun. Comput. Algebra	2023	DBLP DOI BibTeX RDF
30	Dong Lu, Yao Sun 0004, Dingkang Wang	A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases.	J. Syst. Sci. Complex.	2019	DBLP DOI BibTeX RDF
30	Matías R. Bender	Algorithms for sparse polynomial systems : Gröbner bases and resultants. (Algorithmes pour les systèmes polynomiaux creux : bases de Gröbner et résultants).		2019	RDF
30	Ludovic Perret	Bases de Gröbner en Cryptographie Post-Quantique. (Gröbner bases techniques in Quantum-Safe Cryptography).		2016	RDF
30	Cyrille Chenavier	Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique. (The lattice of reduction operators: applications to noncommutative Gröbner bases and homological algebra).		2016	RDF
30	Thibaut Verron	Regularisation of Gröbner basis computations for weighted and determinantal systems, and an application to medical imagery. (Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale).		2016	RDF
30	Jesús A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson	Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases.	ISSAC	2015	DBLP DOI BibTeX RDF
30	Akira Nagai, Shutaro Inoue	An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems.	ICMS	2014	DBLP DOI BibTeX RDF
30	Yao Sun 0004	Signature-Based Gröbner Basis Algorithms - Extended MMM Algorithm for computing Gröbner bases.	CoRR	2013	DBLP BibTeX RDF
30	Stephan Ritscher	Degree Bounds and Complexity of Gröbner Bases of Important Classes of Polynomial Ideals (Gradschranken und Komplexität von Gröbner-Basen von wichtigen Klassen von Polynomidealen) (PDF / PS)		2013	RDF
30	Deepak Kapur, Yao Sun 0004, Dingkang Wang	Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously.	ISSAC	2011	DBLP DOI BibTeX RDF
30	Ruth L. Auerbach	The Gröbner fan and Gröbner walk for modules.	J. Symb. Comput.	2005	DBLP DOI BibTeX RDF
30	Edward L. Green	Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases.	J. Symb. Comput.	2000	DBLP DOI BibTeX RDF
30	Pascale Sénéchaud	Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul. Aapplications, parallélisation. (Boolean grobner bases. Computation. Applications. Parallelization).		1990	RDF
27	Mahzad Kalantari, Franck Jung, Jean-Pierre Guédon, Nicolas Paparoditis	The Five Points Pose Problem: A New and Accurate Solution Adapted to Any Geometric Configuration.	PSIVT	2009	DBLP DOI BibTeX RDF	Five points pose problem, polynomial direct resolution, Gröbner bases, relative orientation
27	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Solution of algebraic riccati equations using the sum of roots.	ISSAC	2009	DBLP DOI BibTeX RDF	algebraic riccati equation, gröbner basis, polynomial spectral factorization, sum of roots, control theory
27	Wei Niu 0001, Dongming Wang 0001	Algebraic Approaches to Stability Analysis of Biological Systems.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	discriminant variety, Gröbner basis, real solution classification, self-assembling micelle system, stability, CAD, equilibrium, quantifier elimination, Bifurcation, steady state, biological model, triangular decomposition
27	Tobias Eibach, Enrico Pilz, Gunnar Völkel	Attacking Bivium Using SAT Solvers.	SAT	2008	DBLP DOI BibTeX RDF	Rsat, Bivium, Gröbner Base, Cryptography, Application, Stream Cipher, BDD, SAT Solver, eSTREAM, Trivium
27	Jintai Ding, Dieter Schmidt, Fabian Werner	Algebraic Attack on HFE Revisited.	ISC	2008	DBLP DOI BibTeX RDF	Gröbner basis, multivariate public key cryptosystem, HFE
27	Georg Regensburger	Parametrizing compactly supported orthonormal wavelets by discrete moments.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Orthonormal wavelets, Filter coefficients, Gröbner bases, Moments, Parametrization
27	Kazuhiro Yokoyama	On systems of algebraic equations with parametric exponents II.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Ideals with parametric exponents, Gröbner basis
27	Shilong Ma, Yuefei Sui, Ke Xu 0001	Well limit behaviors of term rewriting systems.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Gröbner bases, well-foundedness, term rewriting systems, limits
27	Xin Jiang, Jintai Ding, Lei Hu	Kipnis-Shamir Attack on HFE Revisited.	Inscrypt	2007	DBLP DOI BibTeX RDF	MinRank, relinearization, Gröbner basis, multivariate public key cryptosystem, XL algorithm, HFE
27	Aurélie Bauer, Antoine Joux	Toward a Rigorous Variation of Coppersmith's Algorithm on Three Variables.	EUROCRYPT	2007	DBLP DOI BibTeX RDF	Coppersmith’s algorithms, Gröbner basis, Lattice reduction
27	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner basis, polynomial spectral factorization, H2 control, sum of roots, quantifier elimination, parametric optimization
27	Jean-Charles Faugère, Ludovic Perret	Cryptanalysis of 2R- Schemes.	CRYPTO	2006	DBLP DOI BibTeX RDF	Functional Decomposition Problem (FDP), Gröbner bases, Cryptanalysis, F5 algorithm
27	Antoine Joux, Sébastien Kunz-Jacques, Frédéric Muller, Pierre-Michel Ricordel	Cryptanalysis of the Tractable Rational Map Cryptosystem.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF	Tractable Rational Map Cryptosystem, XL, Gröbner Bases, Isomorphism of Polynomials, Public Key Cryptography, Polynomial Systems
27	Ian H. Dinwoodie, Laura Felicia Matusevich, Edward Mosteig	Transform methods for the hypergeometric distribution.	Stat. Comput.	2004	DBLP DOI BibTeX RDF	exact conditional test, Gröbner basis, log-linear family, Monte Carlo method, Fourier analysis, contingency table, exponential family, hypergeometric distribution
27	Nicolas T. Courtois	General Principles of Algebraic Attacks and New Design Criteria for Cipher Components.	AES Conference	2004	DBLP DOI BibTeX RDF	polynomial relations, design of cryptographic primitives, generalised linear cryptanalysis, multivariate public key encryption and signature schemes, Quartz, combiners with memory, elimination methods, Gröbner bases, Boolean functions, stream ciphers, block ciphers, AES, finite fields, algebraic attacks, Rijndael, Serpent, HFE, Sflash, multivariate equations
27	Marcelo P. Fiore	Isomorphisms of generic recursive polynomial types.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, type isomorphism, data structure, type theory, recursive types, word problem, semigroups, rigs
27	Kazuhiro Yokoyama	On systems of algebraic equations with parametric exponents.	ISSAC	2004	DBLP DOI BibTeX RDF	Gröbner basis, ideals with parametric exponents
27	Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi	Computer Algebra for Fingerprint Matching.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	zero-dimensional ideals, Gröbner basis, non-linear polynomial systems, Sturm sequences, affine transformations, Fingerprint matching, point pattern matching
27	Nicolas T. Courtois, Jacques Patarin	About the XL Algorithm over GF(2).	CT-RSA	2003	DBLP DOI BibTeX RDF	MQ problem, overdefined and exactly defined systems of multivariate equations, Gröbner bases, XSL attacks on AES, XL algorithm, Multivariate quadratic equations
27	Nicolas T. Courtois, Josef Pieprzyk	Cryptanalysis of Block Ciphers with Overdefined Systems of Equations.	ASIACRYPT	2002	DBLP DOI BibTeX RDF	MQ problem, overdefined systems of multivariate equations, Gröbner bases, sparse multivariate polynomials, Multivariate Cryptanalysis, Block ciphers, AES, Rijndael, Square, Camellia, Serpent, XL algorithm, multivariate quadratic equations
27	Nicolas T. Courtois	Higher Order Correlation Attacks, XL Algorithm and Cryptanalysis of Toyocrypt.	ICISC	2002	DBLP DOI BibTeX RDF	overdefined systems of multivariate equations, MQ problem, Gröbner bases, ciphertext-only attacks, Toyocrypt-HR1, Toyocrypt-HS1, Cryptrec, stream ciphers, nonlinear filtering, pseudo-random generators, Multivariate cryptography, XL algorithm
27	Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita	A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis.	AISC	2002	DBLP DOI BibTeX RDF	diagnosis of Alzheimer's disease, ideal membership problem, Gröbner bases, Rule-based expert systems
27	Jinwang Liu, Zhuojun Liu, Xiaoqi Liu, Mingsheng Wang	The membership problem for ideals of binomial skew polynomial rings.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner basis, binomial skew polynomial ring, two-sided ideal
27	Peizhong Lu	A Criterion for Annihilating Ideals of Linear Recurring Sequences over Galois Rings.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Linear recurring sequences, Annihilating ideals, Nechaev's open problem, Cyclic modules, Gröbner bases
27	H. Michael Möller, Tomas Sauer	H-bases for polynomial interpolation and system solving.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	ideal bases, Gröbner bases, systems of polynomial equations, interpolation, 65D05, multivariate polynomials, 13P10, 65H10
27	Birgit Reinert, Dirk Zeckzer	MRC - Data Structures and Procedures for Computing in Monoid and Group Rings.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Gröbner bases, Monoid rings, Group rings, Prefix reduction, Data structures
27	Christoph Schneider, Joachim Wehler	Petri Net Theory - Problems Solved by Commutative Algebra.	ICATPN	1999	DBLP DOI BibTeX RDF	Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
27	Joachim Althaler, Arne Dür	A Generalization of the Massey-Ding Algorithm.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Linear recurrence relation, Shift register synthesis problem, Annihilator ideal, Minimal Gröbner basis
26	Amir Hashemi	Nullstellensätze for Zero-Dimensional Gröbner Bases.	Comput. Complex.	2009	DBLP DOI BibTeX RDF	Primary 13P10, Secondary 68Q17, Subject classification
26	Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro	Gröbner Representations of Binary Matroids.	AAECC	2009	DBLP DOI BibTeX RDF
26	John Harrison 0001	Automating Elementary Number-Theoretic Proofs Using Gröbner Bases.	CADE	2007	DBLP DOI BibTeX RDF
26	Masayuki Noro	An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields.	ICMS	2006	DBLP DOI BibTeX RDF
26	Marco Bodrato, Alberto Zanoni	Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study.	CASC	2006	DBLP DOI BibTeX RDF
26	Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, Jorge Martín-Morales, José María Ucha-Enríquez	Sudokus and Gröbner Bases: Not Only a Divertimento.	CASC	2006	DBLP DOI BibTeX RDF
26	J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez	Towards a Certified and Efficient Computing of Gröbner Bases.	EUROCAST	2005	DBLP DOI BibTeX RDF
26	Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro	On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups.	CASC	2005	DBLP DOI BibTeX RDF
26	Christoph Schwarzweller	Gröbner Bases - Theory Refinement in the Mizar System.	MKM	2005	DBLP DOI BibTeX RDF
26	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina	Verified Computer Algebra in Acl2. Gröbner Bases Computation.	AISC	2004	DBLP DOI BibTeX RDF
26	Bo-Yin Yang, Jiun-Ming Chen, Nicolas T. Courtois	On Asymptotic Security Estimates in XL and Gröbner Bases-Related Algebraic Cryptanalysis.	ICICS	2004	DBLP DOI BibTeX RDF
26	Ferdinando Mora	De Nugis Groebnerialium 2: Applying Macaulay's Trick in Order to Easily Write a Gröbner Basis.	Appl. Algebra Eng. Commun. Comput.	2003	DBLP DOI BibTeX RDF
26	Irina Tchoupaeva	Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF