"Counting polynomial roots in isabelle/hol: a formal proof of the ..."

Wenda Li, Lawrence C. Paulson (2019)
[–] 

Details and statistics

DOI: 10.1145/3293880.3294092

access: closed

type: Conference or Workshop Paper

metadata version: 2025-02-06