The SCEAS System
Navigation Menu

Conferences in DBLP

International Symposium on Symbolic and Algebraic Computation (ISSAC) (issac)
2005 (conf/issac/2005)

  1. Bruno Buchberger
    A view on the future of symbolic computation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:1- [Conf]
  2. Bruno Salvy
    D-finiteness: algorithms and applications. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:2-3 [Conf]
  3. Wu Wen-Tsün
    On a finite kernel theorem for polynomial-type optimization problems and some of its applications. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:4- [Conf]
  4. Sergei A. Abramov, M. Petkovssek
    Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:5-12 [Conf]
  5. Jeffrey Adams, B. David Saunders, Zhendong Wan
    Signature of symmetric rational matrices and the unitary dual of lie groups. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:13-20 [Conf]
  6. Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
    Sum of roots with positive real parts. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:21-28 [Conf]
  7. J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao
    Algebraic general solutions of algebraic ordinary differential equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:29-36 [Conf]
  8. James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
    Adherence is better than adjacency: computing the Riemann index using CAD. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:37-44 [Conf]
  9. Alin Bostan, Thomas Cluzeau, Bruno Salvy
    Fast algorithms for polynomial solutions of linear differential equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:45-52 [Conf]
  10. Delphine Boucher
    Non complete integrability of a magnetic satellite in circular orbit. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:53-60 [Conf]
  11. Alain Bretto, Luc Gillibert, Bernard Laget
    Symmetric and semisymmetric graphs construction using G-graphs. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:61-67 [Conf]
  12. Manuel Bronstein, Ziming Li, Min Wu
    Picard--Vessiot extensions for linear functional systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:68-75 [Conf]
  13. Christopher W. Brown, Scott McCallum
    On using bi-equational constraints in CAD construction. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:76-83 [Conf]
  14. Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes
    Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:84-91 [Conf]
  15. Zhuliang Chen, Arne Storjohann
    A BLAS based C library for exact linear algebra on integer matrices. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:92-99 [Conf]
  16. C. Costermans, J. Y. Enjalbert, Hoang Ngoc Minh, Michel Petitot
    Structure and asymptotic expansion of multiple harmonic sums. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:100-107 [Conf]
  17. Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie
    Lifting techniques for triangular decompositions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:108-115 [Conf]
  18. Barry H. Dayton, Zhonggang Zeng
    Computing the multiplicity structure in solving polynomial systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:116-123 [Conf]
  19. Jennifer de Kleine, Michael B. Monagan, Allan D. Wittkopf
    Algorithms for the non-monic case of the sparse modular GCD algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:124-131 [Conf]
  20. Jiansong Deng, Falai Chen, Liyong Shen
    Computing µ-bases of rational curves and surfaces using polynomial matrix factorization. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:132-139 [Conf]
  21. Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan
    Efficient computation of the characteristic polynomial. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:140-147 [Conf]
  22. André Galligo, Jean Pascal Pavone
    Selfintersections of a bézier bicubic surface. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:148-155 [Conf]
  23. Stefan Gerhold, Manuel Kauers
    A procedure for proving special function inequalities involving a discrete parameter. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:156-162 [Conf]
  24. Dima Grigoriev, Fritz Schwarz
    Generalized Loewy-decomposition of d-modules. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:163-170 [Conf]
  25. Markus A. Hitz
    On computing nearest singular hankel matrices. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:171-176 [Conf]
  26. Bradford Hovinen, Wayne Eberly
    A reliable block Lanczos algorithm over small finite fields. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:177-184 [Conf]
  27. Fangjian Huang, Shengli Chen
    Schur partition for symmetric ternary forms and readable proof to inequalities. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:185-192 [Conf]
  28. David J. Jeffrey, Pratibha, K. B. Roach
    Affine transformations of algebraic numbers. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:193-199 [Conf]
  29. Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov
    Architecture-aware classical Taylor shift by 1. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:200-207 [Conf]
  30. Erich Kaltofen, Pascal Koiran
    On the complexity of factoring bivariate supersparse (Lacunary) polynomials. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:208-215 [Conf]
  31. Erich Kaltofen, Dmitriy Morozov, George Yuhasz
    Generic matrix multiplication and memory management in linBox. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:216-223 [Conf]
  32. Biao Li, Yong Chen, Qi Wang
    Exact analytical solutions to the nonlinear Schrödinger equation model. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:224-230 [Conf]
  33. Daniel Lichtblau
    Half-GCD and fast rational recovery. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:231-236 [Conf]
  34. Weibo Mao, Jinzhao Wu
    Application of Wu's method to symbolic model checking. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:237-244 [Conf]
  35. Michael B. Monagan
    Probabilistic algorithms for computing resultants. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:245-252 [Conf]
  36. Bernard Mourrain
    Generalized normal forms and polynomial system solving. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:253-260 [Conf]
  37. Cosmin E. Oancea, Stephen M. Watt
    Domains and expressions: an interface between two approaches to computer algebra. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:261-268 [Conf]
  38. Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu
    Symbolic-numeric completion of differential systems by homotopy continuation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:269-276 [Conf]
  39. Aude Rondepierre, Jean-Guillaume Dumas
    Algorithms for symbolic/numeric control of affine dynamical systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:277-284 [Conf]
  40. Carsten Schneider
    Finding telescopers with minimal depth for indefinite nested sum and product expressions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:285-292 [Conf]
  41. Éric Schost
    Multivariate power series multiplication. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:293-300 [Conf]
  42. Sonia Pérez-Díaz, J. Rafael Sendra
    Partial degree formulae for rational algebraic surfaces. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:301-308 [Conf]
  43. Arne Storjohann, Gilles Villard
    Computing the rank and a small nullspace basis of a polynomial matrix. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:309-316 [Conf]
  44. Laurent Tournier
    Approximation of dynamical systems using s-systems theory: application to biological systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:317-324 [Conf]
  45. Sergey P. Tsarev
    Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:325-331 [Conf]
  46. William J. Turner
    Preconditioners for singular black box matrices. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:332-339 [Conf]
  47. Mark van Hoeij, Jacques-Arthur Weil
    Solving second order linear differential equations with Klein's theorem. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:340-347 [Conf]
  48. Christiaan van de Woestijne
    Deterministic equation solving over finite fields. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:348-353 [Conf]
  49. Dongming Wang, Bican Xia
    Stability analysis of biological systems with real solution classification. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:354-361 [Conf]
  50. Lu Yang, Zhenbing Zeng
    An open problem on metric invariants of tetrahedra. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:362-364 [Conf]
  51. Aleksey Zobnin
    Admissible orderings and finiteness criteria for differential standard bases. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:365-372 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002