Pages that link to "Item:Q4421218"
From MaRDI portal
The following pages link to Certification of computational results (Q4421218):
Displayed 5 items.
- Checker for data structures which sort elements (Q293137) (← links)
- Certifying algorithms (Q465678) (← links)
- Efficient authenticated data structures for graph connectivity and geometric search problems (Q548654) (← links)
- Checking the convexity of polytopes and the planarity of subdivisions (Q1276945) (← links)
- AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS (Q5249251) (← links)