ISSAC 2004 - PDF Preprint Papers

ISSAC 2004 International Conference on Symbolic and Algebraic Computation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ISSAC-2004 Paper

click to vote

ISSAC
2004
Springer

185views Mathematics» more ISSAC 2004»

Automatic generation of polynomial loop

14 years 5 months ago

Download www.lsi.upc.edu

In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...

Enric Rodríguez-Carbonell, Deepak Kapur

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	185	Automatic generation of polynomial loop	claim
2	159	Complexity issues in bivariate polynomial factorization	claim
3	135	Absolute polynomial factorization in two variables and the knapsack problem	claim
4	135	The truncated fourier transform and applications	claim
5	129	Numerical algebraic geometry and symbolic computation	claim
6	118	The approximate GCD of inexact polynomials	claim
7	109	Extracting mathematical expressions from postscript documents	claim
8	106	Factoring polynomials via polytopes	claim
9	102	FFPACK: finite field linear algebra package	claim
10	99	Inversion of parameterized hypersurfaces by means of subresultants	claim
11	98	Symbolic summation with single-nested sum extensions	claim
12	94	Algorithms for polynomial GCD computation over algebraic function fields	claim
13	93	On reducing a system of equations to a single equation	claim
14	93	Finding the smallest image of a set	claim
15	91	A poly-algorithmic approach to simplifying elementary functions	claim
16	91	Hyperexponential solutions of finite-rank ideals in orthogonal ore rings	claim
17	90	Closed form solutions of linear odes having elliptic function coefficients	claim
18	89	Reliable Krylov-based algorithms for matrix null space and rank	claim
19	89	Decomposition of differential polynomials with constant coefficients	claim
20	88	Non-liouvillian solutions for second order Linear ODEs	claim
21	88	Approximate factorization of multivariate polynomials via differential equations	claim
22	86	Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction	claim
23	71	Sharp estimates for triangular sets	claim
24	67	Rational general solutions of algebraic ordinary differential equations	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers