Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Result of the search:

3421 publications found.

# Year Title Author(s) File Bibtex URL
0001 2008 ’s and Boone’s groups via Gröbner-Shirshov bases.Word problem for Novikov Wenshu Chen, Yu-Fu Chen, Runai Luo
Go To Publication
0002 1991 ``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm Alessandro Giovini, Ferdinando Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
Go To Publication
0003 1994 Zeros of Equivariant Vector Fields: Algorithms for an Invariant Approach Patrick A. Worfolk
Go To Publication
0004 2001 Zero-Testing, Witness Conjectures and Differential Diophantine Approximation Joris van der Hoeven
Go To Publication
0005 2009 Zero-nonzero patterns for nilpotent matrices over finite fields. Kostov N.A., Adam Van Tuyl
Go To Publication
0006 2012 Zeilberger Christoph Koutschan, Ishikawa Masao
Go To Publication
0007 2011 Zariski surfaces, class groups and linearized systems Jeffrey Lang
Go To Publication
0008 2002 Yet another practical implementation of polynomial factorization over finite fields Masayuki Noro, Kazuhiro Yokoyama
Go To Publication
0009 1997 Yet Another Algorithm for Ideal Decomposition Massimo Caboara, Pasqualina Conti, Carlo Traverso
Go To Publication
0010 1994 XIDEAL: Grobner Bases for Exterior Algebra David Hartley, Philip A. Tuckey
Go To Publication
0011 2006 Wronskian Determinats and Groebner Representation of a Linear Differential Equation Masatoshi Noumi
Go To Publication
0012 1996 Workshop on Symbolic-Numeric Algebra for Polynomials Robert M. Corless, Ioannis Z. Emiris, Andre Galligo, Bernard Mourrain, Stephen M. Watt
Go To Publication
0013 2008 Word problem for Novikov’s and Boone’s groups via Gröbner-Shirshov bases Wenshu Chen, Yu-Fu Chen, Runai Luo
Go To Publication
0014 2000 Width Optimality Results for Resolution and Degree Lower Bounds for Polynomial Calculus Maria Luisa Bonet, Nicola Galesi
Go To Publication
0015 1994 Why you cannot even hope to use Gröbner Bases in Public Key Cryptography - An open letter to a scientist who failed and a challenge to those who have not yet failed Boo Barkee, Deh Cac Can, Julia Ecks, Theo Moriarty, R. F. Ree
Go To Publication
0016 2004 Where the truth lies (in automatic theorem proving in elementary geometry). Francisco Botana, Tomás Recio
Go To Publication
0017 2012 When Newton Meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial Michael Sagraloff
Go To Publication
0018 2011 When does equal ? François Lemaire, Marc Moreno Maza, Wojciech Szpankowski, Yuzhen Xie
Go To Publication
0019 2008 When Does (T) Equal Sat(T)? François Lemaire, Maria Angeles Moreno Frias, Wojciech Szpankowski, Yuzhen Xie
Go To Publication
0020 2014 What is new in CoCoA? John Abbott, Anna M. Bigatti
Go To Publication
0021 2000 Weyl Closure of a Linear Differential Operator Harrison Tsai
Go To Publication
0022 2007 Weil sum for birthday attack in multivariate quadratic cryptosystem. Donald K. Friesen, Tomohiro Harayama
Go To Publication
0023 2015 Weight ideals associated to regular and log-linear arrays Jeremiah W. Johnson
Go To Publication
0024 2002 Wavelet Design Using Grobner Basis Methods A.F. Abdelnour
Go To Publication
0025 2013 Warm-up drills and tips for mathematical software. Tatsuyoshi Hamada
Go To Publication
0026 1996 Walking Faster Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
Go To Publication
0027 2011 W-Gr\"obner basis and monomial ideals under polynomial composition. Dilip Kohli, Jinwang Liu, Weijun Liu
Go To Publication
0028 2006 Viterbi sequences and polytopes Eric H. Kuo
Go To Publication
0029 2005 Visualization of Distributed Data Structures for HPF-like Languages Siegfried Grabner, Rainer Koppler, Jens Volkert
Go To Publication
0030 2009 Viewing multipoint codes as subcodes of one-point codes. Gretchen L. Matthews
Go To Publication
0031 1992 Verifying Isomorphisms of Finite Dimensional Lie Algebras By Groebner Basis Technique Vladimir P. Gerdt, Wolfgang Lassner
Go To Publication
0032 2004 Verified Computer Algebra in ACL2 (Gröbner Bases Computation) Jose Antonio Alonso
Go To Publication
0033 2004 Verified computer algebra in ACL2 (Gr\"obner bases computation). J.A. Alonso-Jimenez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina
Go To Publication
0034 2014 Verification of Gr\"obner basis candidates. Masayuki Noro, Kazuhiro Yokoyama
Go To Publication
0035 2014 Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. Ali El-Zein, Luis A. Lastras-Monta~no, Alexey Lvov, Viresh Paruthi, Robert Shadowen, Barry M. Trager
Go To Publication
0036 2011 Verification and Synthesis Using Real Quantifier Elimination Stephan Thomasse, Ashish Tiwari
Go To Publication
0037 2006 Vectorial Boolean functions and induced algebraic equations. Jovan Dj. Golic
Go To Publication
0038 1997 Variation of Cost Functions in Integer Programming Bernd Sturmfels, Rekha R. Thomas
Go To Publication
0039 2009 Variant Real Quantifier Elimination: Algorithm and Application Hoon Hong, Stefan Steidel
Go To Publication
0040 2012 Variant quantifier elimination Hoon Hong, Mohab Safey
Go To Publication
0041 2014 Vanishing ideals over complete multipartite graphs Jorge Neves, Maria Vaz Pinto
Go To Publication
0042 2004 Vanishing cycles, the generalized Hodge conjecture and Gr\"obner bases. Ichiro Shimada
Go To Publication
0043 2014 Vanishing configurations in network dynamics with asynchronous updates. Ian H. Dinwoodie
Go To Publication
0044 2008 Value monoids of zero-dimensional valuations of rank 1 Edward Mosteig
Go To Publication
0045 2002 Valuations and Filtrations Edward Mosteig, Moss Sweedler
Go To Publication
0046 2012 Valuation extensions of algebras defined by monic Gr\"obner bases. Huishi Li
Go To Publication
0047 2008 Valigator: A verification tool with bound and invariant generation. Thomas A. Henzinger, Thibaud Hottelier, Levente Kovacs
Go To Publication
0048 1999 Validation And Verification Of Knowledge Based Systems: Report On Eurovav99 Trevor Bench-Capon, Robin Boswell, Frans Coenen, Juliette Dibie-Barthelemy, Barry Eaglestone, Rik Gerrits, Eric Gregoire, Luis M. Laita, Antoni Ligeza, Mieczyslaw Owoc, Florence Sellini, Silvie Spreeuwenberg, Jan Vanthienen, Anca Vermesan, Nirmalie Viratunga
Go To Publication
0049 1998 Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes Haim Schweitzer, Janell Straach
Go To Publication
0050 1996 Using the Groebner basis algorithm to find proofs of unsatisfiability Matthew Clegg, Jeffery Edmonds, Russell Impagliazzo
Go To Publication
0051 1996 Using the Groebner basis algorithm to find proofs of unsatisfiability Matthew Clegg, Jeffery Edmonds, Russell Impagliazzo
Go To Publication
0052 2014 Using symmetries in the index calculus for elliptic curves discrete logarithm. Pierrick Gaudry, Renault Guéna"el, Faug`ere Jean-Charles, Huot Louise
Go To Publication
0053 2009 Using symmetries in the eigenvalue method for polynomial systems Robert M. Corless, Karin Gatermann, Ilias S. Kotsireas
Go To Publication
0054 2001 Using Symbolic Algebra in Algorithmic Level DSP Synthesis Giovanni De Micheli, Armita Peymandoust
Go To Publication
0055 1989 Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups Wittkopf Allan D., Avenhaus J.
Go To Publication
0056 2005 Using resultants for SAGBI basis verification in the univariate polynomial ring Anna Torstensson, Victor Ufnarovski, Hans Öfverbeck
Go To Publication
0057 2011 Using Resultants for Inductive Gr\"oBner Bases Computation Rahkooy Hamid, Zafeirakopoulos Zafeirakis
Go To Publication
0058 1999 Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems F. Dell Kronewitter
Go To Publication
0059 1999 Using Gröbner Basis Theory to Compute Constraint Networks in Globally Solved Form Marc R. C. van Dongen
Go To Publication
0060 1986 Using Gröbner bases to reason about geometry problems Deepak Kapur
Go To Publication
0061 1988 Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence David Shannon, Moss Sweedler
Go To Publication
0062 1999 Using Gröbner bases to compute higher order finite elements for mass lumping Jean-Charles Faugère, Michel Kern, Fabrice Rouillier
Go To Publication
0063 2012 Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions Clemens G. Raab
Go To Publication
0064 1992 Using Gröbner Bases for Detecting Polynomial Identities. A Case Study on Fermat's Ideal Bruno Buchberger, Juan Elias
Go To Publication
0065 2009 Using Gr\"obner bases to investigate flag algebras and association scheme fusion. Douglas A. Leonard
Go To Publication
0066 2012 Using Gr\"obner bases for factoring polynomials over algebraic extension fields. Amir Hashemi, Benyamin M.-Alizadeh
Go To Publication
0067 1993 Using Groebner Bases to Determine the Algebraic and Transcendental Nature of Field Extensions: Return of the Killer Tag Variables Moss Sweedler
Go To Publication
0068 2002 Using Groebner Bases in D-Modules Theory Francisco Jesus Castro-Jimenez, Jose Maria Ucha-Enriquez
Go To Publication
0069 2000 Using Galois Ideals for Computing Relative Resolvents Philippe Aubry, Annick Valibouze
Go To Publication
0070 2011 Using Discriminant Curves to Recover a Surface of P4 from Two Generic Linear Projections Kaminski Jeremy-Yrmeyahu, Sepulcre Yann
Go To Publication
0071 2004 Using computer algebra tools to classify serial manipulators. Solen Corvez, Fabrice Rouillier
Go To Publication
0072 2003 Using Computer Algebra to Find Nash Equilibria Dimitrova Elena S.
Go To Publication
0073 2005 Using Algebraic Geometry David A. Cox, John B. Little, Donal O'Shea
Go To Publication
0074 2013 Using a bihomogeneous resultant to find the singularities of rational space curves Ronald N. Goldman, Xiaohong Jia, Xiaoran Shi
Go To Publication
0075 1994 Use of Gröbner bases to decode binary cyclic codes up to the trueminimum distance Xuemin Chen, Tor Helleseth, Irving S. Reed, Trieu-Kien Truong
Go To Publication
0076 2012 Usage of modular techniques for efficient computation of ideal operations. (Invited talk). Kazuhiro Yokoyama
Go To Publication
0077 2012 Usage of modular techniques for efficient computation of ideal operations Kazuhiro Yokoyama
Go To Publication
0078 2013 Upgraded methods for the effective computation of marked schemes on a strongly stable ideal Cristina Bertone, Francesca Cioffi, Paolo Lella, margherita Roggero
Go To Publication
0079 2009 Unmixed bipartite graphs and sublattices of the Boolean lattices. Jürgen Herzog, Takayuki Hibi, Hidefumi Ohsugi
Go To Publication
0080 2000 Universal maximally Flat Low-pass FIR Systems Hiroshi Iwakura, Akinori Nishihara, Saed Samadi
Go To Publication
0081 2005 Universal Gröbner Bases in Orlik-Solomon Algebras Raúl Cordovil, David Forge
Go To Publication
0082 2013 Universal Gr\"obner basis associated with the maximum flow problem. Daisuke Ikegami, Sennosuke Watanabe, Yoshihide Watanabe
Go To Publication
0083 2012 Universal Gr\"obner bases of colored partition identities. T. Bogart, Raymond Hemmecke, Sonja Petrovic
Go To Publication
0084 2008 Universal characteristic decomposition of radical differential ideals Oleg D. Golubitsky
Go To Publication
0085 2014 Universal associative envelopes of nonassociative triple systems. Hader A. Elgendy
Go To Publication
0086 2012 Universal associative envelopes of $(n+1)$-dimensional $n$-Lie algebras. Murray R. Bremner, Hader A. Elgendy
Go To Publication
0087 2010 Universal and comprehensive Gr\"obner bases of the classical determinantal ideal. M. Kalinin
Go To Publication
0088 2012 Univariate Real Root Isolation in Multiple Extension Fields Strzebonski Adam, Tsigaridas Elias P.
Go To Publication
0089 2014 Univariate polynomial solutions of algebraic difference equations M. van Eekelen, O. Shkaravska
Go To Publication
0090 2001 Unirational Fields of Transcendence Degree One and Functional Decomposition Jaime Gutierrez, R. Rubio, David Sevilla
Go To Publication
0091 2011 Unique factorization domains in the Java computer algebra system. Heinz Kredel
Go To Publication
0092 2014 Unique decoding of plane AG codes revisited. Kyu-Hwan Lee
Go To Publication
0093 2006 Uniform GröBner Bases for Ideals Generated by Polynomials with Parametric Exponents Wojciech Szpankowski, Dongming Wang
Go To Publication
0094 1993 Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases Franz Baader
Go To Publication
0095 1989 Unification in commutative theories Franz Baader
Go To Publication
0096 1988 Unification in commutative idempotent monoids Franz Baader, Wolfram Büttner
Go To Publication
0097 1999 Unbalanced Oil and Vinegar Signature Schemes Louis Goubin, Aviad Kipnis, Jacques Patarin
Go To Publication
0098 2011 Um primeiro contato com bases de Gr\"obner. 28$^text o$ Col Marcelo Escudeiro Hernandes
Go To Publication
0099 2009 Type-B generalized triangulations and determinantal ideals Daniel Soll, Volkmar Welker
Go To Publication
0100 1996 Two-sided Gröbner bases in iterated Ore extensions Michael Pesch
Go To Publication
0101 2010 Two-element Gr\"obner bases over Noetherian commutative rings. Stephanie Britt, Hamid Kulosman
Go To Publication
0102 2004 Two-dimensional wreath product group-based image processing Richard Foote, Gagan Mirchandani, Daniel Rockmore
Go To Publication
0103 2009 Two way subtable sum problems and quadratic Gr\"obner bases. Takayuki Hibi, Hidefumi Ohsugi
Go To Publication
0104 2007 Two decades (1985-2005) of Gr\"obner bases in multidimensional systems. Nirmal K. Bose
Go To Publication
0105 2012 Twisting Q-holonomic Sequences by Complex Roots of Unity Christoph Koutschan, Garoufalidis Stavros
Go To Publication
0106 2012 Twin-float arithmetic John Abbott
Go To Publication
0107 2005 Turtle Geometry in Computer Graphics and Computer Aided Design Ronald N. Goldman, Tao Ju, Scott Schäfer
Go To Publication
0108 2014 Truth table invariant cylindrical algebraic decomposition by regular chains Changbo Chen, Wilson David, Davenport James H., Moreno Maza Marc, England Matthew, Bradford Russell
Go To Publication
0109 1997 Truncated Gröbner Bases for Integer Programming Rekha R. Thomas, Robert Weismantel
Go To Publication
0110 2014 Tropical Noetherity and Groebner bases Ya KAZARNOVSKI ̆, A. G. KHOVANSKI ̆
Go To Publication
0111 2011 Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients Danko Adrovic, Jan Verschelde
Go To Publication
0112 2010 Triangulations. Structures for algorithms and applications. Jesús A., Santos Francisco, Jörg Rambau
Go To Publication
0113 2004 Triangulations of Polytopes and Algebraic Geometry Santos Francisco
Go To Publication
0114 2011 Triangularizing kinematic constraint equations using Gröbner bases for real-time dynamic simulation John McPhee, Thomas Uchida
Go To Publication
0115 2011 Triangularizing kinematic constraint equations using Gr\"obner bases for real-time dynamic simulation. John McPhee, Thomas Uchida
Go To Publication
0116 1995 Triangular Systems and Factorized Gröbner Bases Hans-Gert Gräbe
Go To Publication
0117 2007 Triangular matrix and Koszul algebras. Marinari M. G., R. Marti nez-Villa
Go To Publication
0118 2006 Triangular Decompositions of Polynomial Systems: From Theory to Practice Maria Angeles Moreno Frias
Go To Publication
0119 2013 Triangular decomposition of semi-algebraic systems Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
Go To Publication
0120 2012 Triangular -basis decompositions and derandomization of linear algebra algorithms over Somit Gupta, Soumojit Sarkar, Arne Storjohann, Johnny Valeriote
Go To Publication
0121 2006 Tree polynomials and non-associative Gröbner bases Lothar Gerritzen
Go To Publication
0122 2005 Tree polynomials and non-associative Groebner bases Lothar Gerritzen
Go To Publication
0123 2010 Traversing symmetric polyhedral fans. Anders N. Jensen
Go To Publication
0124 2014 Translated chemical reaction networks. Matthew D. Johnston
Go To Publication
0125 1993 Transitivity for weak and strong Gröbner bases William W. Adams, Ann K. Boyle, Philippe Loustaunau
Go To Publication
0126 2006 Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, Espa~na, April 24--26, 2006. Proceedings.
Go To Publication
0127 2012 Transforming problems from analysis to algebra: A case study in linear boundary problems Bruno Buchberger, Markus Rosenkranz
Go To Publication
0128 2012 Transforming linear functional systems into fully integrable systems Zhuojun Liu, Min Wu
Go To Publication
0129 2005 Transformations of some Gauss hypergeometric functions Raimundas Vidūnas
Go To Publication
0130 2004 Transform methods for the hypergeometric distribution Ian H. Dinwoodie, Laura Felicia Matusevich, Ed Mosteig
Go To Publication
0131 2011 Trace operators for modulation, α-modulation and Besov spaces Hans G. Feichtinger, Chunyan Huang, Baoxiang Wang
Go To Publication
0132 2004 Towards the Automated Synthesis of a Gröbner Bases Algorithm Bruno Buchberger
Go To Publication
0133 2004 Towards the automated synthesis of a Gr\"obner bases algorithm. Bruno Buchberger
Go To Publication
0134 2007 Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings.
Go To Publication
0135 2013 Towards industrial application of approximate computer algebra Inaba Daiju, Kako Fujio, Tateaki Sasaki
Go To Publication
0136 2001 Towards an Effective Version of a Theorem of Stafford Andre Hillebrand, Wiland Schmale
Go To Publication
0137 2006 Towards an algorithmisation of the Dirac constraint formalism. Khvedelidze Arsen, Vladimir P. Gerdt, Palii Yuri
Go To Publication
0138 2005 Towards a unified model of search in theorem-proving: subgoal-reduction strategies Maria Paola Bonacina
Go To Publication
0139 2007 Towards a New Ode Solver Based on Cartan Raouf Dridi, Michel Petitot
Go To Publication
0140 2006 Towards a clausal analysis of cut-elimination Matthias Baaz, Alexander Leitsch
Go To Publication
0141 2007 Toward a rigorous variation of Coppersmith Aurelie Bauer, Antoine Joux
Go To Publication
0142 2008 Total break of the $ell $-IC signature scheme. Pierre-Alain Fouque, Gilles Macario-Rat, Jacques Morgenstern, Ludovic Perret
Go To Publication
0143 2013 Torical modification of Newton non-degenerate ideals. Fuensanta Aroca, Mirna Gomez-Morales, Khurram Shabbir
Go To Publication
0144 2011 Toric varieties. David A. Cox, John B. Little, Henry K. Schenck
Go To Publication
0145 2010 Toric rings and ideals of nested configurations Takayuki Hibi, Hidefumi Ohsugi
Go To Publication
0146 2007 Toric ideals of phylogenetic invariants for the general group-based model on claw trees $K_1,n $. Julia Chifman, Sonja Petrovic
Go To Publication
0147 2011 Toric ideals of lattice path matroids and polymatroids Jay Schweig
Go To Publication
0148 2004 Toric Ideals of Homogeneous Phylogenetic Models Nicholas Eriksson
Go To Publication
0149 2011 Toric ideals for high Veronese subrings of toric algebras. Takafumi Shibuta
Go To Publication
0150 2015 Toric ideals associated with gap-free graphs Alessio DAlì
Go To Publication
0151 2007 Toric ideals arising form contingency tables. Takayuki Hibi, Hidefumi Ohsugi
Go To Publication
0152 2005 Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems Markus Eiswirth, Karin Gatermann, Anke Sensse
Go To Publication
0153 2001 Toric Ideals Lorenzo Robbiano
Go To Publication
0154 2008 Toric geometry of cuts and splits. Bernd Sturmfels, Seth Sullivant
Go To Publication
0155 2011 Toric forms of elliptic curves and their arithmetic Wouter Castryck, Frederik Vercauteren
Go To Publication
0156 2007 Toric fiber products Seth Sullivant
Go To Publication
0157 1997 Toric Degenerations of Polynomial Ideals and Geometric Localization of Fans Stephane Collart, Daniel Mall
Go To Publication
0158 2014 Toric Border Basis Bernard Mourrain, Philippe Trebuchet
Go To Publication
0159 2004 Topology on the spaces of orderings of groups. Adam S. Sikora
Go To Publication
0160 2006 Topics in cryptology -- CT-RSA 2006. The cryptographers
Go To Publication
0161 2007 Topics in commutative ring theory. John J. Watkins
Go To Publication
0162 2007 Topics in Commutative Ring Theory John J. Watkins
Go To Publication
0163 2007 Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Procee
Go To Publication
0164 2010 Title: The F5 Algorithm in Buchberger's Style Yao Sun, Dingkang Wang
Go To Publication
0165 2010 Title: Fast Gröbner Basis Computation for Boolean Polynomials Elizabeth A. Arnold, Franziska Hinkelmann
Go To Publication
0166 2010 Title: A New Proof for the Correctness of F5 (F5-Like) Algorithms Yao Sun, Dingkang Wang
Go To Publication
0167 2000 Three remarks on comprehensive Gröbner and SAGBI bases Manfred Göbel, Maier Patrick
Go To Publication
0168 1992 Three New Algorithms for Multivariate Polynomial GCD Tateaki Sasaki, Masayuki Suzuki
Go To Publication
0169 2006 Three friends and computer algebra. Lorenzo Robbiano
Go To Publication
0170 2010 Thomas decomposition of algebraic and differential systems Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz
Go To Publication
0171 2006 Thom polynomial computing strategies. A survey. Laszlo M. Feher, Richard Rimanyi
Go To Publication
0172 2009 Thirty years of Polynomial System Solving, and now? Daniel Lazard
Go To Publication
0173 2010 Theory of Reals for Verification and Synthesis of Hybrid Dynamical Systems Ashish Tiwari
Go To Publication
0174 2008 Theory of Gr\"obner-basis and Latin square. Ruyun Chen, Xuemin Chen, Shuhuang Xiang
Go To Publication
0175 2000 Theory Exploration with THEOREMA Bruno Buchberger
Go To Publication
0176 2006 Theorema: Towards computer-aided mathematical theory exploration Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Levente Kovacs, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Go To Publication
0177 2000 Theorem Proving For and With Gröbner Bases Theory Bruno Buchberger
Go To Publication
0178 2008 The vanishing ideal of a finite set of closed points in affine space Mathias Lederer
Go To Publication
0179 2013 The universal associative envelope of the anti-Jordan triple system of matrices Hader A. Elgendy
Go To Publication
0180 2006 The unification type of the Pythagorean equation in varieties of nilpotent rings G. Belitskii, R. Lipyanski
Go To Publication
0181 2007 The ubiquity of order domains for the construction of error control codes. John B. Little
Go To Publication
0182 2011 The toric geometry of triangulated polygons in Euclidean space. Benjamin J. Howard, Matthew D. Johnston, Christopher Manon
Go To Publication
0183 1998 The theory of involutive divisions and an application to Hilbert function computations Joachim Apel
Go To Publication
0184 1987 The theory of idempotent semigroups is of unification type zero Franz Baader
Go To Publication
0185 2001 The THEOREMA Project: A Progress Report Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger
Go To Publication
0186 2013 The Termination of the F5 Algorithm Revisited Wang Baocang, Pan Senshan, Hu Yupu
Go To Publication
0187 2008 The term orderings which are homogeneously compatible with composition. Xiaoling Fu, Dilip Kohli, Jinwang Liu
Go To Publication
0188 2003 The term orderings which are compatible with composition II Jinwang Liu, Zhuojun Liu, Mingsheng Wang
Go To Publication
0189 2012 The T-graph of a multigraded Hilbert scheme. Milena Hering, Diane Maclagan
Go To Publication
0190 2006 The symmetric group given by a Gröbner basis Mijail Borges-Quintana, Miguel A. Borges-Trenard, José A. Castellanos-Garzón, Edgar Martinez-Moro
Go To Publication
0191 2011 The symmetric algebra for certain monomial curves. Debasish Mukhopadhyay
Go To Publication
0192 2000 The Symbolic Integration of Exact PDEs Thomas Wolf
Go To Publication
0193 1995 The Symbolic Computation of Differential Invariants of Polynomial Vector Field Systems Using Trees Doffou M. J., Green Edward L.
Go To Publication
0194 1997 The Structure of Sparse Resultant Matrices
Go To Publication
0195 1990 The structure of polynomial ideals and Grobner bases Thomas W. Dubé
Go To Publication
0196 2006 The space of compatible full conditionals is a unimodular toric variety Aleksandra B. Slavkovic, Seth Sullivant
Go To Publication
0197 2001 The Solution Module (of N-Dimensional Sequences) of an Ideal Containing (X_1^(M_1) - 1, ... , X_n^(M_n) - 1) Graham H. Norton
Go To Publication
0198 2006 The slopes determined by $n$ points in the plane. Jorge Martin Morales
Go To Publication
0199 2009 The Slice Algorithm for irreducible decomposition of monomial ideals Bjarke Hammersholt Roune
Go To Publication
0200 1995 The Singular Value Decomposition for Polynomial Systems Corless Robert M., Gianni Patrizia M., Trager Barry M., Watt Stephen M.
Go To Publication
0201 2014 The singular locus of Lauricella Ryohei Hattori, Nobuki Takayama
Go To Publication
0202 1994 The shape of the Shape Lemma
Go To Publication
0203 2010 The second weight of generalized Reed-Muller codes in most cases. Robert Rolland
Go To Publication
0204 2014 The ring of evenly weighted points on the line. Milena Hering, Benjamin J. Howard
Go To Publication
0205 2012 The resonant center problem for a 2:-3 resonant cubic Lotka-Volterra system Christopher Colin, Raab Clemens G., Jaume Giné, Shcheglova Natalie L., Prevsern Mateja
Go To Publication
0206 2013 The residual Eisenstein cohomology of $mathrmSp_4$ over a totally real number field. Neven Grbac, Harald Grobner
Go To Publication
0207 2006 The regularity of Tor and graded Betti numbers. David Eisenbud, Craig Huneke, Bernd Ulrich
Go To Publication
0208 1998 The Question of Finitely Many Steps in Polynomial Ideal Theory Grete Hermann
Go To Publication
0209 2009 The problem of general center-focus and bifurcation of limit cycles for a planar system of nine degrees Claudio Dupre, Yu Liu
Go To Publication
0210 2004 The Poincaré series of the module of derivations of affine monomial curves Ralph Fröberg, V. Micale
Go To Publication
0211 2011 The parametric solution of underdetermined linear ODEs. Wolfgang Windsteiger
Go To Publication
0212 2000 The Non-Commutative Gröbner Freaks Edward L. Green, Ferdinando Mora, Victor Ufnarovski
Go To Publication
0213 2012 The Neville-like form of the Fitzpatrick algorithm for rational interpolation. Landy Rabehasaina, Peng Xia, Shugong Zhang
Go To Publication
0214 2011 The modpn library: Bringing fast polynomial arithmetic into Maple Xiaoliang Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost
Go To Publication
0215 1997 The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming Qian Guoliang, Darlington John, Thomas Uchida, Guo Yi-ke
Go To Publication
0216 1990 The Method of Differentiating under the Integral Sign Gert Almkvist, Doron Zeilberger
Go To Publication
0217 1991 The membership Problem for Unmixed Polynomial Ideals is Solvable in Subexponential Time Alicia Dickenstein, Noa Fitchas, Marc Giusti, Carmen Sessa
Go To Publication
0218 2001 The Membership Problem for Ideals of Binomial Skew Polynomial Rings Jinwang Liu, Xiaoqi Liu, Zhuojun Liu, Mingsheng Wang
Go To Publication
0219 2012 The Membership Problem for finitely generated quadratic modules in the univariate case Doris Augustin
Go To Publication
0220 2003 The MAPLE package ``Janet: II. Linear partial differential equations Barkatou M. A., Castro-Jiménez, F., Gerdt Vladimir P., Daniel Robertz, Plesken Wilhelm
Go To Publication
0221 2003 The MAPLE package ``Janet'': I. Polynomial systems Barkatou M. A., Castro-Jiménez, F., Gerdt Vladimir P., Daniel Robertz, Plesken Wilhelm
Go To Publication
0222 2012 The M4RIE Library for Dense Linear Algebra over Small Fields with Even Characteristic Albrecht Martin R.
Go To Publication
0223 2014 The Loewy length of a tensor product of modules of a dihedral two-group Erik Darpö, Christopher C. Gill
Go To Publication
0224 1999 The Local Limit Theorem for Random Walks on Free Groups Steve Lalley
Go To Publication
0225 2006 The lex game and some applications Bálint Felszeghy, Balázs Ráth, Lajos Rónyai
Go To Publication
0226 2011 The kernel method and systems of functional equations with several conditions Qing-Hu Hou, Toufik Mansour
Go To Publication
0227 2009 The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14--17, 2009.
Go To Publication
0228 2013 The join-meet ideal of a finite lattice. Viviana Ene, Takayuki Hibi
Go To Publication
0229 1992 The Inverse of an Automorphism in Polynomial Time Matthew Dickerson
Go To Publication
0230 2002 The Inverse Gröbner Basis Problem in Codimension Two Amelia Taylor
Go To Publication
0231 2011 The invariants of the second symmetric power representation of Ashley Hobson, R. James Shank
Go To Publication
0232 2010 The invariants of the binary nonic Brouwer Andries E., Mihaela Popoviciu
Go To Publication
0233 2010 The invariants of the binary decimic Brouwer Andries E., Mihaela Popoviciu
Go To Publication
0234 2003 The integration of systems of linear PDEs using conservation laws of syzygies Thomas Wolf
Go To Publication
0235 2007 The integer points in a plane curve. Martin N. Huxley
Go To Publication
0236 2013 The incidence algebra of posets and acyclic categories. David Quinn
Go To Publication
0237 2009 The implicit equation of a canal surface Marc Dohm, Severinas Zube
Go To Publication
0238 2009 The implementation and complexity analysis of the branch Gr\"obner bases algorithm over Boolean ring. Yao Sun, Dongming Wang
Go To Publication
0239 1996 The Ideal Membership Problem in Non-Commutative Polynomial Rings F. Leon Pritchard
Go To Publication
0240 2014 The holonomic rank of the Fisher–Bingham system of differential equations Tamio Koyama, Hiromasa Nakayama, Kenta Nishiyama, Nobuki Takayama
Go To Publication
0241 2003 The Hilbert zonotope and a polynomial time algorithm for universal Gröbner bases Eric Babson, Shmuel Onn, Rekha R. Thomas
Go To Publication
0242 2004 The Hilbert series of prime PI rings. Jason P. Bell
Go To Publication
0243 2013 The Hilbert schemes of locally Cohen-Macaulay curves in $mathbbP^3$ may after all be connected. Paolo Lella, Enrico Schlesinger
Go To Publication
0244 2004 The Hamilton path and Gr\"obner bases. Xuemin Chen, Xiangui Zhao
Go To Publication
0245 1988 The Gröbner fan of an ideal Ferdinando Mora, Lorenzo Robbiano
Go To Publication
0246 2005 The Gröbner fan and Gröbner walk for modules Ruth L. Auerbach
Go To Publication
0247 2011 The Gröbner basis of the ideal of vanishing polynomials Gert-Martin Greuel, Frank Seelisch, Oliver Wienand
Go To Publication
0248 1986 The Gröbner Basis of a Module over K[X1,...,Xn] and Polynomial Solutions of a System of Linear Equations Akio Furukawa, Hidetsune Kobayashi, Tateaki Sasaki
Go To Publication
0249 1994 The GrÖBner Basis Algorithm and Subresultant Theory Mandache Ana Maria
Go To Publication
0250 2009 The Gr\"obner zero divisor graph of a ring. Trevor McGuire
Go To Publication
0251 2014 The Gr\"obner ring conjecture in the lexicographic order case. Ihsen Yengui
Go To Publication
0252 2004 The growth of valuations on rational function fields in two variables. Edward Mosteig, Moss Sweedler
Go To Publication
0253 1994 The Groebner Basis Algorithm and Subresultant Theory Ana Maria Mandache
Go To Publication
0254 2000 The Grobner Fan of an An-Module Abdallah Assi, Francisco Jesus Castro-Jimenez, Michel Granger
Go To Publication
0255 2009 The Graver complexity of integer programming. Yael Berstein, Shmuel Onn
Go To Publication
0256 2013 The Graph Isomorphism Problem and approximate categories Harm Derksen
Go To Publication
0257 2013 The graph based on Gr\"obner-Shirshov bases of groups. Firat Ates, I.Naci Cangul, A.Sinan cCevik, Eylem G. Karpuz
Go To Publication
0258 2013 The geometry of multivariate polynomial division and elimination. Kim Batselier, Philippe Dreesen, Brian Moore
Go To Publication
0259 2011 The geometry of border bases Martin Kreuzer, Lorenzo Robbiano
Go To Publication
0260 1998 The Geobucket Data Structure for Polynomials Thomas Yan
Go To Publication
0261 2007 The generic Gröbner walk Komei Fukuda, Anders N. Jensen, Niels Lauritzen, Thomas Sauer
Go To Publication
0262 2005 The generic Grobner walk Komei Fukuda, Anders N. Jensen, Niels Lauritzen, Rekha R. Thomas
Go To Publication
0263 1996 The General Solution of an Ordinary Differential Equation Evelyne Hubert
Go To Publication
0264 2007 The general PBW property. Huishi Li
Go To Publication
0265 2010 The formal translation equation for iteration groups of type II. Harald Fripertinger, Ludwig Reich
Go To Publication
0266 2010 The first rational Chebyshev knots P.-V. Koseleff, D. Pecker, Fabrice Rouillier
Go To Publication
0267 2009 The FGLM problem and M\"oller Teo Mora
Go To Publication
0268 2011 The F5 criterion revised Alberto Arri, John Perry
Go To Publication
0269 2010 The F$_4$-algorithm for Euclidean rings. Afshan Sadiq
Go To Publication
0270 1990 The Extension of Groebner bases Theory and A Synthesis Algorithm of Two-Dimensional Arrays over Ring Z/(m) Zhou Jinjun, Zhou Yujie, Wang Zhenfa
Go To Publication
0271 1996 The Euclidean Algorithm in Dimension N Loïc Pottier
Go To Publication
0272 2004 The essential ideal in group cohomology does not square to zero David J Green
Go To Publication
0273 1992 The Elementary Constant Problem Richardson Daniel
Go To Publication
0274 2002 The Diamond Lemma for Power Series Algebras Lars Hellström
Go To Publication
0275 2011 The determinantal ideals of extended Hankel matrices Le Dinh Nam
Go To Publication
0276 2006 The design of CoCoALib. John Abbott
Go To Publication
0277 2010 The degree of regularity of HFE systems. Vivien Dubois, Nicolas Gama
Go To Publication
0278 2013 The degree of regularity of a quadratic polynomial Timothy J. Hodges, Jacob Schlather
Go To Publication
0279 2012 The degree complexity of smooth surfaces of codimension Jeaman Ahn, Sijong Kwak, Yeongseok Song
Go To Publication
0280 2011 The decision of prime and primary ideal. Dilip Kohli, Jinwang Liu
Go To Publication
0281 2011 The correspondence between multivariate spline ideals and piecewise algebraic varieties Ren-Hong Wang, Chun-Gang Zhu
Go To Publication
0282 1982 The Construction of Multivariate Polynomials with Preassigned Zeros Bruno Buchberger, Hans Michael Möller
Go To Publication
0283 2009 The conjecture of Nowicki on Weitzenb\"ock derivations of polynomial algebras. Vesselin Drensky, Leonid Makar-Limanov
Go To Publication
0284 2012 The cones of Hilbert functions of squarefree modules. Cristina Bertone, Dang Hop Nguyen, Kathrin Vorwerk
Go To Publication
0285 1990 The Concept of Gröbner Algebras P. Beckmann, Jürgen Stückrad
Go To Publication
0286 2009 The computation of the logarithmic cohomology for plane curves Francisco Jesus Castro-Jimenez, Nobuki Takayama
Go To Publication
0287 2007 The computation of invariant fields and a constructive version of a theorem by Rosenlicht. Gregor Kemper
Go To Publication
0288 1995 The Computation of Gröbner Bases Using an Alternative Algorithm Joachim Apel
Go To Publication
0289 1982 The complexity of the word problems for commutative semigroups and polynomial ideals Ernst W. Mayr, Albert Meyer
Go To Publication
0290 1986 The Complexity of the Membership Problem for Two Subclasses of Polynomial Ideals Dung T Huynh
Go To Publication
0291 1997 The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups Ulla Koppenhagen, Ernst W. Mayr
Go To Publication
0292 1995 The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups Ulla Koppenhagen, Ernst W. Mayr
Go To Publication
0293 1988 The complexity of linear problems in fields Volker Weispfenning
Go To Publication
0294 1994 The complexity barrier in REDUCE - a case study Herbert Melenk
Go To Publication
0295 1994 The Complexity and Enumerative Geometry of Aspect Graphs of Smooth Surfaces Sylvain Petitjean
Go To Publication
0296 2011 The Complexity Analysis of the MutantXL Family Johannes Buchmann, Jintai Ding, Mohamed Saied Emam Mohamed
Go To Publication
0297 2008 The Complete Root Classification of a Parametric Polynomial on an Interval Jeffrey David J., Songxin Liang, Maria Angeles Moreno Frias
Go To Publication
0298 2004 The common invariant subspace problem: an approach via Gröbner bases Donu Arapura, Chris Peterson
Go To Publication
0299 2015 The classification of real singularities using Singular Part I: Splitting Lemma and simple singularities Magdaleen S. Marais, Andreas Steenpaß
Go To Publication
0300 2007 The circuit ideal of a vector configuration T. Bogart, Anders N. Jensen, Rekha R. Thomas
Go To Publication
0301 1991 The Chinese remainder problem, multivariate interpolation, and Gröbner bases
Go To Publication
0302 2002 The Chen-Reed-Helleseth-Truong Decoding Algorithm and the Gianni-Kalkbrenner Shape Theorem Massimo Caboara, Ferdinando Mora
Go To Publication
0303 1995 The Chen groups of the pure braid group Daniel C. Cohen, Alexander I. Suciu
Go To Publication
0304 2004 The Characteristic Ideal of a Finite, Connected, Regular Graph Benyamin M.-Alizadeh, Antonio Montes
Go To Publication
0305 2012 The central curve in linear programming. Jesús A., Bernd Sturmfels, Cynthia Vinzant
Go To Publication
0306 2012 The center-focus problem for two classes of cubic systems. Stefan Arnborg
Go To Publication
0307 2008 The Center and Cyclicity Problems: A Computational Algebra Approach V.G. Romanovskii, D.S. Shafer
Go To Publication
0308 2009 The center and cyclicity problems. A computational algebra approach. V.G. Romanovskii, D.S. Shafer
Go To Publication
0309 2014 The canonical decomposition of $mathcalC^n_d$ and numerical Gr\"obner and border bases. Kim Batselier, Philippe Dreesen, Brian Moore
Go To Publication
0310 2002 The Calculation of Radical Ideals in Positive Characteristic Gregor Kemper
Go To Publication
0311 2009 The BMS algorithm. Shojiro Sakata
Go To Publication
0312 2009 The BMS algorithm and decoding of AG codes. Shojiro Sakata
Go To Publication
0313 2014 The binomial edge ideal of a pair of graphs. Viviana Ene, Jürgen Herzog, Takayuki Hibi, Ayesha Asloob Qureshi
Go To Publication
0314 2010 The automorphic cohomology and the residual spectrum of Hermitian groups of rank one. Harald Grobner
Go To Publication
0315 2014 The asymptotic behaviour of symbolic generic initial systems of generic points Sarah Mayes
Go To Publication
0316 2013 The argument cycle and the coamoeba. Petter Johansson
Go To Publication
0317 2006 The Ancient Mystic Power of the ALGU COMPUBRAICUS A Revelation Whose Simplicity Will Make Ladies Swoon and Grown Men Cry Boo Barkee
Go To Publication
0318 1993 The 40 &Ldquo;Generic&Rdquo; Positions of a Parallel Robot Bernard Mourrain
Go To Publication
0319 2009 The 2-dimensional Jacobian conjecture: a computational approach. Ronen Peretz
Go To Publication
0320 2005 The -basis and implicitization of a rational parametric surface Falai Chen, David A. Cox, Lu Yang
Go To Publication
0321 2007 The $lambda $-Gr\"obner bases under polynomial composition. Xuemin Chen, Dilip Kohli, Jinwang Liu
Go To Publication
0322 2004 The $k$-Buchsbaum property for some polynomial ideals. Henrik Bresinsky, Le Tuan Hoa
Go To Publication
0323 2004 Testing the logarithmic comparison theorem for free divisors. Francisco Jesus Castro-Jimenez, Jose Maria Ucha-Enriquez
Go To Publication
0324 2009 Testing flatness and computing rank of a module using syzygies. Oswaldo Lezama
Go To Publication
0325 2000 Testing Emptiness of Real Hypersurfaces, Real Algebraic Sets and Semi-Algebraic Sets Fabrice Rouillier, Marie-Françoise Roy, Mohab Safey
Go To Publication
0326 2004 Test of monomorphism for morphisms of finite type between affine schemes Sihem Mesnager
Go To Publication
0327 2014 Termination of the F5 algorithm. V.V. Galkin
Go To Publication
0328 2015 Term-ordering free involutive bases Michela Ceria, Teo Mora, margherita Roggero
Go To Publication
0329 2010 Term cancellations in computing floating-point Gröbner bases Kako Fujio, Tateaki Sasaki
Go To Publication
0330 2010 Term cancellations in computing floating-point Gr\"obner bases. Kako Fujio, Tateaki Sasaki
Go To Publication
0331 2011 Ten commandments for good default expression simplification David R. Stoutemyer
Go To Publication
0332 2002 Taylor and Lyubeznik Resolutions via Gröbner Bases Werner M. Seiler
Go To Publication
0333 2005 Tangent cone algorithm for homogenized differential operators Giovanni De Micheli, Toshinori Oaku, Nobuki Takayama
Go To Publication
0334 2005 Tangent cone algorithm for homogenized differential operators Michel Granger, Toshinori Oaku, Nobuki Takayama
Go To Publication
0335 2010 Tackling multiplicity of equilibria with Gr\"obner bases. Felix Kubler, Karl Schmedders
Go To Publication
0336 2012 Syzygy Theorems via comparison of order ideals on a hypersurface Phillip Griffith, Alexandra Seceleanu
Go To Publication
0337 2002 Syzygies and conservation laws Fabrizio Colombo, Irene Sabadini, Franciscus Sommen, Daniele C. Struppa
Go To Publication
0338 2007 Systems of three polynomials with two separated variables. Mohamed Elkadi, Andre Galligo
Go To Publication
0339 2007 Systems of Three Polynomials with Two Separated Variables Mohamed Elkadi, Andre Galligo
Go To Publication
0340 2015 Systems of equations with a single solution Alexander Esterov, Gleb Gusev
Go To Publication
0341 1995 Systematic Encoding via Groebner Bases for a Class of Algebraic Geometric Goppa Codes Chris Heegard, John B. Little, Keith Saints
Go To Publication
0342 1987 Synthesis of two-dimensional linear feedback shift registers and Groebner bases Shojiro Sakata
Go To Publication
0343 2008 Synthesis of the main elements of multi-dimensional multi-rate systems. I. Nonseparable decimation matrices. M.K. Chobanu
Go To Publication
0344 2012 Syndrome decoding for Hermite codes with a Sugiyama-type algorithm. Irene I. Bouw, Sabine Kampf
Go To Publication
0345 1999 Symmetry theorems for the Newtonian $4$- and $5$-body problems with equal masses Jean-Charles Faugère, Kotsireas, Ilias
Go To Publication
0346 1994 Symmetry reductions and exact solutions of a class of nonlinear heat equations Peter A. Clarkson, Elizabeth L. Mansfield
Go To Publication
0347 1995 Symmetries of 2Nd and 3rd Order ODE Fritz Schwarz
Go To Publication
0348 1992 Symmetries and Groebner Bases Johannes Grabmeier, Volker Weispfenning
Go To Publication
0349 2007 Symmetric subresultants and applications Cyril Brunie, Philippe Saux Picart
Go To Publication
0350 2011 Symmetric orthogonal filters and wavelets with linear-phase moments Bernard Hanzon
Go To Publication
0351 2006 Symmetric algebras of finitely generated graded modules and $s$-sequences. Raab Clemens G.
Go To Publication
0352 2013 Symbolic-numerical investigation of gyrostat satellite dynamics Gutnik Sergey A., Sobottka Gerrit A.
Go To Publication
0353 2004 Symbolic-numeric sparse polynomial interpolation in Chebyshev basis and trigonometric interpolation M. Giesbrecht, George Labahn, Lee Wen-shin
Go To Publication
0354 2011 Symbolic-numeric solution of ill-conditioned polynomial systems (survey talk overview) (invited talk) Ágnes Szántó
Go To Publication
0355 2011 Symbolic-numeric investigation of the aerodynamic forces influence on satellite dynamics Gutnik Sergey A.
Go To Publication
0356 2007 Symbolic-numeric computation of implicit Riquier bases for PDE. Gregory J. Reid, Wenyuan Wu
Go To Publication
0357 2007 Symbolic-numeric Computation of Implicit Riquier Bases for PDE Gregory J. Reid, Wenyuan Wu
Go To Publication
0358 2005 Symbolic-numeric Completion of Differential Systems by Homotopy Continuation Wittkopf Allan, Gregory J. Reid, Jan Verschelde, Wenyuan Wu
Go To Publication
0359 1998 Symbolic-numeric algebra for polynomials Ioannis Z. Emiris
Go To Publication
0360 2001 Symbolic-interval Cooperation in Constraint Programming Frederic Benhamou, Laurent Granvilliers, Eric Monfroy
Go To Publication
0361 1990 Symbolic Solution Polynomial Equation Systems with Symmetry Gatemann K.
Go To Publication
0362 1991 Symbolic Simplification of Tensor Expressions Using Symmetries, Dummy Indices and Identities Ilyin V. A., Kryukov A. P.
Go To Publication
0363 2008 Symbolic Optimization of Algebraic Functions Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama
Go To Publication
0364 1996 Symbolic Elimination for Parallel Manipulators Olivier Devillers, Luc Tancredi, Monique Teillaud
Go To Publication
0365 1994 Symbolic computations for the solution of inverse/design problems with Maple Nikolaos I. Ioakimidis
Go To Publication
0366 1996 Symbolic Computation: Computer Algebra and Logic Bruno Buchberger
Go To Publication
0367 1996 Symbolic Computation of the Index of Quasilinear Differential-algebraic Equations Thomas G.
Go To Publication
0368 2004 Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs D. Baldwin, Ü. Göktaş, W. Hereman, L. Hong, R.S. Martino, J. Lyn Miller
Go To Publication
0369 2012 Symbolic computation and the cyclicity problem for singularities D.S. Shafer
Go To Publication
0370 2004 Symbolic computation and signal processing Hyungju Park
Go To Publication
0371 2001 Symbolic and numeric methods for exploiting structure in constructing resultant matrices Ioannis Z. Emiris, Victor Y. Pan
Go To Publication
0372 2009 Symbolic and Algebraic Methods in Computational Origami: Invited Talk Thomas Uchida
Go To Publication
0373 2012 Symbolic analysis for boundary problems: from rewriting to parametrized Gr\"obner bases. Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec
Go To Publication
0374 2010 Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec
Go To Publication
0375 2001 Symbolic Algebra and Timing Driven Data-flow Synthesis Giovanni De Micheli, Armita Peymandoust
Go To Publication
0376 2005 Suslin’s algorithms for reduction of unimodular rows H. Lombardi, Ihsen Yengui
Go To Publication
0377 2006 Surface Parametrisation Without Diagonalisation Giovanni De Micheli
Go To Publication
0378 2008 Sur les relations entre les racines d Annick Valibouze
Go To Publication
0379 2004 Sur le $mathcalD$-module associ Giovanni De Micheli
Go To Publication
0380 2000 Supplying Involutive Bases Klaus-Peter Nischke
Go To Publication
0381 2010 Superpotentials and higher order derivations Raf Bocklandt, Travis Schedler, Michael Wemyss
Go To Publication
0382 2004 Supernormal vector configurations. Serkan Hosten, Diane Maclagan, Bernd Sturmfels
Go To Publication
0383 2006 SumCracker: A package for manipulating symbolic sums and related objects Manuel Kauers
Go To Publication
0384 2000 Sum-Of-Digits Function For Certain Non-Stationary Bases Nikita Sidorov
Go To Publication
0385 2005 Sum of Roots with Positive Real Parts Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
Go To Publication
0386 2011 Sufficiency conditions for Bokut Kyriakos Kalorkoti
Go To Publication
0387 1994 Sufficiency Analysis for the Calculus of Variations Corless Robert M.
Go To Publication
0388 2006 Sudokus and Gröbner bases: not only a Divertimento Jesús Gago-Vargas, Isabel Hartillo Hermoso, Jorge Martin Morales
Go To Publication
0389 2006 Sudokus and Gr\"obner bases: Not only a divertimento. Jesús Gago-Vargas, Hartillo-Hermoso Isabel, J. Martín-Morales, Jose Maria Ucha-Enriquez
Go To Publication
0390 2006 Sudoku and Gr\"obner bases. J. Martín-Morales
Go To Publication
0391 2003 Subresultants in recursive polynomial remainder sequence Terui Akira
Go To Publication
0392 2005 Subresultants and generic monomial bases Carlos D’Andrea, Gabriela Jeronimo
Go To Publication
0393 2009 Submersive Rational Difference Systems and Their Accessibility Kotta "Ulle, Zhuojun Liu, Halas Miroslav, Haohao Wang, C.M. Yuan