Viktoriia Borovik

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Interactive Theorem Proving

Input Parameters

Artificial Neural Networks

Top Venues

Publications

Viktoriia Borovik, Paul Breiding
A short proof for the parameter continuation theorem. CoRR (2023)