Pages that link to "Item:Q2303244"

From MaRDI portal

← A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244)

Jump to:navigation, search

The following pages link to A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244):

Displaying 2 items.

Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL (Q2209537) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2303244"