The following pages link to (Q4023355):
Displayed 29 items.
- AXIOM (Q12835) (← links)
- Commutative algebra in the Mizar system (Q597122) (← links)
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- Univariate polynomial factorization over finite fields (Q1127311) (← links)
- Sketches and parametrization (Q1314408) (← links)
- Solving a system of algebraic equations with symmetries (Q1358907) (← links)
- On the computation of minimal polynomials, cyclic vectors, and Frobenius forms (Q1361771) (← links)
- Pseudo differential operators and integrable systems in AXIOM (Q1365899) (← links)
- On second order homogeneous linear differential equations with Liouvillian solutions (Q1389616) (← links)
- On square-free factorization of multivariate polynomials over a finite field. (Q1389623) (← links)
- Indexed types (Q1389626) (← links)
- Equality in computer algebra and beyond. (Q1404423) (← links)
- A constructive algebraic hierarchy in Coq. (Q1404425) (← links)
- Examples of using dynamic constructible closure. (Q1565817) (← links)
- Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey (Q1581129) (← links)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods (Q1808665) (← links)
- Cyclic caps in \(\mathrm{PG}(3,q)\) (Q1900074) (← links)
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- Arcs in \(\mathrm{PG}(n,q)\) fixed by \(A_5\) and \(A_6\) (Q1912003) (← links)
- On the construction of arbitrary order schemes for the many dimensional wave equation (Q1913592) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- The adjacency graph of a real algebraic surface (Q2491977) (← links)
- On Strong Pseudoprimes to Several Bases (Q4274406) (← links)
- Rabin-Miller Primality Test: Composite Numbers Which Pass It (Q4325735) (← links)
- Refiner: A Problem-Solving Environment for Scientific Simulator Creation (Q4456573) (← links)
- (Q4506060) (← links)
- Calcul de résolvantes avec les modules de Cauchy (Q4947132) (← links)
- The \(HD\) and \(H\bar D\) methods for accelerating the convergence of three-center nuclear attraction and four-center two-electron Coulomb integrals over \(B\) functions and their convergence properties (Q5928904) (← links)
- On the links between triangular sets and dynamic constructible closure (Q5946465) (← links)