The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Henk Barendregt, Arjeh M. Cohen
    Representing and handling mathematical concepts by humans and machines. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:- [Conf]
  2. Felipe Cucker
    Solving polynomial systems: a complexity theory viewpoint. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:- [Conf]
  3. Derek F. Holt
    Computation in word-hyperbolic groups. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:- [Conf]
  4. John Abbott, Victor Shoup, Paul Zimmermann
    Factorization in ***[x]: the searching phase. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:1-7 [Conf]
  5. Sergei A. Abramov, Manuel Bronstein
    Hypergeometric dispersion and the orbit problem. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:8-13 [Conf]
  6. Hirokazu Anai, Volker Weispfenning
    Deciding linear-trigonometric problems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:14-22 [Conf]
  7. Franz Binder, Erhard Aichinger, Jürgen Ecker, Christof Nöbauer, Peter Mayr
    Algorithms for near-rings of non-linear transformations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:23-29 [Conf]
  8. Gábor Bodnár, Josef Schicho
    An improved algorithm for the resolution of singularities. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:30-37 [Conf]
  9. François Boulier, François Lemaire
    Computing canonical representatives of regular differential ideals. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:38-47 [Conf]
  10. Christopher W. Brown
    Improved projection for CAD's of R3. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:48-53 [Conf]
  11. Howard Cheng, Eugene V. Zima
    On accelerated methods to evaluate sums of products of rational numbers. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:54-61 [Conf]
  12. Arthur D. Chtcherba, Deepak Kapur
    Conditions for exact resultants using the Dixon formulation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:62-70 [Conf]
  13. George E. Collins, Werner Krandick
    Multiprecision floating point addition. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:71-77 [Conf]
  14. Olivier Cormier, Michael F. Singer, Felix Ulmer
    Computing the Galois group of a polynomial using linear differential equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:78-85 [Conf]
  15. Andreas Dolzmann, Volker Weispfenning
    Local quantifier elimination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:86-94 [Conf]
  16. Jean-Guillaume Dumas, B. David Saunders, Gilles Villard
    Integer Smith form via the valence: experience with large sparse matrices from homology. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:95-105 [Conf]
  17. Wayne Eberly
    Black box Frobenius decompositions over small fields. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:106-113 [Conf]
  18. Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda
    A method for deciding whether the Galois group is abelian. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:114-120 [Conf]
  19. Anne Fredet
    Linear differential equations, iterative logarithms and orderings on monomial differential extensions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:121-128 [Conf]
  20. Edward L. Green, Lenwood S. Heath, Craig A. Struble
    Constructing endomorphism rings via duals. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:129-136 [Conf]
  21. Dima Grigoriev, Nicolai Vorobjov
    Bounds on numers of vectors of multiplicities for polynomials which are easy to compute. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:137-146 [Conf]
  22. Anshul Gupta, Pankaj Rohatgi, Ramesh C. Agarwal
    Fast practical algorithms for the Boolean-product-witness-matrix problem. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:146-152 [Conf]
  23. Jason F. Harris
    Advanced notations in Mathematica. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:153-160 [Conf]
  24. Yuzhen Huang, Wenda Wu, Hans J. Stetter, Lihong Zhi
    Pseudofactors of multivariate polynomials. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:161-168 [Conf]
  25. Namhyun Hur, James H. Davenport
    An exact real algebraic arithmetic with equality determination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:169-174 [Conf]
  26. Gábor Ivanyos
    Fast randomized algorithms for the structure of matrix algebras over finite fields (extended abstract). [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:175-183 [Conf]
  27. Claude-Pierre Jeannerod
    An algorithm for the eigenvalue perturbation problem: reduction of a -matrix to a Lidskii matrix. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:184-191 [Conf]
  28. Erich Kaltofen, Wen-shin Lee, A. Lobo
    Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:192-201 [Conf]
  29. Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter
    Symbolic parametrization of pipe and canal surfaces. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:202-208 [Conf]
  30. Grégoire Lecerf
    Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:209-216 [Conf]
  31. Petr Lisonek, Robert B. Israel
    Metric invariants of tetrahedra via polynomial elimination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:217-219 [Conf]
  32. Izumi Miyamoto
    Computing normalizers of permutation groups efficiently using isomorphisms of association schemes. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:220-224 [Conf]
  33. Michael B. Monagan, Allan D. Wittkopf
    On the design and implementation of Brown's algorithm over the integers and number fields. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:225-233 [Conf]
  34. Bernard Mourrain, Philippe Trebuchet
    Solving projective complete intersection faster. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:234-241 [Conf]
  35. Thom Mulders, Arne Storjohann
    Rational solutions of singular linear systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:242-249 [Conf]
  36. Michael Nöcker
    Some remarks on parallel exponentiation (extended abstract). [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:250-257 [Conf]
  37. Arthur C. Norman
    Further evaluation of Java for symbolic computation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:258-265 [Conf]
  38. Victor Y. Pan
    Matrix structure, polynomial arithmetic, and erasure-resilient encoding/decoding. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:266-271 [Conf]
  39. Gregory J. Reid, Allan D. Wittkopf
    Determination of maximal symmetry groups of classes of differential equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:272-280 [Conf]
  40. Birgit Reinert
    Solving systems of linear one-sided equations in integer monoid and group rings. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:281-287 [Conf]
  41. José Carlos Rosales, Pedro A. García-Sánchez, Juan Ignacio García-García
    How to check if a finitely generated commutative monoid is a principal ideal commutative monoid. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:288-291 [Conf]
  42. Josef Schicho
    Proper parametrization of surfaces with a rational pencil. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:292-300 [Conf]
  43. Ming Zhang, Ronald N. Goldman
    Rectangular corner cutting and Sylvester A-resultants. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:301-308 [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