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