Pages that link to "Item:Q1949767"
From MaRDI portal
The following pages link to TASS: the toolkit for accurate scientific software (Q1949767):
Displaying 6 items.
- TASS_ (Q17041) (← links)
- TASS: the toolkit for accurate scientific software (Q1949767) (← links)
- Dynamic symbolic verification of MPI programs (Q2024366) (← links)
- Loop Invariant Symbolic Execution for Parallel Programs (Q2891433) (← links)
- Branch-locking AD techniques for nonsmooth composite functions and nonsmooth implicit functions (Q4685601) (← links)
- Refined mathematical model of economic dynamics under high inflation and unstable development (Q6095195) (← links)
