4 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 4 cited
Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers
Christoph Lüders
A novel way to use SMT (Satisfiability Modulo Theories) solvers to compute the tropical prevariety (resp. equilibrium) of a polynomial system is presented. The new method is benchm…
cs.MS2015★ 4 cited
Fast Multiplication of Large Integers: Implementation and Analysis of the DKSS Algorithm
Christoph Lüders
The Schönhage-Strassen algorithm (SSA) is the de-facto standard for multiplication of large integers. For -bit numbers it has a time bound of $O(N \cdot \log N \cdot \log \log N…