High-order lifting and integrality certification

Arne Storjohann

Journal of Symbolic Computation · 2003 · 81 citations · 12 references

Concepts

References

12