vix.ing · top · new · best · stats · spec

Valentijn Karemaker

  1. A survey of local-global methods for Hilbert's Tenth Problem
    2023/09/26 by Sylvy Anscombe, Anscombe, Sylvy, Valentijn Karemaker +9 · 1 citation
    Computer Science · Mathematics · #Polynomial and algebraic computation #Computability, Logic, AI Algorithms #Commutative Algebra and Its Applications