Sciweavers

4 search results - page 1 / 1
» A poly-algorithmic approach to simplifying elementary functi...
Sort
View
98
Voted
ISSAC
2004
Springer
91views Mathematics» more  ISSAC 2004»
15 years 2 months ago
A poly-algorithmic approach to simplifying elementary functions
Simplification has been long recognised to be a fundamental problem within computer algebra[17]. However, even for the class of elementary functions, it has not been resolved in ...
James C. Beaumont, Russell J. Bradford, James H. D...
104
Voted
AISC
2000
Springer
15 years 1 months ago
Reasoning about the Elementary Functions of Complex Analysis
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
Robert M. Corless, James H. Davenport, David J. Je...
BMCBI
2007
182views more  BMCBI 2007»
14 years 9 months ago
Hybrid elementary flux analysis/nonparametric modeling: application for bioprocess control
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
Ana P. Teixeira, Carlos Alves, Paula M. Alves, Man...
74
Voted
JSAT
2006
91views more  JSAT 2006»
14 years 9 months ago
Extending Existential Quantification in Conjunctions of BDDs
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
Sean Weaver, John V. Franco, John S. Schlipf