Software Map

Project Tree

Now limiting view to projects in the following categories:
Topic :: Scientific/Engineering :: Mathematics [Remove This Filter]
Research center :: Saclay - Ile de France [Remove This Filter]
Natural Language :: English [Remove This Filter]

License > Public Domain	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

1 project in result set.

Transcend With SOS - 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.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : Public Domain[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering : Mathematics (Now Filtering)

Activity Percentile: 0.00

Registered: 2012-01-08 22:29