AXIOM
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Fast arithmetic for triangular sets: from theory to practice
- Univariate polynomial factorization over finite fields
- Objects in algebraic programming system
- A Skeptic's approach to combining HOL and Maple
- Integrating computer algebra into proof planning
- Metalogical frameworks. II: Developing a reflected decision procedure
- FAST16
- GALOIS
- Sketches and parametrization
- IBM Scratchpad
- Maple
- Mathemagix
- Galois groups of second and third order linear differential equations
- Liouvillian and algebraic solutions of second and third order linear differential equations
- Calculations with simplicial and cubical groups in AXIOM
- MuPAD
- PROCRUSTES
- Projective Noether
- REDUCE
- SACLIB
- Solving a system of algebraic equations with symmetries
- On the computation of minimal polynomials, cyclic vectors, and Frobenius forms
- Pseudo differential operators and integrable systems in AXIOM
- A perspective on symbolic mathematical computing and artificial intelligence
- Cayley
- PSEUDO
- On second order homogeneous linear differential equations with Liouvillian solutions
- On square-free factorization of multivariate polynomials over a finite field.
- Indexed types
- MACSYMA
- ALDOR
- Equality in computer algebra and beyond.
- A constructive algebraic hierarchy in Coq.
- An object-oriented interpretation of the EAT system
- SciNapse
- CAS/PI
- SPAD
- DERIVE
- Examples of using dynamic constructible closure.
- Software for the algorithmic work with orthogonal polynomials and special functions
- Computation of kinematic paths and bifurcation points
- OMRS
- Shuffle algebra and polylogarithms
- Mathcad
- HAP
- MuPAD-Combinat
- QUOTPIC
- Blitz++ library
- jscl-meditor
- Orbital library
- MuPAD-Combinat, an open-source package for research in algebraic combinatorics
- FriCAS
- JAS
- Symja
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- An overview of a formal framework for managing mathematics
- Future problem solving environments for computational science
- Quadratic Newton iteration for systems with multiplicity
- Algorithms and proofs inheritance in the FOC language
- modpn
- An algorithm for computing an integral basis in an algebraic function field
- On coherence in computer algebra
- Subtyping inheritance and its application in languages for symbolic computation systems
- A computer algebra system based on order-sorted algebra
- A type system for computer algebra
- Cyclic caps in \(\mathrm{PG}(3,q)\)
- Dynamic evaluation and algebraic closure in Axiom
- Closed form Laurent-Puiseux series of algebraic functions
- Priority queues and multisets
- Constructing Carmichael numbers which are strong pseudoprimes to several bases
- Arcs in \(\mathrm{PG}(n,q)\) fixed by \(A_5\) and \(A_6\)
- Polynomial algorithms in computer algebra
- On the construction of arbitrary order schemes for the many dimensional wave equation
- Scala
- Aplusix-editor
- BPAS
- CUMODP
- VSDITLU
- Aplusix
- APS
- EAT
- On the classification of foliations of degree three with one singularity
- SuSy 2
- FoCaL
- OpenAxiom
- Calques 3D
- PyGeo
- OOLACA
- Implementing a method for stochastization of one-step processes in a computer algebra system
- On a machine-checked proof for fraction arithmetic over a GCD domain
- PROSPER
- Analytica
- Kinetic Framework
- Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective
- Modelling algebraic structures and morphisms in ACL2
- Locales: a module system for mathematical theories
- Formalizing mathematical knowledge as a biform theory graph: a case study
- Invariants for the FoCaL language
- Alma
- Hidden verification for computational mathematics
This page was built for software: AXIOM
