Two New Ways to Formally Prove Dandelin-Gallucci's Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Braun, Nicolas Magaud, Pascal Schreck. Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. In Frédéric Chyzak, George Labahn, editors, ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021. pages 59-66, ACM, 2021. [doi]

This author has not been identified. Look up 'David Braun' in GoogleThis author has not been identified. Look up 'Nicolas Magaud' in GoogleThis author has not been identified. Look up 'Pascal Schreck' in Google

runs on WebDSL