Search results for "J. Symb. Comput."

Hits ?▲	Authors	Title	Venue	Year	Link
1	Wei Zhou, George Labahn	Efficient algorithms for order basis computation.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Martin Avendano, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek	Faster p-adic feasibility for certain multivariate sparse polynomials.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Henrik Bäärnhielm, Charles R. Leedham-Green	The Product Replacement Prospector.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Xiao-Shan Gao, Zhenyu Huang	Characteristic set algorithms for equation solving in finite fields.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Jean Marc Couveignes, Jean-Gabriel Kammerer	The geometry of flex tangents to a cubic curve and its parameterizations.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Christopher W. Brown	Fast simplifications for Tarski formulas based on monomial inequalities.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Joel Moses	Macsyma: A personal history.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Teresa Krick, Ágnes Szántó	Sylvester's double sums: An inductive proof of the general case.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Michael Kerber, Michael Sagraloff	A worst-case bound for topology computation of algebraic curves.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Xiao-Shan Gao, Deepak Kapur	A brief introduction to Wen-Tsun Wu's academic career.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi	Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Jin-San Cheng, Xiao-Shan Gao, Leilei Guo	Root isolation of zero-dimensional polynomial systems with linear univariate representation.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Evelyne Hubert, Marie-Paule Cani	Convolution surfaces based on polygonal curve skeletons.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Juan Gerardo Alcázar	Local shape of generalized offsets to algebraic curves.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Ziming Li, Min Wu 0003	Transforming linear functional systems into fully integrable systems.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Jon González-Sánchez, Michael Harrison, Irene Polo-Blanco, Josef Schicho	Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization).	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, Daniel Panario	In honour of the research and influence of Joachim von zur Gathen at 60.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	David Harvey	The Karatsuba integer middle product.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Ioannis Z. Emiris, Angelos Mantzaflaris	Multihomogeneous resultant formulae for systems with scaled support.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Nicole Sutherland	Efficient computation of maximal orders in radical (including Kummer) extensions.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Michael Burr, Felix Krahmer	SqFreeEVAL: An (almost) optimal real-root isolation algorithm.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Pierrick Gaudry, Éric Schost	Genus 2 point counting over prime fields.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Michael Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap	Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Jeremy R. Johnson, Erich Kaltofen, Hyungju Park	Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	George Bluman, Raouf Dridi	New solutions for ordinary differential equations.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Andreas-Stephan Elsenhans	Invariants for the computation of intransitive and transitive Galois groups.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Hoon Hong, Mohab Safey El Din	Variant quantifier elimination.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Ludovic Perret	On the relation between the MXL family of algorithms and Gröbner basis algorithms.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Shaoshi Chen, Manuel Kauers	Trading order for degree in creative telescoping.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Luca De Feo, Éric Schost	Fast arithmetics in Artin-Schreier towers over finite fields.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Ana Romero, Julio Rubio	Computing the homology of groups: The geometric way.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Rida T. Farouki, Takis Sakkalis	A complete classification of quintic space curves with rational rotation-minimizing frames.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Thomas Prest, Paul Zimmermann	Non-linear polynomial selection for the number field sieve.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	San Ling, Igor Shparlinski, Ron Steinfeld, Huaxiong Wang	On the modular inversion hidden number problem.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Nan Li, Lihong Zhi	Computing the multiplicity structure of an isolated singular solution: Case of breadth one.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Xiaoli Wu, Lihong Zhi	Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Mordechai Katzman, Karl Schwede	An algorithm for computing compatibly Frobenius split subvarieties.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Scott McCallum, Volker Weispfenning	Deciding polynomial-transcendental problems.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Xuhui Wang, Falai Chen	Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Daouda Niang Diatta, Bernard Mourrain, Olivier Ruatta	On the isotopic meshing of an algebraic implicit surface.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Luis H. Gallardo, Olivier Rahavandrainy	All unitary perfect polynomials over f2 with at most four distinct irreducible factors.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Vincent Vatter	Finding regular insertion encodings for permutation classes.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Adrien Poteaux, Marc Rybowicz	Good reduction of Puiseux series and applications.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza	Algorithms for computing triangular decomposition of polynomial systems.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Ainhoa Aparicio-Monforte, Jacques-Arthur Weil	A reduced form for linear differential systems and its application to integrability of Hamiltonian systems.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Jeaman Ahn, Sijong Kwak, Yeongseok Song	The degree complexity of smooth surfaces of codimension 2.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Mohamed Elkadi, André Galligo, Thang Luu Ba	Approximate GCD of several univariate polynomials with small degree perturbations.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Somit Gupta, Soumojit Sarkar, Arne Storjohann, Johnny Valeriote	Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x].	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Matthew T. Comer, Erich Kaltofen	On the Berlekamp/Massey algorithm and counting singular Hankel matrices over a finite field.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Bruno Buchberger, Markus Rosenkranz	Transforming problems from analysis to algebra: A case study in linear boundary problems.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Aurélien Greuet, Feng Guo, Mohab Safey El Din, Lihong Zhi	Global optimization of polynomials restricted to a smooth variety using sums of squares.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Jiawang Nie	Discriminants and nonnegative polynomials.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Michael C. Harrison	An extension of Kedlaya's algorithm for hyperelliptic curves.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Adam W. Strzebonski	Real root isolation for exp-log-arctan functions.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	John Abbott	Twin-float arithmetic.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Itnuit Janovitz-Freireich, Bernard Mourrain, Lajos Rónyai, Ágnes Szántó	On the computation of matrices of traces and radicals of ideals.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	William Y. C. Chen, Qing-Hu Hou, Yan-Ping Mu	The extended Zeilberger algorithm with parameters.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Torsten Sprenger, Wolfram Koepf	Algorithmic determination of q-power series for q-holonomic functions.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Xiao-Shan Gao, Deepak Kapur	Preface.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Anne Frühbis-Krüger	A modified coefficient ideal for use with the strict transform.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Massimo Caboara, Fabrizio Caruso, Carlo Traverso	Lattice Polly Cracker cryptosystems.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	J. F. Pommaret	Macaulay inverse systems revisited.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima, Kô Sakai	Boolean Gröbner bases.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Douglas Poole, Willy Hereman	Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Jean-Charles Faugère, Ye Liang	Artificial discontinuities of single-parametric Gröbner bases.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Daniel S. Roche	Chunky and equal-spaced polynomial multiplication.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser	Static consistency checking of web applications with WebDSL.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	David H. Bailey, Jonathan M. Borwein	High-precision numerical integration: Progress and challenges.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Fernando Orejas	Symbolic graphs for attributed graph constraints.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Danko Adrovic, Jan Verschelde	Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Adam W. Strzebonski	Cylindrical decomposition for systems transcendental in the first variable.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Víctor Blanco, Justo Puerto	Some algebraic methods for solving multiobjective polynomial integer programs.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Joris van der Hoeven	Meta-expansion of transseries.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Martin Raum	How to implement a modular form.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	L. X. Châu Ngô, Franz Winkler	Rational general solutions of planar rational systems of autonomous ODEs.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert	fKenzo: A user interface for computations in Algebraic Topology.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi	Morley's theorem revisited: Origami construction and automated proof.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Jon Wilkening, Jia Yu	A local construction of the Smith normal form of a matrix polynomial.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	J. Rafael Sendra, David Sevilla	Radical parametrizations of algebraic curves by adjoint curves.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Benjamin Braatz, Ulrike Golas, Thomas Soboll	How to delete categorically - Two pushout complement constructions.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Alain Bretto, Alain Faisant	Cayley graphs and G-graphs: Some applications.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Federico Banti, Rosario Pugliese, Francesco Tiezzi	An accessible verification environment for UML models of services.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Mahjoub Langar, Mohamed Mejri, Kamel Adi	Formal enforcement of security policies on concurrent systems.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Francesca Cioffi, Margherita Roggero	Flat families by strongly stable ideals and a generalization of Gröbner bases.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, Stephen M. Watt	In honour of Keith Geddes on his 60th birthday.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz	Bruno Buchberger and the world of Gröbner bases.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Guillaume Moroz	Properness defects of projection and minimal discriminant variety.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Christoph Schulz, Michael Löwe, Harald König	A categorical framework for the transformation of object-oriented systems: Models and data.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Rocío Blanco, Santiago Encinas	Embedded desingularization of toric varieties.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Nicoleta Bila	On a new method for finding generalized equivalence transformations for differential equations involving arbitrary functions.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Annick Valibouze	Gröbner basis of the alternating galoisian ideal.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie	When does equal sat(T)?	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Alin Bostan, Muhammad F. I. Chowdhury, Joris van der Hoeven, Éric Schost	Homotopy techniques for multiplication modulo triangular sets.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Viktor Levandovskyy, Eva Zerz, Kristina Schindelar	Exact linear modeling using Ore algebras.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Graham Ellis, Paul Smith	Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano	Computing inhomogeneous Gröbner bases.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Daniel Plaumann, Bernd Sturmfels, Cynthia Vinzant	Quartic curves and their bitangents.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Waldemar Hebisch, Martin Rubey	Extended rate, more GFUN.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Paraskevas Alvanos, Dimitrios Poulakis	Solving genus zero Diophantine equations over number fields.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Gilles Villard	Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF

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