ALDOR
From MaRDI portal
Software:13960
swMATH1220MaRDI QIDQ13960FDOQ13960
Author name not available (Why is that?)
Cited In (26)
- Overview of the Mathemagix Type System
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Paraldor project
- Title not available (Why is that?)
- Logic and dependent types in the Aldor computer algebra system
- Title not available (Why is that?)
- Title not available (Why is that?)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- Rule-Based Simplification in Vector-Product Spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Domains and expressions
- Unique Factorization Domains in the Java Computer Algebra System
- Title not available (Why is that?)
- On a Java computer algebra system, its performance and applications
- From Untyped to Polymorphically Typed Objects in Mathematical Web Services
- Title not available (Why is that?)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework
- Title not available (Why is that?)
- Generic, Type-Safe and Object Oriented Computer Algebra Software
- Type Specialization in Aldor
- On the links between triangular sets and dynamic constructible closure
- Evaluation of a Java Computer Algebra System
- Title not available (Why is that?)
This page was built for software: ALDOR