References in zbMATH (referenced in 18 articles )

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

  1. Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika: SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving (2015)
  2. McDougall, Trevor J.; Wotherspoon, Simon J.: A simple modification of Newton’s method to achieve convergence of order $1+\sqrt 2$ (2014)
  3. 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)
  4. Tsai, Chia-Cheng; Lin, Po-Ho: On the exponential convergence of the method of fundamental solutions (2013)
  5. Buraczewski, A.; Stobińska, M.: Numerical model for macroscopic quantum superpositions based on phase-covariant quantum cloning (2012)
  6. 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)
  7. Noreen, Amna; Olaussen, Kåre: High precision series solutions of differential equations: ordinary and regular singular points of second order ODEs (2012)
  8. Walsh, Timothy R. S.; Giorgetti, Alain; Mednykh, Alexander: Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices (2012)
  9. Mushtaq, Asif; Noreen, Amna; Olaussen, Kåre; Øverbø, Ingjald: Very-high-precision solutions of a class of Schrödinger type equations (2011)
  10. Schreppers, Walter; Cuyt, Annie A. M.: Algorithm 871: A C/C++ precompiler for autogeneration of multiprecision programs. (2008)
  11. Dudek, Mirosław R.; Nadzieja, Tadeusz: Molecular dynamics simulations through symbolic programming (2005)
  12. Schreppers, Walter; Backeljauw, Franky; Cuyt, Annie: MPL: A multiprecision MATLAB-like environment (2005)
  13. Laurie, D. P.; de Villiers, J. M.: Orthogonal polynomials and Gaussian quadrature for refinable weight functions (2004)
  14. Bauer, C.; Do, H. S.: One-loop integrals with XLOOPS-GiNaC (2002)
  15. Bierenbaum, Isabella; Kreckel, Richard; Kreimer, Dirk: On the invariance of residues of Feynman graphs. (2002)
  16. 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)
  17. Briggs, Keith M.; Álvarez, Gonzalo: Scaling in a map of the two-torus. (2000)
  18. Haible, Bruno; Papanikolaou, Thomas: Fast multiprecision evaluation of series of rational numbers (1998)