References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
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. Buraczewski, A.; Stobińska, M.: Numerical model for macroscopic quantum superpositions based on phase-covariant quantum cloning (2012)
  5. 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)
  6. Noreen, Amna; Olaussen, Kåre: High precision series solutions of differential equations: ordinary and regular singular points of second order ODEs (2012)
  7. Walsh, Timothy R.S.; Giorgetti, Alain; Mednykh, Alexander: Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices (2012)
  8. Mushtaq, Asif; Noreen, Amna; Olaussen, Kåre; Øverbø, Ingjald: Very-high-precision solutions of a class of Schrödinger type equations (2011)
  9. Schreppers, Walter; Cuyt, Annie A.M.: Algorithm 871: A C/C++ precompiler for autogeneration of multiprecision programs. (2008)
  10. Dudek, Mirosław R.; Nadzieja, Tadeusz: Molecular dynamics simulations through symbolic programming (2005)
  11. Schreppers, Walter; Backeljauw, Franky; Cuyt, Annie: MPL: A multiprecision MATLAB-like environment (2005)
  12. Laurie, D.P.; de Villiers, J.M.: Orthogonal polynomials and Gaussian quadrature for refinable weight functions (2004)
  13. Bauer, C.; Do, H.S.: One-loop integrals with XLOOPS-giNaC (2002)
  14. Bierenbaum, Isabella; Kreckel, Richard; Kreimer, Dirk: On the invariance of residues of Feynman graphs. (2002)
  15. 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)
  16. Haible, Bruno; Papanikolaou, Thomas: Fast multiprecision evaluation of series of rational numbers (1998)