Digital Repository at Indian Institute of Science Education and Research Pune: Browsing DSpace

Browsing by Subject Automated theorem proving

Jump to a point in the index:
Or type in a year:

Showing results 1 to 1 of 1

Issue Date	Title	Author(s)
May-2022	Euclidean Geometry by High-performance Solvers?	Gadgil, Siddhartha; TADIPATRI, ANAND; Dept. of Mathematics

Showing results 1 to 1 of 1