Results 131 to 140 of about 728 (150)
Some of the next articles are maybe not open access.
Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020Maciej Ciesielski +2 more
exaly
Formal Verification of Arithmetic Circuits by Function Extraction
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2016Cunxi Yu, André Rossi
exaly
The Torsion-Limit for Algebraic Function Fields and Its Application to Arithmetic Secret Sharing
Lecture Notes in Computer Science, 2011Ignacio Cascudo +2 more
exaly
A note on quotients of real algebraic groups by arithmetic subgroups
Inventiones Mathematicae, 1968M S Raghunathan
exaly
Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic
IEEE Transactions on Computers, 2011Claude-Pierre Jeannerod +1 more
exaly
Algebraic K-Theory and Classfield Theory for Arithmetic Surfaces
Annals of Mathematics, 1981Spencer Bloch
exaly

