3454 search results - page 207 / 691 » Modern computer algebra |
158
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
140
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and...
150
click to vote
BIRTHDAY
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
170
click to vote
ISPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
117
click to vote
CHI
2003
ACM
15 years 11 months ago
2003
ACM
This paper introduces new interactive ways to create, manipulate and analyze shapes, even when those shapes do not have simple algebraic generators. This is made possible by using...