Pages that link to "Item:Q1264454"
From MaRDI portal
The following pages link to Generation and verfication of algorithms for symbolic-numeric processing (Q1264454):
Displaying 5 items.
- Efficient hybrid-symbolic methods for quantum mechanical calculations (Q311842) (← links)
- (Q2718897) (← links)
- Multi-language approach in automatic generation of numerical procedures (Q2746160) (← links)
- A Symbolic-Numeric Algorithm for Genus Computation (Q2912115) (← links)
- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations (Q5747899) (← links)