×

Found 12 Documents (Results 1–12)

Verifying an incremental theory solver for linear arithmetic in Isabelle/HOL. (English) Zbl 1435.68362

Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 223-239 (2019).
MSC:  68V15 68R07
PDFBibTeX XMLCite
Full Text: DOI

The duality between the perceptron algorithm and the von Neumann algorithm. (English) Zbl 1305.49045

Zuluaga, Luis F. (ed.) et al., Modeling and optimization. Theory and applications. Selected contributions from the MOPTA 2012 conference, Bethlehem, PA, USA, July 30 – August 1, 2012. New York, NY: Springer (ISBN 978-1-4614-8986-3/hbk; 978-1-4614-8987-0/ebook). Springer Proceedings in Mathematics & Statistics 62, 113-136 (2013).
PDFBibTeX XMLCite
Full Text: DOI

New variants of dual interior point algorithms for systems of linear inequalities. (Russian, English) Zbl 1076.65056

Zh. Vychisl. Mat. Mat. Fiz. 44, No. 7, 1234-1243 (2004); translation in Comput. Math. Math. Phys. 44, No. 7, 1170-1178 (2004).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software