ALDOR
From MaRDI portal
Software:13960
swMATH1220MaRDI QIDQ13960FDOQ13960
Author name not available (Why is that?)
Cited In (26)
- PASCO'07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27--28, 2007.
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Paraldor project
- Title not available (Why is that?)
- Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
- Logic and dependent types in the Aldor computer algebra system
- Title not available (Why is that?)
- Unique factorization domains in the Java computer algebra system
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- Type specialization in Aldor
- Generic, type-safe and object oriented computer algebra software
- 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?)
- On the performance of parametric polymorphism in Maple
- 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?)
- On the links between triangular sets and dynamic constructible closure
- Evaluation of a Java Computer Algebra System
- Overview of the Mathemagix type system
- Domains and expressions: an interface between two approaches to computer algebra
- Title not available (Why is that?)
This page was built for software: ALDOR
