MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Andreas Dolzmann" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • P-adic Constraint Solving  
  • by Andreas Dolzmann, Thomas Sturm — 1999 — Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC 99), Vancouver, BC
  • …P-adic Constraint Solving Andreas Dolzmann and Thomas Sturm Department of Mathematics and Computer…
  • Cited by 10 (9 self) – Add To MetaCart
  • Parametric systems of linear congruences  
  • by Andreas Dolzmann, Thomas Sturm — 2001 — Computer Algebra in Scientific Computing. Proceedings of the CASC 2000
  • …Parametric Systems of Linear Congruences Andreas Dolzmann and Thomas Sturm FMI, University…
  • Cited by 2 (1 self) – Add To MetaCart
  • Guarded Expressions in Practice  
  • by Andreas Dolzmann, Thomas Sturm — 1997 — Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 97
  • …Guarded Expressions in Practice Andreas Dolzmann and Thomas Sturm Fakultat fur Mathematik und…
  • Cited by 12 (9 self) – Add To MetaCart
  • Redlog User Manual  
  • by Reduce Logic, Andreas Dolzmann, Thomas Sturm, Universitaet Passau — 1996
  • … by Andreas Dolzmann and Thomas Sturm Copyright c fl 1996 A. Dolzmann and T. Sturm, Lehrstuhl fuer Mathematik…
  • Add To MetaCart
  • CGB: Computing Comprehensive Gröbner Bases  
  • by Andreas Dolzmann, Thomas Sturm, Winfried Neun — 1999
  • …CGB: Computing Comprehensive Gröbner Bases Andreas Dolzmann & Thomas Sturm Department…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB