References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Bennett, Michael A.; Gherga, Adela; Rechnitzer, Andrew: Computing elliptic curves over (\mathbbQ) (2019)
  2. Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika: \textttSMT-RAT: an open source \textttC++ toolbox for strategic and parallel SMT solving (2015)
  3. McDougall, Trevor J.; Wotherspoon, Simon J.: A simple modification of Newton’s method to achieve convergence of order (1+\sqrt2) (2014)
  4. Pausch, Marina; Grossmann, Florian; Eckhardt, Bruno; Romanovski, Valery G.: Groebner basis methods for stationary solutions of a low-dimensional model for a shear flow (2014)
  5. Tsai, Chia-Cheng; Lin, Po-Ho: On the exponential convergence of the method of fundamental solutions (2013)
  6. Buraczewski, A.; Stobińska, M.: Numerical model for macroscopic quantum superpositions based on phase-covariant quantum cloning (2012)
  7. Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris: Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (2012)
  8. Noreen, Amna; Olaussen, Kåre: High precision series solutions of differential equations: ordinary and regular singular points of second order ODEs (2012)
  9. Walsh, Timothy R. S.; Giorgetti, Alain; Mednykh, Alexander: Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices (2012)
  10. Mushtaq, Asif; Noreen, Amna; Olaussen, Kåre; Øverbø, Ingjald: Very-high-precision solutions of a class of Schrödinger type equations (2011)
  11. Schreppers, Walter; Cuyt, Annie A. M.: Algorithm 871: A C/C++ precompiler for autogeneration of multiprecision programs. (2008)
  12. Dudek, Mirosław R.; Nadzieja, Tadeusz: Molecular dynamics simulations through symbolic programming (2005)
  13. Schreppers, Walter; Backeljauw, Franky; Cuyt, Annie: MPL: A multiprecision MATLAB-like environment (2005)
  14. Laurie, D. P.; de Villiers, J. M.: Orthogonal polynomials and Gaussian quadrature for refinable weight functions (2004)
  15. Bauer, C.; Do, H. S.: One-loop integrals with XLOOPS-GiNaC (2002)
  16. Bierenbaum, Isabella; Kreckel, Richard; Kreimer, Dirk: On the invariance of residues of Feynman graphs. (2002)
  17. Verdonk, Brigitte; Cuyt, Annie; Verschaeren, Dennis: A precision- and range-independent tool for testing floating-point arithmetric. I: Basic operations, square root, and remainder (2001)
  18. Briggs, Keith M.; Álvarez, Gonzalo: Scaling in a map of the two-torus. (2000)
  19. Haible, Bruno; Papanikolaou, Thomas: Fast multiprecision evaluation of series of rational numbers (1998)