capd Files

Computer Assisted Proofs in Dynamics

Brought to you by: capd

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
dlls_for_capd.zip	2017-02-10	3.2 MB	0
Totals: 1 Item		3.2 MB	0

Source: README.md, updated 2014-10-31

Other Useful Business Software

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Try Free

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Try Free

Recommended Projects

FractalJ
FractalJ is an application designed to be an education tool for teaching fractals and chaotic dynamical systems. Fractals, complete bifurcation diagrams, orbit diagrams, iterated function systems as well as the Mandelbrot and Julia sets are provided.
AbstractAlgebra
This is a program for compute the dimension of the Hochschild homology k-vector spaces of a k-algebra A.
PyDSTool
This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...
AUTO-07P
AUTO is a publicly available software for continuation and bifurcation problems in ordinary differential equations originally written in 1980 and widely used in the dynamical systems community.
Oscill8
Oscill8 is a suite of tools for analyzing dynamical systems which concentrates on understanding how the dynamical behavior depends on the parameters using bifurcation theory and reaction network theory.