|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 283 occurrences of 195 keywords
|
|
|
Results
Found 1096 publication records. Showing 1093 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Ilaria Simonetti |
On the Non-linearity of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gröbner Bases, Coding, and Cryptography ![In: Gröbner Bases, Coding, and Cryptography, pp. 409-413, 2009, Springer, 978-3-540-93805-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Teo Mora, Emmanuela Orsini |
Decoding Cyclic Codes: the Cooper Philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gröbner Bases, Coding, and Cryptography ![In: Gröbner Bases, Coding, and Cryptography, pp. 69-91, 2009, Springer, 978-3-540-93805-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Daniel Augot, Emanuele Betti, Emmanuela Orsini |
An Introduction to Linear and Cyclic Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gröbner Bases, Coding, and Cryptography ![In: Gröbner Bases, Coding, and Cryptography, pp. 47-68, 2009, Springer, 978-3-540-93805-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gröbner Bases, Coding, and Cryptography ![In: Gröbner Bases, Coding, and Cryptography, pp. 379-384, 2009, Springer, 978-3-540-93805-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gröbner Bases, Coding, and Cryptography ![In: Gröbner Bases, Coding, and Cryptography, pp. 395-398, 2009, Springer, 978-3-540-93805-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Ryutaroh Matsumoto |
Radical Computation for Small Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gröbner Bases, Coding, and Cryptography ![In: Gröbner Bases, Coding, and Cryptography, pp. 427-430, 2009, Springer, 978-3-540-93805-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 44(1/2), pp. 20-23, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Wolfgang Gröbner |
On the algebraic properties of integrals of linear differential equations with constant coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 43(1/2), pp. 24-46, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Matthias Gröbner |
Ein Modell zur Beschreibung und Lösung von Zeitplanungsproblemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
41 | Matthias Gröbner, Peter Wilke, Stefan Büttcher |
A Standard Framework for Timetabling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATAT ![In: Practice and Theory of Automated Timetabling IV, 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers, pp. 24-38, 2002, Springer, 3-540-40699-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Peter Wilke, Matthias Gröbner, Norbert Oster |
A Hybrid Genetic Algorithm for School Timetabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 455-464, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Evolutionary Algorithms, Constraints, Planning, Applications |
41 | Matthias Gröbner, Peter Wilke |
Optimizing Employee Schedules by a Hybrid Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings, pp. 463-472, 2001, Springer, 3-540-41920-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
41 | Wolfgang Gröbner |
On elimination theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 32(2), pp. 40-46, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 12(13), pp. 5405-5417, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
38 | Nicolas T. Courtois, Sean O'Neil, Jean-Jacques Quisquater |
Practical Algebraic Attacks on the Hitag2 Stream Cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings, pp. 167-176, 2009, Springer, 978-3-642-04473-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2006, 25th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings, pp. 30-47, 2006, Springer, 3-540-34546-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 15(3-4), pp. 267-278, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Gröbner bases, Syzygies, Polynomial ideals |
38 | Nicholas Eriksson |
Toric ideals of homogeneous phylogenetic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 149-154, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2003, 6th International Workshop on Theory and Practice in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003, Proceedings, pp. 337-350, 2003, Springer, 3-540-00324-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 191-198, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings, pp. 345-364, 1985, Springer, 3-540-15976-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings, pp. 310-321, 2009, Springer, 978-3-642-04102-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Andrea Sattler-Klein |
Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings, pp. 470-481, 2007, Springer, 978-3-540-74239-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Tateaki Sasaki, Fujio Kako |
Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCM ![In: Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers, pp. 278-292, 2007, Springer, 978-3-540-87826-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings, pp. 145-159, 2007, Springer, 978-3-540-75186-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Vladimir P. Gerdt, D. A. Yanovich |
Parallel computation of Janet and Gröbner bases over rational numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 31(2), pp. 73-80, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Vladimir P. Gerdt, Yuri A. Blinkov |
Janet-Like Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 184-195, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Jean-Charles Faugère, Antoine Joux |
Algebraic Cryptanalysis of Hidden Field Equation (HFE) Cryptosystems Using Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2003, 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003, Proceedings, pp. 44-60, 2003, Springer, 3-540-40674-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Yosuke Sato, Akira Suzuki |
Discrete comprehensive Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 292-296, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Alain Poli, M. C. Gennero, D. Xin |
Discrete Fourier Transform and Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 13th International Symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999, Proceedings, pp. 444-453, 1999, Springer, 3-540-66723-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Hans-Gert Gräbe |
Minimal Primary Decomposition and Factorized Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(4), pp. 265-278, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Primary decomposition, Constructive methods |
38 | Ulla Koppenhagen, Ernst W. Mayr |
Optimal Gröbner Base Algorithms for Binomial Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 244-255, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Hans-Gert Gräbe |
Triangular Systems and Factorized Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995, Proceedings, pp. 248-261, 1995, Springer, 3-540-60114-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Zuzana Kukelova, Martin Bujnak, Tomás Pajdla |
Automatic Generator of Minimal Problem Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (3) ![In: Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III, pp. 302-315, 2008, Springer, 978-3-540-88689-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Louis Granboulan, Antoine Joux, Jacques Stern |
Inverting HFE Is Quasipolynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2006, 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings, pp. 345-356, 2006, Springer, 3-540-37432-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Bruno Salvy |
D-finiteness: algorithms and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 2-3, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2004, 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers, pp. 67-86, 2004, Springer, 3-540-26226-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Tomoharu Shibuya, Jiro Mizutani, Kohichi Sakaniwa |
On Generalized Hamming Weights of Codes Constructed on Affine Algebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 12th International Symposium, AAECC-12, Toulouse, France, June 23-27, 1997, Proceedings, pp. 311-320, 1997, Springer, 3-540-63163-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Rekha R. Thomas |
Integer Programming: Algebraic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1624-1634, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010, pp. 561-567, 2010, IEEE Computer Society, 978-0-7695-3967-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 383-384, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 100-107, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 318-329, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(4), pp. 257-263, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 35(1), pp. 55-70, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
30 | Kosaku Nagasaka, Ryo Oshimatani |
Conditional GrÖbner Basis: GrÖbner Basis Detection with Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 57(3), pp. 160-164, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 32(1), pp. 234-255, 2019. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
30 | Ludovic Perret |
Bases de Gröbner en Cryptographie Post-Quantique. (Gröbner bases techniques in Quantum-Safe Cryptography). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 133-140, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 531-536, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Yao Sun 0004 |
Signature-Based Gröbner Basis Algorithms - Extended MMM Algorithm for computing Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.2371, 2013. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
30 | Deepak Kapur, Yao Sun 0004, Dingkang Wang |
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, pp. 193-200, 2011, ACM, 978-1-4503-0675-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Ruth L. Auerbach |
The Gröbner fan and Gröbner walk for modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 39(2), pp. 127-153, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Edward L. Green |
Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 29(4-5), pp. 601-623, 2000. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSIVT ![In: Advances in Image and Video Technology, Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009. Proceedings, pp. 215-226, 2009, Springer, 978-3-540-92956-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 215-222, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(3), pp. 507-539, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, pp. 63-76, 2008, Springer, 978-3-540-79718-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings, pp. 215-227, 2008, Springer, 978-3-540-85884-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Gröbner basis, multivariate public key cryptosystem, HFE |
27 | Georg Regensburger |
Parametrizing compactly supported orthonormal wavelets by discrete moments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(6), pp. 583-601, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(6), pp. 603-630, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(3), pp. 283-296, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology, Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers, pp. 399-411, 2007, Springer, 978-3-540-79498-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2007, 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007, Proceedings, pp. 361-378, 2007, Springer, 978-3-540-72539-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 211-218, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2006, 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings, pp. 357-372, 2006, Springer, 3-540-37432-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2005, 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005, Proceedings, pp. 258-274, 2005, Springer, 3-540-24454-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 14(4), pp. 287-297, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AES Conference ![In: Advanced Encryption Standard - AES, 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers, pp. 67-83, 2004, Springer, 3-540-26557-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 77-88, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 312-319, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Gröbner basis, ideals with parametric exponents |
27 | Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi |
Computer Algebra for Fingerprint Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, pp. 811-820, 2003, Springer, 3-540-40194-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2003, The Cryptographers' Track at the RSA Conference 2003, San Francisco, CA, USA, April 13-17, 2003, Proceedings, pp. 141-157, 2003, Springer, 3-540-00847-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2002, 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings, pp. 267-287, 2002, Springer, 3-540-00171-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2002, 5th International Conference Seoul, Korea, November 28-29, 2002, Revised Papers, pp. 182-199, 2002, Springer, 3-540-00716-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 38-50, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 192-195, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(2), pp. 141-156, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 12(4), pp. 335-362, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(1), pp. 41-78, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 248-267, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(1), pp. 1-14, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 18(1), pp. 155-168, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 18th International Symposium, AAECC-18 2009, Tarragona, Catalonia, Spain, June 8-12, 2009. Proceedings, pp. 227-230, 2009, Springer, 978-3-642-02180-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | John Harrison 0001 |
Automating Elementary Number-Theoretic Proofs Using Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 51-66, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Masayuki Noro |
An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 99-109, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Marco Bodrato, Alberto Zanoni |
Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 64-76, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 155-165, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers, pp. 111-120, 2005, Springer, 3-540-29002-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 52-64, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Christoph Schwarzweller |
Gröbner Bases - Theory Refinement in the Mizar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 299-314, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 171-184, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings, pp. 401-413, 2004, Springer, 3-540-23563-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 13(6), pp. 437-446, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Irina Tchoupaeva |
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 178-193, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1093 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|