The following pages link to ALDOR (Q13960):
Displaying 26 items.
- The Paraldor project (Q1410025) (← links)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods (Q1808665) (← links)
- On a Java computer algebra system, its performance and applications (Q2476514) (← links)
- Logic and dependent types in the Aldor computer algebra system (Q2751550) (← links)
- Overview of the Mathemagix Type System (Q2799572) (← links)
- Unique Factorization Domains in the Java Computer Algebra System (Q3003230) (← links)
- (Q3148677) (← links)
- (Q3416642) (← links)
- (Q3416685) (← links)
- (Q3461924) (← links)
- (Q3532841) (← links)
- Type Specialization in Aldor (Q3589065) (← links)
- Generic, Type-Safe and Object Oriented Computer Algebra Software (Q3589073) (← links)
- Evaluation of a Java Computer Algebra System (Q3597987) (← links)
- (Q4217948) (← links)
- (Q4226956) (← links)
- (Q4227026) (← links)
- (Q4518868) (← links)
- (Q4790473) (← links)
- (Q4790481) (← links)
- (Q4934138) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
- Domains and expressions (Q5262773) (← links)
- Rule-Based Simplification in Vector-Product Spaces (Q5428264) (← links)
- From Untyped to Polymorphically Typed Objects in Mathematical Web Services (Q5756752) (← links)
- On the links between triangular sets and dynamic constructible closure (Q5946465) (← links)