capd Activity

Computer Assisted Proofs in Dynamics

Brought to you by: capd

Activity for capd

3 years ago
capd released /5.3.0/build_date
3 years ago
capd released /5.3.0/capd-5.3.0.zip
3 years ago
capd released /5.3.0/capd-5.3.0.tar.gz
3 years ago
capd released /5.3.0/README.md
3 years ago
capd released /5.3.0.beta/src/capd-capdDynSys-5.3.0.beta.zip
3 years ago
capd released /5.3.0.beta/src/capd-capdDynSys-5.3.0.beta.tar.gz
3 years ago
capd released /5.3.0.beta/src/capd-5.3.0.beta.tar.gz
3 years ago
capd released /5.3.0.beta/src/capd-5.3.0.beta.zip
3 years ago
capd released /5.3.0.beta/src/build_date
3 years ago
capd updated /5.1.3/src/README.md
3 years ago
capd released /5.1.3/src/capd-capdDynSys-5.1.3.tar.gz
3 years ago
capd released /5.1.3/src/capd-capdDynSys-5.1.3.zip
3 years ago
capd released /5.1.3/src/build_date
3 years ago
capd released /5.1.3/src/README.md
3 years ago
capd released /5.1.3/README.md
5 years ago
capd updated /5.1.2/bin/README.md
5 years ago
capd updated /5.1.2/src/README.md
5 years ago
capd released /5.1.2/bin/capd-capdDynSys-5.1.13-dev-ubuntu_x86-x86_64.zip
5 years ago
capd updated /5.1.2/README.md
5 years ago
capd released /5.1.2/bin/capd-5.1.13-dev-ubuntu_x86-x86_64.zip
5 years ago
capd released /5.1.2/bin/capd-5.1.13-dev-ubuntu_x86-x86_64.tar.gz
5 years ago
capd released /5.1.2/bin/capd-capdDynSys-5.1.13-dev-ubuntu_x86-x86_64.tar.gz
5 years ago
capd updated /5.1.2/bin/build_date
6 years ago
capd released /5.1.2/src/capd-capdDynSys-5.1.2.tar.gz
6 years ago
capd released /5.1.2/src/README.md
6 years ago
capd released /5.1.2/bin/capd-5.1.2-dev-ubuntu_x86-x86_64.zip
6 years ago
capd released /5.1.2/src/build_date
6 years ago
capd released /5.1.2/src/capd-capdDynSys-5.1.2.zip
6 years ago
capd released /5.1.2/README.md
6 years ago
capd released /5.1.2/src/capd-5.1.2.zip
6 years ago
capd released /5.1.2/bin/README.md
6 years ago
capd released /5.1.2/src/capd-5.1.2.tar.gz
6 years ago
capd released /5.1.2/bin/build_date
6 years ago
capd released /5.1.2/bin/capd-5.1.2-dev-ubuntu_x86-x86_64.tar.gz
6 years ago
capd released /5.1.1/bin/capd-5.1.1-dev-ubuntu_x86-x86_64.tar.gz
6 years ago
capd released /5.1.1/src/README.md
6 years ago
capd released /5.1.1/src/capd-5.1.1.tar.gz
6 years ago
capd released /5.1.1/bin/README.md
6 years ago
capd released /5.1.1/README.md
6 years ago
capd released /5.1.1/src/capd-capdDynSys-5.1.1.zip
6 years ago
capd released /5.1.1/src/capd-5.1.1.zip
6 years ago
capd released /5.1.1/bin/capd-capdDynSys-5.1.1-dev-ubuntu_x86-x86_64.tar.gz
6 years ago
capd released /5.1.1/bin/capd-5.1.1-dev-ubuntu_x86-x86_64.zip
6 years ago
capd released /5.1.1/bin/capd-capdDynSys-5.1.1-dev-ubuntu_x86-x86_64.zip
6 years ago
capd released /5.1.1/src/capd-capdDynSys-5.1.1.tar.gz
6 years ago
capd released /5.1.0/README.md
6 years ago
capd released /5.1.0/bin/capd-capdDynSys-5.1.0-dev-ubuntu_x86-x86_64.zip
6 years ago
capd released /5.1.0/src/README.md
6 years ago
capd released /5.1.0/bin/README.md
6 years ago
capd released /5.1.0/bin/capd-5.1.0-dev-ubuntu_x86-x86_64.zip
6 years ago
capd released /5.1.0/bin/capd-5.1.0-dev-ubuntu_x86-x86_64.tar.gz
6 years ago
capd released /5.1.0/bin/capd-capdDynSys-5.1.0-dev-ubuntu_x86-x86_64.tar.gz
6 years ago
capd released /5.1.0/src/capd-5.1.0.zip
6 years ago
capd released /5.1.0/src/capd-5.1.0.tar.gz
6 years ago
capd released /5.1.0/src/capd-capdDynSys-5.1.0.tar.gz
6 years ago
capd released /5.1.0/src/capd-capdDynSys-5.1.0.zip
6 years ago
capd released /5.1.0/src/build_date
6 years ago
capd released /5.1.0/bin/build_date
6 years ago
capd released /5.0.64/bin/capd-5.0.64-dev-ubuntu_x86-x86_64.tar.gz
6 years ago
capd released /5.0.64/src/README.md
6 years ago
capd released /5.0.64/src/capd-capdDynSys-5.0.64.tar.gz
6 years ago
capd released /5.0.64/src/capd-5.0.64.zip
6 years ago
capd released /5.0.64/src/capd-5.0.64.tar.gz
6 years ago
capd released /5.0.64/bin/README.md
6 years ago
capd released /5.0.64/bin/capd-5.0.64-dev-ubuntu_x86-x86_64.zip
6 years ago
capd released /5.0.64/bin/build_date
6 years ago
capd released /5.0.64/src/capd-capdDynSys-5.0.64.zip
6 years ago
capd released /5.0.64/src/build_date
6 years ago
capd released /5.0.64/bin/capd-capdDynSys-5.0.64-dev-ubuntu_x86-x86_64.zip
6 years ago
capd released /5.0.64/bin/capd-capdDynSys-5.0.64-dev-ubuntu_x86-x86_64.tar.gz
6 years ago
capd released /5.0.64/README.md
8 years ago
capd released /5.0.59/src/README.md
8 years ago
capd released /5.0.59/README.md
8 years ago
capd released /5.0.59/bin/README.md
8 years ago
capd released /5.0.34/bin/README.md
8 years ago
capd released /5.0.34/src/README.md
8 years ago
capd released /5.0.34/README.md
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-osx_10.12-x86_64.zip
9 years ago
capd released /5.0.6/src/capd-5.0.6.tar.gz
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-x86_64-w64-mingw32.static.tar.gz
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-x86_64-w64-mingw32.shared.tar.gz
9 years ago
capd released /5.0.6/src/capd-5.0.6.zip
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-i686-pc-linux-gnu.zip
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-ubuntu_16.04-x86_64.zip
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-x86_64-w64-mingw32.shared.zip
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-osx_10.11-x86_64.tar.gz
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-x86_64-w64-mingw32.static.tar.gz
9 years ago
capd released /5.0.6/bin/README.md
9 years ago
capd released /5.0.6/src/capd-capdDynSys-5.0.6.tar.gz
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-debian_8-x86_64.tar.gz
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-ubuntu_16.04-x86_64.tar.gz
9 years ago
capd released /5.0.6/src/capd-capdDynSys-5.0.6.zip
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-debian_8-x86_64.zip
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-osx_10.11-x86_64.tar.gz
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-ubuntu_14.04-x86_64.tar.gz
9 years ago
capd released /5.0.6/bin/capd-5.0.6-dev-osx_10.11-x86_64.zip
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-debian_8-x86_64.tar.gz
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-osx_10.12-x86_64.tar.gz
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-osx_10.11-x86_64.zip
9 years ago
capd released /5.0.6/bin/capd-capdDynSys-5.0.6-dev-x86_64-w64-mingw32.shared.tar.gz

1 >

capd Activity

Computer Assisted Proofs in Dynamics

Activity for capd

capd released /5.3.0/build_date

capd released /5.3.0/capd-5.3.0.zip

capd released /5.3.0/capd-5.3.0.tar.gz

capd released /5.3.0/README.md

capd released /5.3.0.beta/src/capd-capdDynSys-5.3.0.beta.zip

capd released /5.3.0.beta/src/capd-capdDynSys-5.3.0.beta.tar.gz

capd released /5.3.0.beta/src/capd-5.3.0.beta.tar.gz

capd released /5.3.0.beta/src/capd-5.3.0.beta.zip

capd released /5.3.0.beta/src/build_date

capd updated /5.1.3/src/README.md

capd released /5.1.3/src/capd-capdDynSys-5.1.3.tar.gz

capd released /5.1.3/src/capd-capdDynSys-5.1.3.zip

capd released /5.1.3/src/build_date

capd released /5.1.3/src/README.md

capd released /5.1.3/README.md

capd updated /5.1.2/bin/README.md

capd updated /5.1.2/src/README.md

capd released /5.1.2/bin/capd-capdDynSys-5.1.13-dev-ubuntu_x86-x86_64.zip

capd updated /5.1.2/README.md

capd released /5.1.2/bin/capd-5.1.13-dev-ubuntu_x86-x86_64.zip

capd released /5.1.2/bin/capd-5.1.13-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.1.2/bin/capd-capdDynSys-5.1.13-dev-ubuntu_x86-x86_64.tar.gz

capd updated /5.1.2/bin/build_date

capd released /5.1.2/src/capd-capdDynSys-5.1.2.tar.gz

capd released /5.1.2/src/README.md

capd released /5.1.2/bin/capd-5.1.2-dev-ubuntu_x86-x86_64.zip

capd released /5.1.2/src/build_date

capd released /5.1.2/src/capd-capdDynSys-5.1.2.zip

capd released /5.1.2/README.md

capd released /5.1.2/src/capd-5.1.2.zip

capd released /5.1.2/bin/README.md

capd released /5.1.2/src/capd-5.1.2.tar.gz

capd released /5.1.2/bin/build_date

capd released /5.1.2/bin/capd-5.1.2-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.1.1/bin/capd-5.1.1-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.1.1/src/README.md

capd released /5.1.1/src/capd-5.1.1.tar.gz

capd released /5.1.1/bin/README.md

capd released /5.1.1/README.md

capd released /5.1.1/src/capd-capdDynSys-5.1.1.zip

capd released /5.1.1/src/capd-5.1.1.zip

capd released /5.1.1/bin/capd-capdDynSys-5.1.1-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.1.1/bin/capd-5.1.1-dev-ubuntu_x86-x86_64.zip

capd released /5.1.1/bin/capd-capdDynSys-5.1.1-dev-ubuntu_x86-x86_64.zip

capd released /5.1.1/src/capd-capdDynSys-5.1.1.tar.gz

capd released /5.1.0/README.md

capd released /5.1.0/bin/capd-capdDynSys-5.1.0-dev-ubuntu_x86-x86_64.zip

capd released /5.1.0/src/README.md

capd released /5.1.0/bin/README.md

capd released /5.1.0/bin/capd-5.1.0-dev-ubuntu_x86-x86_64.zip

capd released /5.1.0/bin/capd-5.1.0-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.1.0/bin/capd-capdDynSys-5.1.0-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.1.0/src/capd-5.1.0.zip

capd released /5.1.0/src/capd-5.1.0.tar.gz

capd released /5.1.0/src/capd-capdDynSys-5.1.0.tar.gz

capd released /5.1.0/src/capd-capdDynSys-5.1.0.zip

capd released /5.1.0/src/build_date

capd released /5.1.0/bin/build_date

capd released /5.0.64/bin/capd-5.0.64-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.0.64/src/README.md

capd released /5.0.64/src/capd-capdDynSys-5.0.64.tar.gz

capd released /5.0.64/src/capd-5.0.64.zip

capd released /5.0.64/src/capd-5.0.64.tar.gz

capd released /5.0.64/bin/README.md

capd released /5.0.64/bin/capd-5.0.64-dev-ubuntu_x86-x86_64.zip

capd released /5.0.64/bin/build_date

capd released /5.0.64/src/capd-capdDynSys-5.0.64.zip

capd released /5.0.64/src/build_date

capd released /5.0.64/bin/capd-capdDynSys-5.0.64-dev-ubuntu_x86-x86_64.zip

capd released /5.0.64/bin/capd-capdDynSys-5.0.64-dev-ubuntu_x86-x86_64.tar.gz

capd released /5.0.64/README.md

capd released /5.0.59/src/README.md

capd released /5.0.59/README.md

capd released /5.0.59/bin/README.md

capd released /5.0.34/bin/README.md

capd released /5.0.34/src/README.md

capd released /5.0.34/README.md