๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Polynomial Formal Verification of Multipliers

โœ Scribed by Martin Keim; Rolf Drechsler; Bernd Becker; Michael Martin; Paul Molitor


Book ID
110410934
Publisher
Springer
Year
2003
Tongue
English
Weight
306 KB
Volume
22
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Formal verification
โœ B Meenakshi ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Indian Academy of Sciences ๐ŸŒ English โš– 674 KB
Modulo multipliers using polynomial ring
โœ Radhakrishnan, D. ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› The Institution of Electrical Engineers ๐ŸŒ English โš– 355 KB
Formal Verification of Websites
โœ Sonia Flores; Salvador Lucas; Alicia Villanueva ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 604 KB
Isogenies of Polynomial Formal Groups
โœ Robert Underwood ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 202 KB

Let H s H i, j be a Greither order in KC and let Spec H i, j ยช Spec B ยจp ลฝ . ยช Spec C be a resolution of Spec H i, j in the flat topology which appears as formal completions of B and C give rise to two-dimensional polynomial formal groups F F and G G, respectively. The given resolution will then t