The following pages link to AXIOM (Q12835):
Displaying 50 items.
- 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)
- Effective algebraic geometry and normal forms of reversible mappings (Q700032) (← links)
- PSEUDO: applications of streams and lazy evaluation to integrable models (Q709591) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Fast arithmetic for triangular sets: from theory to practice (Q1025397) (← links)
- Univariate polynomial factorization over finite fields (Q1127311) (← links)
- Objects in algebraic programming system (Q1264601) (← links)
- A Skeptic's approach to combining HOL and Maple (Q1272607) (← links)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- Metalogical frameworks. II: Developing a reflected decision procedure (Q1283204) (← links)
- Sketches and parametrization (Q1314408) (← links)
- Galois groups of second and third order linear differential equations (Q1332656) (← links)
- Liouvillian and algebraic solutions of second and third order linear differential equations (Q1332657) (← links)
- Calculations with simplicial and cubical groups in AXIOM (Q1333171) (← 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)
- A perspective on symbolic mathematical computing and artificial intelligence (Q1370611) (← 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)
- An object-oriented interpretation of the EAT system (Q1413645) (← links)
- Examples of using dynamic constructible closure. (Q1565817) (← links)
- Software for the algorithmic work with orthogonal polynomials and special functions (Q1572616) (← links)
- Computation of kinematic paths and bifurcation points (Q1584981) (← links)
- Shuffle algebra and polylogarithms (Q1591148) (← links)
- MuPAD-Combinat, an open-source package for research in algebraic combinatorics (Q1778027) (← links)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods (Q1808665) (← links)
- An overview of a formal framework for managing mathematics (Q1810918) (← links)
- Future problem solving environments for computational science (Q1840890) (← links)
- Quadratic Newton iteration for systems with multiplicity (Q1865830) (← links)
- Algorithms and proofs inheritance in the FOC language (Q1868513) (← links)
- An algorithm for computing an integral basis in an algebraic function field (Q1892143) (← links)
- On coherence in computer algebra (Q1895394) (← links)
- Subtyping inheritance and its application in languages for symbolic computation systems (Q1895396) (← links)
- A computer algebra system based on order-sorted algebra (Q1895399) (← links)
- A type system for computer algebra (Q1895401) (← links)
- Cyclic caps in \(\mathrm{PG}(3,q)\) (Q1900074) (← links)
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- Closed form Laurent-Puiseux series of algebraic functions (Q1908899) (← links)
- Priority queues and multisets (Q1909965) (← links)
- Constructing Carmichael numbers which are strong pseudoprimes to several bases (Q1911938) (← links)
- Arcs in \(\mathrm{PG}(n,q)\) fixed by \(A_5\) and \(A_6\) (Q1912003) (← links)
- Polynomial algorithms in computer algebra (Q1912495) (← links)
