Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method

From MaRDI portal

(Redirected from Publication:616847)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Visually_dynamic_presentation_of_proofs_in_plane_geometry._II:_Automated_generation_of_visually_dynamic_presentations_with_the_full-angle_method_and_the_deductive_database_method&oldid=63054858"