2 research outputs found

    Mechanical theorem proving in the local theory of surfaces

    Get PDF
    corecore