01 / Exact geometry

Exact geometry for construction, exploration, and discovery.

FluxGeo is a precision-first Euclidean geometry engine. Build constructions, inspect dependencies, and turn a mathematical idea into an editable object you can revisit.

A theorem configuration showing a triangle, circumcircle, Euler line, and a dependent point.
FIG. 01 / Triangle dependency O — G — H

The diagram represents a triangle with its circumcircle and Euler line. The dependent point updates as the construction changes.

02 / Product principles

A geometry instrument with a memory.

FluxGeo keeps the construction, the relationships between its objects, and the visual result in one inspectable workspace.

01

Exact construction core

Euclidean objects are built from exact mathematical state, so visual exploration does not quietly replace the construction’s truth.

02

Dynamic dependency model

Move a defining point and dependent geometry follows. The graph makes relationships useful for discovery, not merely for display.

03

Syntax and reusable tools

ScriptBlock gives repeated constructions a readable form that can be edited, shared, and used as a starting point for new questions.

03 / Syntax

Describe a family. Explore the proof.

FluxGeo Syntax is a compact way to express constructions that would be tedious to repeat by hand. Keep the geometry visible while the script gives it a reusable shape.

  • Readable declarations for points, sliders, and derived objects.
  • Editable scripts that stay close to the geometry they create.
Read the ScriptBlock guide →
script Wave {
    T = Slider(0, 6.28318, 0, 0.05)

    for i in -20..20 {
        xValue = i / 4
        P_i = (xValue, sin(xValue + T))
    }
}

04 / Discovery engine

Watch a conjecture become a theorem.

This live construction is inspired by IMO 2014 Problem 4. As the parent triangle moves, each relation is recomputed from the construction rather than drawn as a fixed illustration.

  1. 01
    Equal angles∠PAB = ∠BCA and ∠CAQ = ∠ABC.
  2. 02
    Similarity△ABP ∼ △CAQ follows from the paired angle relations.
  3. 03
    Congruent midpoint segmentsAP ≅ PM and AQ ≅ QN by construction.
  4. 04
    Cyclic discoveryThe intersection R of BM and CN remains on the circumcircle (ABC).
An animated geometry construction inspired by IMO 2014 Problem 4.
FIG. 02 / IMO 2014 · P4 study R ∈ (ABC)

05 / Applications

Choose the surface that fits the question.

FluxGeo is available in several forms. Each one has a distinct purpose; the web applications and native desktop build do not imply identical feature sets.

01

Modern web

A DOM-based experiment for fast, local-first exploration in the browser.

Open modern
02

Classic web

The v1.4-beta WebAssembly application for the established interactive geometry workflow.

Open classic
03

Native desktop

The downloadable desktop application for a fuller local environment and offline work.

View downloads

06 / Downloads

The current release, ready to inspect.

Download the v1.4-beta2 desktop packages, or open the archive for previous beta releases.

v1.4-beta2

Current release

Native packages for Windows and Linux. Choose the standard build or the Windows Software OpenGL variant for broader graphics compatibility.

Previous releases

07 / Philosophy

Make the mathematics clearer, not louder.

FluxGeo is built for patient investigation: exact where it matters, inspectable when it is useful, and respectful of the work around it.

Exactness

Mathematical state stays authoritative while visual proxies make interaction immediate.

Privacy and local-first work

FluxGeo works locally. There are no analytics or advertising trackers; external providers receive data only after a visitor actively clicks a link.

Open source, commercial licensing

The project is open source for study and collaboration, with commercial licensing available for uses that need it.