( en | de | ru )

 

Disambiguation of "Bottesch, Ralph"

Author of the publication

copydeleteadd this publication to your clipboard
Linear Inequalities.

, , and . Arch. Formal Proofs, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johanna Bottesch

John Ralph

Ralph Wirth

Best-Worst Choice-Based Conjoint-Analyse: eine neue Variante der wahlbasierten Conjoint-Analyse. Uni Erlangen-Nürnberg, (2009)

Ralph Schneid

Verfahrenstechnische Beeinflussungen des Maischens sowie dessen Auswirkungen auf den Brauprozess und die Bierqualität. TU Berlin, (2009)

Ralph Gaulke

 

Other publications of authors with the same name

A Hierarchy of Polynomial Kernels., , and . CoRR, (2019)Farkas' Lemma and Motzkin's Transposition Theorem., , and . Arch. Formal Proofs, (2019)Linear Inequalities., , and . Arch. Formal Proofs, (2019)Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL., , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 233-250. Springer, (2020)Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL., , and . FroCos, volume 11715 of Lecture Notes in Computer Science, page 223-239. Springer, (2019)Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation., , and . Arch. Formal Proofs, (2021)Relativization and Interactive Proof Systems in Parameterized Complexity Theory.. IPEC, volume 89 of LIPIcs, page 9:1-9:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL., , , , , and . J. Autom. Reason., 64 (5): 827-856 (2020)A Verified Efficient Implementation of the LLL Basis Reduction Algorithm., , and . LPAR, volume 57 of EPiC Series in Computing, page 164-180. EasyChair, (2018)On W1-Hardness as Evidence for Intractability.. CoRR, (2017)