Mars exploration

Mars rovers as moving laboratories.

Rovers combine geology, astrobiology, robotics, autonomy, power systems, landing engineering, and communications into one surface science platform.

Drag to rotate. Wheel to zoom. Right-drag to pan.

Rover Fleet

From pathfinder mobility to sample caching

Mars rover campaigns focus on potential life, geology, climate, and preparation for human exploration.

Sojourner

Pathfinder's 1997 microrover proved mobile robotic geology on Mars was possible.

Spirit

Explored Gusev crater, silica-rich deposits, volcanic rocks, and long-duration rover operations.

Opportunity

Traversed Meridiani Planum for years, finding hematite and evidence for ancient water.

Curiosity

A nuclear-powered rover climbing Mount Sharp, measuring habitability, organics, radiation, and climate.

Perseverance

Explores Jezero crater, caches samples, tests autonomy, and demonstrated MOXIE oxygen production.

Zhurong

China's Tianwen-1 rover explored Utopia Planitia and broadened international Mars surface operations.

Mission Design

How a rover campaign works

Entry, Descent, Landing

Aeroshell, parachute, retrorockets, sky crane or airbags, hazard detection, and precise targeting.

Surface Traverse

Daily planning, autonomy, wheel wear management, terrain classification, and power budgeting.

Payload Science

Cameras, spectrometers, drills, sample tubes, weather stations, ground-penetrating radar, and atmospheric chemistry.

Mathematical model

Engineering geometry model

Engineering models are procedural, dimensionally organized teaching models. They use geometric primitives, known subsystem layout, symmetry, and transformation matrices; they are not generated from a visual image and are not exact manufacturing CAD.

Rigid transform

\[\mathbf{p}_{\mathrm{world}}=TRS\,\mathbf{p}_{\mathrm{local}}\]

Every component is positioned by translation T, rotation R, and scale S. This gives a reproducible mathematical scene graph instead of freehand drawing.

Symmetry and repetition

\[\mathbf{p}_k=R_z\!\left(\frac{2\pi k}{N}\right)\mathbf{p}_0\]

Repeated structures such as solar panels, trusses, engines, wheels, and array segments are generated by rotational or translational symmetry.

Scale verification

\[\mathrm{ratio}_{\mathrm{scene}}=\frac{\mathrm{dimension}_a}{\mathrm{dimension}_b}\]

Where the page presents relative component sizes, the scene preserves those ratios or states when readability scaling is applied.

Verification standard: the rendered object must be reproducible from stated equations, catalog parameters, or explicit geometric transforms. Visual reference images may inform presentation only; they are not the source of orbital positions, field vectors, accretion-disk gradients, timing, or engineering layout.

Limitations: browser scenes may use bounded scale, compressed distances, simplified two-body dynamics, schematic transfer curves, or educational approximations where full numerical ephemerides, CFD, finite-element models, or general-relativistic ray tracing are outside the page scope. Those simplifications are part of the model contract, not hidden image-based construction.

Open the full site-wide mathematical verification policy