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

Long Qian

  1. Axiomatization of Compact Initial Value Problems: Open Properties
    2024/10/17 by André Platzer, Long Qian, Platzer, André +1 · 1 voice · 3 citations
    Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, programming, and type systems #Advanced Optimization Algorithms Research