Introduction to the GiNaC framework for symbolic computation within the C++ programming language
Journal of Symbolic Computation
Computer algebra handbook
Teaching cryptography with open-source software
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Certified Computer Algebra on Top of an Interactive Theorem Prover
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Detecting all dependences in systems of geometric constraints using the witness method
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Methodological aspects of mathematics using computer algebra systems
EDUCATION'10 Proceedings of the 7th WSEAS international conference on Engineering education
Hi-index | 0.00 |