ISSAC B

47 papers

YearTitle / Authors
2008A pommaret division algorithm for computing Grobner bases in boolean rings.
Vladimir P. Gerdt, Mikhail V. Zinin
2008A rational decomposition-lemma for systems of linear differential-algebraic equations.
Eckhard Pflügel
2008Algebraic algorithms and coding theory.
Madhu Sudan
2008Algorithmic invariant theory.
Gregor Kemper
2008An algorithm for finding symmetric Grobner bases in infinite dimensional rings.
Matthias Aschenbrenner, Christopher J. Hillar
2008Can we create a viable free open source alternative to magma, maple, mathematica and matlab?
William A. Stein
2008Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities.
Jean-Charles Faugère, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din
2008Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves.
Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap
2008Complex brackets, balanced complex differences, and applications in symbolic geometric computing.
Hongbo Li, Lei Huang
2008Computational D-module theory with singular, comparison with other systems and two new algorithms.
Viktor Levandovskyy, Jorge Martín-Morales
2008Computing the global optimum of a multivariate polynomial over the reals.
Mohab Safey El Din
2008Computing the multiplicity structure from geometric involutive form.
Xiaoli Wu, Lihong Zhi
2008Deciding polynomial-exponential problems.
Melanie Achatz, Scott McCallum, Volker Weispfenning
2008Digital atlases and difference forms.
Elizabeth L. Mansfield
2008Exact algorithms and software in optimization and polyhedral computation.
Komei Fukuda
2008Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.
Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
2008Expressing a fraction of two determinants as a determinant.
Erich L. Kaltofen, Pascal Koiran
2008Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields.
Adrien Poteaux, Marc Rybowicz
2008Gröbner bases for public key cryptography.
Massimo Caboara, Fabrizio Caruso, Carlo Traverso
2008Gröbner-free normal forms for boolean polynomials.
Michael Brickenstein, Alexander Dreyer
2008Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility.
Jesús A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies
2008Implicitization and parametrization of quadratic surfaces with one simple base point.
Xuhui Wang, Falai Chen, Jiansong Deng
2008Integration of algebraic functions: a simple heuristic for finding the logarithmic part.
Manuel Kauers
2008Integro-differential polynomials and operators.
Markus Rosenkranz, Georg Regensburger
2008Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities.
Zhibek Kadyrsizova, Valery G. Romanovski
2008Loewy decomposition of third-order linear aPDE's in the plane.
Dima Grigoriev, Fritz Schwarz
2008Moment matrices, trace matrices and the radical of ideals.
Itnuit Janovitz-Freireich, Ágnes Szántó, Bernard Mourrain, Lajos Rónyai
2008Moving frames for laplace invariants.
Ekaterina Shemyakova, Elizabeth L. Mansfield
2008Multi-modular algorithm for computing the splitting field of a polynomial.
Guénaël Renault, Kazuhiro Yokoyama
2008Numerical primary decomposition.
Anton Leykin
2008On generalized ln-surfaces in 4-space.
Martin Peternell, Boris Odehnal
2008On lacunary polynomial perfect powers.
Mark Giesbrecht, Daniel S. Roche
2008On the computation of the topology of a non-reduced implicit space curve.
Daouda Niang Diatta, Bernard Mourrain, Olivier Ruatta
2008Plane geometry and convexity of polynomial stability regions.
Didier Henrion, Michael Sebek
2008Power series and linear difference equations.
Sergei A. Abramov
2008Power series composition and change of basis.
Alin Bostan, Bruno Salvy, Éric Schost
2008Products of ordinary differential operators by evaluation and interpolation.
Alin Bostan, Frédéric Chyzak, Nicolas Le Roux
2008Q-adic transform revisited.
Jean-Guillaume Dumas
2008Real root isolation for exp-log functions.
Adam W. Strzebonski
2008Regular systems of linear functional equations and applications.
Moulay A. Barkatou, Gary Broughton, Eckhard Pflügel
2008Solving differential equations in terms of bessel functions.
Ruben Debeerst, Mark van Hoeij, Wolfram Koepf
2008Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings
J. Rafael Sendra, Laureano González-Vega
2008Symbolic optimization of algebraic functions.
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
2008The complete root classification of a parametric polynomial on an interval.
Songxin Liang, David J. Jeffrey, Marc Moreno Maza
2008The nearest polynomial with a zero in a given domain from a geometrical viewpoint.
Hiroshi Sekigawa
2008Towards a computer algebraic algorithm for flat output determination.
Felix Antritter, Jean Lévine
2008When does (
François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie