The following pages link to Wolfgang Schreiner (Q1019023):
Displayed 22 items.
- The RISC ProofNavigator: a proving assistant for program verification in the classroom (Q1019024) (← links)
- Distributed Maple: Parallel computer algebra in networked environments. (Q1401157) (← links)
- Validating mathematical theorems and algorithms with RISCAL (Q1798974) (← links)
- The design of the SACLIB/PACLIB kernels (Q1895403) (← links)
- Heterogeneous perfusion is a consequence of uniform shear stress in optimized arterial tree models (Q2177066) (← links)
- McCarthy-Kleene fuzzy automata and MSO logics (Q2182728) (← links)
- A para-functional programming interface for a parallel computer algebra package (Q2365132) (← links)
- (Q2702018) (← links)
- (Q2725948) (← links)
- Towards the Formal Specification and Verification of Maple Programs (Q2907326) (← links)
- On Formal Specification of Maple Programs (Q2907346) (← links)
- (Q3077200) (← links)
- (Q3177210) (← links)
- (Q3384166) (← links)
- (Q4524177) (← links)
- (Q4778653) (← links)
- (Q4790477) (← links)
- (Q4790579) (← links)
- (Q4813007) (← links)
- Thinking Programs (Q5007099) (← links)
- (Q5250859) (← links)
- Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker (Q6114445) (← links)