AIN
Geometry for The 21st Cen

Geometry for The 21st Cen

location_on Dinamarca ,  Dinamarca

Por favor toma nota:
Invirtiendo en empresas jóvenes lleva riesgos como falta de liquidez, falta de dividendos, pérdida de inversión y dilución. Debería hacer parte de un portafolio diversificado. La plataforma está dirigida únicamente a inversores sofisticados que entienden estos riesgos y pueden hacer sus propios decisiones cuando están invirtiendo. Esta información no ha sido aprobada como una promoción financiera y Ud. tiene que hacer su propia diligencia debida.

Resumen corto

Implement Wildberger's Rational Trigonometry (and also Hestenes' work and Sussman's and...) in Idris2 - geometric predicates completely verified and finally exact.

Puntos claves

  • SolidGebra (web app very soon)
  • ProofMason (consultancy project name)
  • Geometric predicates - verified, decidable, finally exact
  • Underrated mathematics gives us a clear advantage on the market.
  • Screw angles and even distance - how long is your decimal expansion?

Resumen

Objetivo $600,000
Mínimo $125,000
Inversión recaudada $0
Rondas anteriores $0
Fase Pre-lanzamiento/R&D
Función del inversor Monthly

Haga una pregunta
¿Tienes alguna pregunta sobre este proyecto?

Propuestas Similares