Pages that link to "Item:Q5505509"
From MaRDI portal
The following pages link to Symbolic Computation Software Composability (Q5505509):
Displaying 6 items.
- A Singular web service for geometric computations (Q2354915) (← links)
- Generic, Type-Safe and Object Oriented Computer Algebra Software (Q3589073) (← links)
- OpenMath in SCIEnce: SCSCP and POPCORN (Q3637305) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- Symbolic Computation Software Composability (Q5505509) (← links)
