ALDOR
From MaRDI portal
Cited in
(40)- AXIOM
- LinBox
- The Paraldor project
- STAR/MPI
- XSSR
- SciMark
- jscl-meditor
- Orbital library
- JAS
- Symja
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- CMPSm
- OpenAxiom
- OOLACA
- sumit
- Alma
- On a Java computer algebra system, its performance and applications
- Logic and dependent types in the Aldor computer algebra system
- Overview of the Mathemagix type system
- Unique factorization domains in the Java computer algebra system
- scientific article; zbMATH DE number 1811825 (Why is no real title available?)
- scientific article; zbMATH DE number 5117546 (Why is no real title available?)
- On the performance of parametric polymorphism in Maple
- scientific article; zbMATH DE number 6532530 (Why is no real title available?)
- PASCO'07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27--28, 2007.
- Type specialization in Aldor
- Generic, type-safe and object oriented computer algebra software
- Evaluation of a Java Computer Algebra System
- scientific article; zbMATH DE number 1222424 (Why is no real title available?)
- scientific article; zbMATH DE number 1253978 (Why is no real title available?)
- scientific article; zbMATH DE number 1254038 (Why is no real title available?)
- scientific article; zbMATH DE number 1538013 (Why is no real title available?)
- scientific article; zbMATH DE number 1860742 (Why is no real title available?)
- scientific article; zbMATH DE number 1860750 (Why is no real title available?)
- scientific article; zbMATH DE number 1389645 (Why is no real title available?)
- Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
- Domains and expressions: an interface between two approaches to computer algebra
- Rule-Based Simplification in Vector-Product Spaces
- From Untyped to Polymorphically Typed Objects in Mathematical Web Services
- On the links between triangular sets and dynamic constructible closure
This page was built for software: ALDOR
