hilbert

Here are 2 public repositories matching this topic...

livrelogique / pravda

Pravda is a tool for teaching formal logic.

logic first-order-logic hilbert propositional-logic natural-deduction educational-project educational-software sequent-calculus proof-systems

Updated Oct 26, 2025
TypeScript

beatrizcabdan / AutoSFC

Star

AutoSFC is a web-based demo for the research-activities around the usage of Space-Filling Curves (SFC) for encoding and reducing the dimensionality of automotive data.

csp data hilbert dimensionality-reduction automotive sfc morton space-filling-curves

Updated Nov 4, 2025
TypeScript

Improve this page

Add a description, image, and links to the hilbert topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hilbert topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly