The following pages link to (Q4023355):
Displaying 50 items.
- AXIOM (Q12835) (← links)
- Trace forms and ideals on commutative algebras satisfying an identity of degree four (Q370865) (← links)
- An algebraic study of the Klein bottle (Q504542) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Commutative algebra in the Mizar system (Q597122) (← links)
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- PSEUDO: applications of streams and lazy evaluation to integrable models (Q709591) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← 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)
- Implementing a method for stochastization of one-step processes in a computer algebra system (Q2216870) (← links)
- On a machine-checked proof for fraction arithmetic over a GCD domain (Q2217198) (← links)
- Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective (Q2324407) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- A geometric approach to alternating \(k\)-linear forms (Q2358795) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Invariants for the FoCaL language (Q2379680) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- The adjacency graph of a real algebraic surface (Q2491977) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Radiation-reaction in classical off-shell electrodynamics. I. The above mass-shell case (Q2861752) (← links)
- Quadratic Lie Algebras (Q3098163) (← links)
- Efficient Finite Fields in the Maxima Computer Algebra System (Q3519552) (← links)
- Generic, Type-Safe and Object Oriented Computer Algebra Software (Q3589073) (← links)
- Evaluation of a Java Computer Algebra System (Q3597987) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← 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)
- Employing C++ Templates in the Design of a Computer Algebra Library (Q5041073) (← links)
- Basic Polynomial Algebra Subprograms (Q5178932) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
