Search results for "J. Symb. Comput."

Hits ?▲	Authors	Title	Venue	Year	Link
1	Claudia Fassino	Almost vanishing polynomials for sets of limited precision points.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Sonia L. Rueda, J. Rafael Sendra	Linear complete differential resultants and the implicitization of linear DPPEs.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner	Combination of convex theories: Modularity, deduction completeness, and explanation.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Carsten Lutz, Frank Wolter	Deciding inseparability and conservative extensions in the description logic EL.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Aharon Abadi, Alexander Rabinovich, Mooly Sagiv	Decidable fragments of many-sorted logic.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Temur Kutsia, Jordi Levy, Mateu Villaret	On the relation between Context and Sequence Unification.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Allan K. Steel	Computing with algebraically closed fields.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Martin Peternell	Rational two-parameter families of spheres and rational offset surfaces.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	François Boulier, François Lemaire, Marc Moreno Maza	Computing differential characteristic sets by change of ordering.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari	Context unification with one context variable.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Rouchdi Bahloul, Toshinori Oaku	Local Bernstein-Sato ideals: Algorithm and examples.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	J. Araújo, Paul von Bünau, J. D. Mitchell, Max Neunhöffer	Computing automorphisms of semigroups.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Alberto Damiano, Graziano Gentili, Daniele C. Struppa	Computations in the ring of quaternionic polynomials.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Ruyong Feng, Michael F. Singer, Min Wu	Liouvillian solutions of linear difference-differential equations.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina	A verified Common Lisp implementation of Buchberger's algorithm in ACL2.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Bahman Engheta	A bound on the projective dimension of three cubics.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari	Special issue on automated deduction: Decidability, complexity, tractability.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Maria Paola Bonacina, Mnacho Echenim	Theory decision by decomposition.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Ruyong Feng, Michael F. Singer, Min Wu	An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Gabriela Jeronimo, Daniel Perrucci	On the minimum of a positive polynomial over the standard simplex.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Kurt Mehlhorn, Saurabh Ray	Faster algorithms for computing Hong's bound on absolute positiveness.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Andries E. Brouwer, Mihaela Popoviciu	The invariants of the binary nonic.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Thomas Genet, Vlad Rusu	Equational approximations for tree automata completion.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Xiaohong Jia, Haohao Wang, Ron Goldman	Set-theoretic generators of rational space curves.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau	Anti-patterns for rule-based languages.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Sergei A. Abramov, Marko Petkovsek	Polynomial ring automorphisms, rational (w, sigma)-canonical forms, and the assignment problem.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Temur Kutsia	Symbolic computation in software science: Foreword from the editor.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Masahiko Sato, Randy Pollack	External and internal syntax of the lambda-calculus.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Jan Vrsek, Miroslav Lávicka	On convolutions of algebraic curves.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	François Apéry	Subresultants of two Hermite-Laurent series.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Kenta Nishiyama, Masayuki Noro	Stratification associated with local b-functions.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Tetsuo Ida, Hidekazu Takahashi	Origami fold as algebraic graph rewriting.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Sergio Antoy	Programming with narrowing: A tutorial.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi	Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Meera Sitharam, Jörg Peters, Yong Zhou	Optimized parametrization of systems of incidences between rigid bodies.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Prashant Batra, Vikram Sharma	Bounds on absolute positiveness of multivariate polynomials.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Volker Gebhardt, Juan González-Meneses	Solving the conjugacy problem in Garside groups by cyclic sliding.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Daniel Robertz	Noether normalization guided by monomial cone decompositions.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Carlos Andradas, Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera	On the simplification of the coefficients of a parametrization.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Alexander Fronk, Britta Kehden	State space analysis of Petri nets with relation-algebraic methods.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Rida T. Farouki, Carlotta Giannelli, Alessandra Sestini	Helical polynomial curves and double Pythagorean hodographs I. Quaternion and Hopf map representations.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Leonid Bedratyuk	A complete minimal system of covariants for the binary form of degree 7.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Claus-Peter Wirth	Shallow confluence of conditional term rewriting systems.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Kuniaki Tsuji	An improved EZ-GCD algorithm for multivariate polynomials.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Tobias Beck	Formal desingularization of surfaces: The Jung method revisited.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Martin Aigner, Bert Jüttler, Laureano González-Vega, Josef Schicho	Parameterizing surfaces with certain special support functions, including offsets of quadrics and rationally supported surfaces.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Marc Dohm, Severinas Zube	The implicit equation of a canal surface.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Willem A. de Graaf, Jana Pílniková, Josef Schicho	Parametrizing Del Pezzo surfaces of degree 8 using Lie algebras.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Sergei A. Abramov, Moulay A. Barkatou	D'Alembertian series solutions at ordinary points of LODE with polynomial coefficients.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Gheorghe Craciun, Alicia Dickenstein, Anne Shiu, Bernd Sturmfels	Toric dynamical systems.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Dave Bayer, Amelia Taylor	Reverse search for monomial ideals.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Francisco Jesus Castro-Jiménez, Laureano González-Vega	Foreword from the editors.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Daniel Lazard, Scott McCallum	Iterated discriminants.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, George Labahn, Wen-shin Lee	Symbolic-numeric sparse interpolation of multivariate polynomials.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Jean-Charles Faugère, Fabrice Rouillier	Foreword.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Bernard Mourrain, Jean Pascal Pavone	Subdivision methods for solving polynomial equations.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Hendrik Hubrechts	Quasi-quadratic elliptic curve point counting using rigid cohomology.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Greg Reid, Lihong Zhi	Solving polynomial systems via symbolic-numeric reduction to geometric involutive form.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Christian Costermans, Hoang Ngoc Minh	Noncommutative algebra, multiple harmonic sums and applications in discrete probability.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Mohamed Elkadi, André Galligo, M. Weimann	Towards toric absolute factorization.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Eda Cesaratto, Julien Clément, Benoit Daireaux, Loïck Lhote, Véronique Maume-Deschamps, Brigitte Vallée	Regularity of the Euclid Algorithm; application to the analysis of fast GCD Algorithms.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Andrew J. Hanson, Ji-Ping Sha	A tessellation for Fermat surfaces in CP3.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Oleg Golubitsky, Marina V. Kondratieva, Alexey Ovchinnikov	Algebraic transformation of differential characteristic decompositions from one ranking to another.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Raouf Dridi, Michel Petitot	New classification techniques for ordinary differential equations.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Mari Castle, Victoria Powers, Bruce Reznick	A quantitative Pólya's Theorem with zeros.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Daniel Augot, Jean-Charles Faugère, Ludovic Perret	Foreword.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	A. S. Detinko, D. L. Flannery	On deciding finiteness of matrix groups.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	L. M. Camacho, J. R. Gómez, A. J. González, B. A. Omirov	Naturally graded quasi-filiform Leibniz algebras.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Michael Brickenstein, Alexander Dreyer	PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Willem A. de Graaf	Constructing algebraic groups from their Lie algebras.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Carlos D'Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó	Sylvester's double sums: The general case.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Xiao-Shan Gao, J. Van der Hoeven, C. M. Yuan, Gui-Lin Zhang	Characteristic set method for differential-difference polynomial systems.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Martin Avendano	The number of roots of a lacunary bivariate polynomial on a line.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Peter Bürgisser, Peter Scheiblechner	On the complexity of counting components of algebraic varieties.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager	Generators of the ideal of an algebraic space curve.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Mohamed Barakat, Daniel Robertz	conley: Computing connection matrices in Maple.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Serena Cicalò, Willem A. de Graaf	Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition, II.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	James McLaughlin, Andrew V. Sills, Peter Zimmer	Rogers-Ramanujan computer searches.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Shinichi Tajima, Yayoi Nakamura	Annihilating ideals for an algebraic local cohomology class.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Rosario Rubio, J. Miguel Serradilla, M. Pilar Vélez	Detecting real singularities of a space curve from a real rational parametrization.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Bernd Martin, Hendrik Süß	Milnor algebras could be isomorphic to modular algebras.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	William Y. C. Chen, Ernest X. W. Xia	The q-WZ method for infinite series.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Hiromasa Nakayama	Algorithm computing the local b function by an approximate division algorithm in D.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Ilias S. Kotsireas, Christos Koukouvinos	Hadamard matrices of Williamson type: A challenge for Computer Algebra.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair	Cayley-Dixon projection operator for multi-univariate composed polynomials.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Daniel Kunkle, Gene Cooperman	Harnessing parallel disks to solve Rubik's cube.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Shih Ping Tung	Algorithms for near solutions to polynomial equations.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Carlos D'Andrea, Bernard Mourrain	Special issue on symbolic and algebraic computation.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Evelyne Hubert	Differential invariants of a Lie group action: Syzygies on a generating set.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Clémence Durvye	Evaluation techniques for zero-dimensional primary decomposition.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Gregor Kemper	Separating invariants.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Laurent Busé, Mohamed Elkadi, André Galligo	A computational study of ruled surfaces.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Gabriela Olteanu, Ángel del Río	An algorithm to compute the Wedderburn decomposition of semisimple group algebras implemented in the GAP package wedderga.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Daniel Lazard	Thirty years of Polynomial System Solving, and now?	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap	Complete numerical isolation of real roots in zero-dimensional triangular systems.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	F. San Segundo, J. R. Sendra	Partial degree formulae for plane offset curves.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama	Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Sylvain Neut, Michel Petitot, Raouf Dridi	Élie Cartan's geometrical vision or how to avoid expression swell.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	An Khuong Nguyen	On d-solvability for linear differential equations.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Emmanuel Briand, Mercedes Rosas	Milne's volume function and vector symmetric polynomials.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF

Publications at "J. Symb. Comput."( http://dblp.L3S.de/Venues/J._Symb._Comput. )