Cited in
(42)- jemalloc
- On the exponential convergence of the method of fundamental solutions
- Computing elliptic curves over \(\mathbb {Q}\)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Kira -- a Feynman integral reduction program
- Computational Science – ICCS 2005
- One-loop integrals with XLOOPS-GiNaC
- Algorithm 871
- A simple modification of Newton's method to achieve convergence of order \(1+\sqrt 2\)
- Scaling in a Map of the Two-Torus
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- GSW
- High precision series solutions of differential equations: ordinary and regular singular points of second order ODEs
- Computing Elliptic Curves over $$\mathbb{Q}$$ : Bad Reduction at One Prime
- Orthogonal polynomials and Gaussian quadrature for refinable weight functions
- QCMPI
- xloops
- CPOLY
- MQSVIS
- ARPREC
- Phase diagram of the triangular-lattice Potts antiferromagnet
- Algorithm 693
- exflib
- seriesSolveOde1
- Algorithm 871
- MPACK
- CArL
- libMpIeee
- Gibbs Seawater
- ZKCM
- ZKCM_QC
- On the invariance of residues of Feynman graphs
- Gprof
- ecdata
- yaml-cpp
- Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices
- Numerical model for macroscopic quantum superpositions based on phase-covariant quantum cloning
- A precision- and range-independent tool for testing floating-point arithmetric I
- MOLECULAR DYNAMICS SIMULATIONS THROUGH SYMBOLIC PROGRAMMING
- scientific article; zbMATH DE number 1186953 (Why is no real title available?)
- Groebner basis methods for stationary solutions of a low-dimensional model for a shear flow
- Very-high-precision solutions of a class of Schrödinger type equations
This page was built for software: CLN
