Home My Page Projects Transcend With SOS
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project description

A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.

Latest File Releases

This project has not released any files.

Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (1 public mailing list)
SCM Repository (Git: 3,812 updates, 941 adds)
Latest News
No News Found