A practical algorithm for geometric theorem proving

İnönü Üniversitesi Karşısı
Malatya Teknokent-B No:3/1 İç Kapı No: B26
Battalgazi/Malatya

A practical algorithm for geometric theorem proving — Ashutosh Rege (1995) | RDL Network

Shared by

Chapter In A Book 1995 en

Related publications

A.S. Wallack, John F Canny

Wenxuan Huang, Daniil A. Kitchaev, Stephen Dacek, Ziqin Rong, Zhiwei Ding, Gerbrand Ceder

Authors

No comments yet. Be the first to comment.

Created:June 19, 2026

Hou Un Chan, Fiona Walport, Harry Slack, Leroy Gardner

Xiao Fan Wang, Guanrong Chen, King‐Tim Ko

Systems & Control Letters

T. Jayabarathi, T. Raghunathan, Amir Gandomi

Studies in computational intelligence