[Coq-Club] Differential Geometry Module Proposal

[Larry Lee]

Hi,

I'm looking for mathematical fields that currently do not have any
contributed developments and noticed that none of the modules listed in the
Coq Package Index appeared to cover differential geometry. I'd like to
develop a module covering basic results, but I'd like to avoid duplicating
existing work. Does anyone know of any Coq modules that cover Differential
Geometry? If not, would anyone like to share any recommendations/requests
concerning the new module?

Thanks,
- Larry Lee

[Li-yao Xia]

I wonder whether synthetic differential geometry would be an interesting
starting point for such a project.

Li-yao

Post by Larry Lee
Hi,
I'm looking for mathematical fields that currently do not have any
contributed developments and noticed that none of the modules listed in
the Coq Package Index appeared to cover differential geometry. I'd like
to develop a module covering basic results, but I'd like to avoid
duplicating existing work. Does anyone know of any Coq modules that
cover Differential Geometry? If not, would anyone like to share any
recommendations/requests concerning the new module?
Thanks,
- Larry Lee

[Thomas Burdick]

I'm not aware of any such modules in Coq, but I'd be very interested to hear of any progress you make here!

Bon courage!
Thomas

[cid:***@01D41902.C62EECA0]

Thomas BURDICK | Principal Services AE
P: [phone] www.cadence.com<http://www.cadence.com>







De : <coq-club-***@inria.fr> au nom de Larry Lee <***@gmail.com>
Répondre à : "coq-***@inria.fr" <coq-***@inria.fr>
Date : jeudi 9 août 2018 à 20:31
À : "coq-***@inria.fr" <coq-***@inria.fr>
Objet : [Coq-Club] Differential Geometry Module Proposal

EXTERNAL MAIL
Hi,

I'm looking for mathematical fields that currently do not have any contributed developments and noticed that none of the modules listed in the Coq Package Index appeared to cover differential geometry. I'd like to develop a module covering basic results, but I'd like to avoid duplicating existing work. Does anyone know of any Coq modules that cover Differential Geometry? If not, would anyone like to share any recommendations/requests concerning the new module?

Thanks,
- Larry Lee