Difference between revisions of "CoCoASchool2007"
From ApCoCoAWiki
KHiddemann (talk | contribs) |
KHiddemann (talk | contribs) (→the tutorials: better link texts) |
||
| Line 5: | Line 5: | ||
==the tutorials== | ==the tutorials== | ||
| − | [[Image:KR_tutorial_1.pdf | + | [[:Image:KR_tutorial_1.pdf|Tutorial 1: A Do-It-Yourself Guide to Lex-Solving]] |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | [[Image:Reduce.coc]] | + | [[:Image:KR_tutorial_2.pdf|Tutorial 2: Faster! Faster! The FGLM Speed-Up]] |
| + | |||
| + | [[:Image:KR_tutorial_3.pdf|Tutorial 3: Your Very Own EigenSolver]] | ||
| + | |||
| + | [[:Image:KR_tutorial_4.pdf|Tutorial 4: The BMM-Algorithm: Not a BMW!]] | ||
| + | |||
| + | [[:Image:KR_tutorial_5.pdf|Tutorial 5: Variations on BBA]] | ||
| + | |||
| + | [[:Image:Reduce.coc|CoCoA function for reducing a set of polynomials]] so that they are K-linearly independent | ||
| + | |||
| + | [[:Image:KR_tutorial_6.pdf|Tutorial 6: An Approximate Tutorial]] | ||
==input files== | ==input files== | ||
Revision as of 13:16, 22 June 2007
Lectures of the Robbiano/Kreuzer track
Tutorials of the Robbiano/Kreuzer track
the tutorials
Tutorial 1: A Do-It-Yourself Guide to Lex-Solving
Tutorial 2: Faster! Faster! The FGLM Speed-Up
Tutorial 3: Your Very Own EigenSolver
Tutorial 4: The BMM-Algorithm: Not a BMW!
CoCoA function for reducing a set of polynomials so that they are K-linearly independent
Tutorial 6: An Approximate Tutorial
input files
File:Input 1.coc File:Input 3.coc File:Input 5.coc
CoCoA 4.7.2 + ApCoCoAServer binaries
- Windows x86 (4.8MB)
- Linux x86 (5.0MB) (extract to /usr/local - otherwise you need to edit the cocoa and xcocoa scripts to point to the right directory)
- OSX universal (8.6MB)
