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
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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