AXIOM

swMATH63MaRDI QIDQ12835

No author found.

Described by source

No records found.

Related Items (only showing first 100 items - show all)

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 ⋮ Formalizing mathematical knowledge as a biform theory graph: a case study ⋮ An algorithm for computing an integral basis in an algebraic function field ⋮ A System for Axiomatic Programming ⋮ Invariants for the FoCaL language ⋮ 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)\) ⋮ Unnamed Item ⋮ Solving a system of algebraic equations with symmetries ⋮ Unnamed Item ⋮ On the computation of minimal polynomials, cyclic vectors, and Frobenius forms ⋮ Dynamic evaluation and algebraic closure in Axiom ⋮ Pseudo differential operators and integrable systems 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 ⋮ A perspective on symbolic mathematical computing and artificial intelligence ⋮ Computations with Clifford and Grassmann algebras ⋮ On the construction of arbitrary order schemes for the many dimensional wave equation ⋮ Commutative algebra in the Mizar system ⋮ A bridge between dynamic geometry and computer algebra ⋮ Trace forms and ideals on commutative algebras satisfying an identity of degree four ⋮ Unnamed Item ⋮ Univariate polynomial factorization over finite fields ⋮ Unnamed Item ⋮ On second order homogeneous linear differential equations with Liouvillian solutions ⋮ On square-free factorization of multivariate polynomials over a finite field. ⋮ Indexed types ⋮ Unnamed Item ⋮ Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors ⋮ Equality in computer algebra and beyond. ⋮ A constructive algebraic hierarchy in Coq. ⋮ An object-oriented interpretation of the EAT system ⋮ 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 ⋮ Microlocal Diagonalization of Strictly Hyperbolic Pseudodifferential Systems and Application to the Design of Radiation Conditions in Electromagnetism ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hidden verification for computational mathematics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unique Factorization Domains in the Java Computer Algebra System ⋮ THE CHARACTER VALUES OF MULTIPLICITY-FREE IRREDUCIBLE CONSTITUENTS OF A TRANSITIVE PERMUTATION REPRESENTATION ⋮ Unnamed Item ⋮ An algebraic study of the Klein bottle ⋮ On a Java computer algebra system, its performance and applications ⋮ Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code ⋮ Formal algorithms applied to the study of the cyclicity of a generic algebraic polycycle with four hyperbolic crests ⋮ Effective algebraic geometry and normal forms of reversible mappings ⋮ Unnamed Item ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Generic, Type-Safe and Object Oriented Computer Algebra Software ⋮ The adjacency graph of a real algebraic surface ⋮ PSEUDO: applications of streams and lazy evaluation to integrable models ⋮ One Dimensional Quantum Walks with Memory ⋮ MuPAD-Combinat, an open-source package for research in algebraic combinatorics ⋮ Evaluation of a Java Computer Algebra System ⋮ Gaussian elimination: a case study in efficient genericity with MetaOCaml ⋮ Overview of the Mathemagix Type System ⋮ Triangular sets for solving polynomial systems: a comparative implementation of four methods ⋮ Objects in algebraic programming system ⋮ An overview of a formal framework for managing mathematics ⋮ $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation ⋮ Algebraic Structures as Typed Objects ⋮ A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy ⋮ Type classes for mathematics in type theory ⋮ A Skeptic's approach to combining HOL and Maple ⋮ Integrating computer algebra into proof planning ⋮ Unnamed Item ⋮ Fast arithmetic for triangular sets: from theory to practice ⋮ Quadratic Lie Algebras ⋮ Examples of using dynamic constructible closure. ⋮ Metalogical frameworks. II: Developing a reflected decision procedure ⋮ Software for the algorithmic work with orthogonal polynomials and special functions ⋮ Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective ⋮ Future problem solving environments for computational science ⋮ Computation of kinematic paths and bifurcation points ⋮ Object-oriented mathematical modelling—Applied to machine elements ⋮ Shuffle algebra and polylogarithms ⋮ Symbolic computations for the solution of inverse/design problems with Maple ⋮ Radiation-reaction in classical off-shell electrodynamics. I. The above mass-shell case ⋮ Sketches and parametrization ⋮ Modelling algebraic structures and morphisms in ACL2 ⋮ Quadratic Newton iteration for systems with multiplicity ⋮ Locales: a module system for mathematical theories ⋮ Algorithms and proofs inheritance in the FOC language ⋮ On the classification of foliations of degree three with one singularity ⋮ The Basic Polynomial Algebra Subprograms

This page was built for software: AXIOM