Results 91 to 100 of about 647 (102)

Formal Verification of Arithmetic Circuits by Function Extraction

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2016
André Rossi, Cunxi Yu, Walter Brown
exaly  

Some Results in the Arithmetic Theory of Algebraic Functions of Several Variables

Proceedings of the National Academy of Sciences of the United States of America, 1937
exaly  

A Note on Quotients of Real Algebraic Groups by Arithmetic Subgroups

Inventiones Mathematicae, 1968
M S Raghunathan
exaly  

Algebraic Values of Analytic Functions

Journal of Computational and Applied Mathematics, 2003
Michel Waldschmidt
exaly  

Arithmetic Algebraic Geometry

Lecture Notes in Mathematics, 1993
exaly  

Modified Affine Arithmetic in Tensor Form for Trivariate Polynomial Evaluation and Algebraic Surface Plotting

Journal of Computational and Applied Mathematics, 2006
Huahao Shou, Hongwei Lin, Ralph R Martin
exaly  

Basic Structures of Function Field Arithmetic

1996
David Goss
exaly  

Arithmetic Algebraic Geometry

1991
exaly  

Analytic Arithmetic in Algebraic Number Fields

Lecture Notes in Mathematics, 1986
exaly  

Algebraic and Arithmetic Geometry in String Theory

Lecture Notes in Physics, 1988
exaly