The following pages link to CLN (Q18049):
Displaying 22 items.
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices (Q442387) (← links)
- Groebner basis methods for stationary solutions of a low-dimensional model for a shear flow (Q484466) (← links)
- Orthogonal polynomials and Gaussian quadrature for refinable weight functions (Q704214) (← links)
- Numerical model for macroscopic quantum superpositions based on phase-covariant quantum cloning (Q744366) (← links)
- High precision series solutions of differential equations: ordinary and regular singular points of second order ODEs (Q744371) (← links)
- One-loop integrals with XLOOPS-GiNaC (Q1613703) (← links)
- Kira -- a Feynman integral reduction program (Q2102497) (← links)
- Very-high-precision solutions of a class of Schrödinger type equations (Q2275538) (← links)
- A simple modification of Newton's method to achieve convergence of order \(1+\sqrt 2\) (Q2345326) (← links)
- Scaling in a Map of the Two-Torus (Q2743879) (← links)
- ON THE EXPONENTIAL CONVERGENCE OF THE METHOD OF FUNDAMENTAL SOLUTIONS (Q2971800) (← links)
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (Q3453240) (← links)
- Algorithm 871 (Q3549189) (← links)
- (Q3840177) (← links)
- Computing Elliptic Curves over $$\mathbb{Q}$$ : Bad Reduction at One Prime (Q4604874) (← links)
- Computing elliptic curves over $\mathbb {Q}$ (Q4612572) (← links)
- On the invariance of residues of Feynman graphs (Q4832755) (← links)
- Phase diagram of the triangular-lattice Potts antiferromagnet (Q5365163) (← links)
- A precision- and range-independent tool for testing floating-point arithmetric I (Q5460993) (← links)
- MOLECULAR DYNAMICS SIMULATIONS THROUGH SYMBOLIC PROGRAMMING (Q5704670) (← links)
- Computational Science – ICCS 2005 (Q5709534) (← links)
