Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
- Alexey Lvov
- Luis A. Lastras-Montaño
- et al.
- 2014
- Formal Methods in System Design
Publications
Date
Featured collections
Popular topics
32 results for Barry Trager
Generators of the ideal of an algebraic space curve
- E. Fortuna
- P. Gianni
- et al.
- 2009
- Journal of Symbolic Computation
Overview of the IBM Blue Gene/P project
- Gheorghe Almasi
- Sameh Asaad
- et al.
- 2008
- IBM J. Res. Dev
Irreducible decomposition of polynomial ideals
- E. Fortuna
- P. Gianni
- et al.
- 2005
- Journal of Symbolic Computation
Linear differential operators for polynomial equations
- Olivier Cormier
- Michael F. Singer
- et al.
- 2002
- Journal of Symbolic Computation
Derivations and radicals of polynomial ideals over fields of arbitrary characteristics
- E. Fortuna
- P. Gianni
- et al.
- 2002
- Journal of Symbolic Computation
Degree reduction under specialization
- Elisabetta Fortuna
- Patrizia Gianni
- et al.
- 2001
- Journal of Pure and Applied Algebra
Integrated interleaving - A novel ECC architecture
- M. Hassner
- Khaled Abdel-Ghaffar
- et al.
- 2001
- IEEE Transactions on Magnetics
Riemann surfaces, plane algebraic curves and their period matrices
- Patrizia Gianni
- Mika Seppälä
- et al.
- 1998
- Journal of Symbolic Computation
Square-free algorithms in positive characteristic
- P. Gianni
- B.M. Trager
- 1996
- Applicable Algebra in Engineering, Communications and Computing