Pages that link to "Item:Q3597987"
From MaRDI portal
The following pages link to Evaluation of a Java Computer Algebra System (Q3597987):
Displaying 4 items.
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- Generic, Type-Safe and Object Oriented Computer Algebra Software (Q3589073) (← links)
- Evaluation of a Java Computer Algebra System (Q3597987) (← links)
- Verification of the Jones unknot conjecture up to 22 crossings (Q4634898) (← links)