Nenhuma descrição

Marek 4ac5cc0f7c Support multiple polynomial systems with auxiliary variables 4 anos atrás
src 4ac5cc0f7c Support multiple polynomial systems with auxiliary variables 4 anos atrás
thesis b9a02ed1d5 Add initial experiments 4 anos atrás
.gitignore 0040630f5d Implement substitution of indeterminates using Python strings 4 anos atrás
Makefile 779312e2d6 Update file structure 5 anos atrás