mathematical-engine

Here are 3 public repositories matching this topic...

ansumandas441 / mathematical-discovery-engine

This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results

visualization python open-source machine-learning theorem-proving mathematics artificial-intelligence proof-assistant knowledge-graph graph-theory knowledge-base number-theory automated-reasoning claude discovery-engine llm mathematical-proofs claude-code mathematical-engine

Updated Jun 2, 2026
Python

paceval / paceval

Star

paceval is a high-performance mathematical runtime for deterministic AI and energy-efficient edge computing.

fpga cross-platform high-performance artificial-intelligence embedded-systems scientific-computing hardware-acceleration real-time-systems decision-engine edge-computing explainable-ai industrial-ai edge-ai runtime-engine ai-guardrails mathematical-engine auditable-ai deterministic-ai deterministic-runtime

Updated Mar 8, 2026
HTML

A high-performance, zero-dependency 3D visualization suite engineered from first principles for the Linux Direct Rendering Manager (DRM/KMS). KSME bypasses user-space display servers (X11/Wayland) to interface directly with the kernel's memory-mapped hardware buffers.

linux kernel kms math mathematics drm cpp17 zero-dependency 3d mathematical-engine

Updated Apr 22, 2026
C++

Improve this page

Add a description, image, and links to the mathematical-engine 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 mathematical-engine 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