5 research outputs found

    Packing and covering in combinatorics

    Get PDF

    Steigungen höherer Ordnung zur verifizierten globalen Optimierung

    Get PDF
    In dieser Arbeit wird die automatische Berechnung von Steigungstupeln zweiter und höherer Ordnung behandelt. Die entwickelten Techniken werden in einem Algorithmus zur verifizierten globalen Optimierung verwendet. Anhand von Testbeispielen auf einem Rechner wird der neue Algorithmus mit einem Algorithmus aus der Literatur verglichen

    Україна. Європа. Світ: актуальні проблеми та міждисциплінарні досягнення розвитку іншомовної компетентності матеріали V Міжнародної науково-практичної студентської конференції для студентів немовних спеціальностей

    Get PDF
    У збірнику представлені матеріали V Міжнародної науково-практичної студентської конференції для студентів немовних спеціальностей, що висвітлюють питання філології, психології, педагогіки, методики викладання іноземних мов, історії, політології, екології, інформатики, менеджменту та економік

    Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem

    No full text
    corecore