The following pages link to (Q4302494):
Displayed 25 items.
- A Maple package to find first order differential invariants of 2ODEs via a Darboux approach (Q313887) (← links)
- Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method (Q557767) (← links)
- Constructive algebra methods for the \(L_ 2\)-problem for stable linear systems (Q675268) (← links)
- Determining Liouvillian first integrals for dynamical systems in the plane (Q710161) (← links)
- A semi-algorithm to find elementary first order invariants of rational second order ordinary differential equations (Q870108) (← links)
- An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point (Q907209) (← links)
- Parametric mixed-integer 0-1 linear programming: The general case for a single parameter (Q958548) (← links)
- Certifying properties of an efficient functional program for computing Gröbner bases (Q1012152) (← links)
- Equality in computer algebra and beyond. (Q1404423) (← links)
- Floating point Gröbner bases. (Q1565834) (← links)
- Predicting zero coefficients in formal power series computations. (Q1599549) (← links)
- On degrees of modular common divisors and the big prime gcd algorithm (Q1751453) (← links)
- A new symbolic computation for formal integration with exact power series (Q1763268) (← links)
- Functional programming concepts and straight-line programs in computer algebra (Q1849848) (← links)
- An efficient method for computing Liouvillian first integrals of planar polynomial vector fields (Q1981735) (← links)
- Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form (Q2363599) (← links)
- The nearest polynomial with a zero in a given domain (Q2378507) (← links)
- Exact computation of the medial axis of a polyhedron (Q2388543) (← links)
- Construction of explicit Runge-Kutta pairs with stiffness detection (Q2486761) (← links)
- Intersecting quadrics: an efficient and exact implementation (Q2507161) (← links)
- Complexity of Integration, Special Values, and Recent Developments (Q2819268) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- Efficient techniques for performing an irregular computation on distributed memory machines (Q4392348) (← links)
- Detecting algebraic curves in bad position (Q5937884) (← links)
- Multiplicative independence of algebraic numbers and expressions (Q5951567) (← links)