The following pages link to AXIOM (Q12835):
Displayed 50 items.
- On the construction of arbitrary order schemes for the many dimensional wave equation (Q1913592) (← links)
- On the classification of foliations of degree three with one singularity (Q2117426) (← 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)
- 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)
- On a Java computer algebra system, its performance and applications (Q2476514) (← links)
- The adjacency graph of a real algebraic surface (Q2491977) (← links)
- Gaussian elimination: a case study in efficient genericity with MetaOCaml (Q2507767) (← links)
- Computations with Clifford and Grassmann algebras (Q2655363) (← links)
- Microlocal Diagonalization of Strictly Hyperbolic Pseudodifferential Systems and Application to the Design of Radiation Conditions in Electromagnetism (Q2719090) (← links)
- THE CHARACTER VALUES OF MULTIPLICITY-FREE IRREDUCIBLE CONSTITUENTS OF A TRANSITIVE PERMUTATION REPRESENTATION (Q2731411) (← links)
- (Q2751550) (← links)
- (Q2767940) (← links)
- Overview of the Mathemagix Type System (Q2799572) (← 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)
- The Basic Polynomial Algebra Subprograms (Q2879193) (← links)
- A System for Axiomatic Programming (Q2907330) (← links)
- Unique Factorization Domains in the Java Computer Algebra System (Q3003230) (← links)
- Algebraic Structures as Typed Objects (Q3090909) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- Quadratic Lie Algebras (Q3098163) (← links)
- Object-oriented mathematical modelling—Applied to machine elements (Q3123742) (← links)
- Symbolic computations for the solution of inverse/design problems with Maple (Q3129630) (← links)
- (Q3136296) (← links)
- One Dimensional Quantum Walks with Memory (Q3171607) (← links)
- (Q3413659) (← links)
- Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors (Q3508493) (← links)
- (Q3575020) (← links)
- Generic, Type-Safe and Object Oriented Computer Algebra Software (Q3589073) (← links)
- Evaluation of a Java Computer Algebra System (Q3597987) (← links)
- (Q3605574) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- Formal algorithms applied to the study of the cyclicity of a generic algebraic polycycle with four hyperbolic crests (Q3841265) (← links)
- (Q3842177) (← links)
- (Q4023676) (← links)
- (Q4226956) (← links)
- (Q4227277) (← links)
- (Q4227328) (← links)
- (Q4227331) (← links)
- (Q4227345) (← links)
- (Q4232469) (← links)
- (Q4232470) (← links)
- (Q4232473) (← links)
- (Q4232479) (← links)