Pages that link to "Item:Q3102733"

From MaRDI portal

← Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733)

Jump to:navigation, search

The following pages link to Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733):

Displaying 3 items.

Foundational aspects of multiscale digitization (Q1935768) (← links)
Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"