|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 16 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Piers W. Lawrence, Robert M. Corless, David J. Jeffrey |
Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function.  |
ACM Trans. Math. Softw.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
An analytical approach for solving nonlinear boundary value problems in finite domains. |
Numerical Algorithms |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
Approximate solutions to a parameterized sixth order boundary value problem. |
Computers & Mathematics with Applications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Jeffrey, Albert D. Rich |
Reducing Expression Size Using Rule-Based Integration. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
Automatic computation of the complete root classification for a parametric polynomial. |
J. Symb. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
New travelling wave solutions to modified CH and DP equations. |
Computer Physics Communications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
An efficient analytical approach for solving fourth order boundary value problems. |
Computer Physics Communications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert D. Rich, David J. Jeffrey |
A Knowledge Repository for Indefinite Integration Based on Transformation Rules. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
Automatic computation of the travelling wave solutions to nonlinear PDEs. |
Computer Physics Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenqin Zhou, David J. Jeffrey |
Fraction-free matrix factors: new forms for LU and QR factors. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
fraction free LU factoring, fraction free Gaussian elimination, fraction free QR factoring, complexity analysis |
| 1 | Songxin Liang, David J. Jeffrey, Marc Moreno Maza |
The complete root classification of a parametric polynomial on an interval. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
complete root classification, parametric polynomial, real quantifier elimination, interval, real root |
| 1 | Songxin Liang, David J. Jeffrey |
Rule-Based Simplification in Vector-Product Spaces. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, Hui Ding, David J. Jeffrey |
The solution of s exp(s) = a is not always the lambert w function of a. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
lambert w function, matrix function, nonlinear matrix equation |
| 1 | Songxin Liang, David J. Jeffrey |
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact. |
ASCM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan |
Hierarchical Representations with Signatures for Large Expression Management. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Veiling Strategy, Zero Test, Large Expression Management, Symbolic LU Decomposition, Time Complexity, Signature, Hierarchical Representation |
| 1 | Songxin Liang, David J. Jeffrey |
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Complete discrimination system, complete root classification, root classification, parametric polynomial |
| 1 | Silvana Ilie, David J. Jeffrey |
A note on Laplace's equation inside a cylinder. |
Appl. Math. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pratibha, David J. Jeffrey |
Stokes-Flow Problem Solved Using Maple. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenqin Zhou, David J. Jeffrey, Gregory J. Reid |
An Algebraic Method for Analyzing Open-Loop Dynamic Systems. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
Dynaflex, RifSimp, Case Splitting, Symbolic Simplification, Graph Theory, Computer Algebra |
| 1 | David J. Jeffrey |
The Art of Formula. |
Algorithmic Algebra and Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | David J. Jeffrey, Pratibha, K. B. Roach |
Affine transformations of algebraic numbers. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
rootOf, affine transformation, algebraic numbers |
| 1 | Wenqin Zhou, David J. Jeffrey, Gregory J. Reid, Chad Schmitke, John McPhee |
Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems. |
IWMM/GIAE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt |
Reasoning about the Elementary Functions of Complex Analysis. |
Ann. Math. Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, David J. Jeffrey |
The Wright omega Function. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
Reasoning about the Elementary Functions of Complex Analysis. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts |
| 1 | Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt |
Approximate polynomial decomposition. |
ISSAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Jeffrey, Albert D. Rich |
Recursive Integration of Piecewise-Continuous Functions. |
ISSAC |
1998 |
DBLP DOI BibTeX RDF |
Maple |
| 1 | David J. Jeffrey |
Rectifying Transformations for the Integration of Rational Trigonometric Functions. |
J. Symb. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, David J. Jeffrey, Michael B. Monagan, Pratibha |
Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management. |
J. Symb. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, David J. Jeffrey |
Scientific Computing: One Part of the Revolution. |
J. Symb. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, David J. Jeffrey, Donald E. Knuth |
A Sequence of Series for the Lambert W Function. |
ISSAC |
1997 |
DBLP BibTeX RDF |
|
| 1 | David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich |
Integration of the Signum, Piecewise and Related Functions. |
ISSAC |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Corless, Gaston H. Gonnet, D. E. G. Hare, David J. Jeffrey, Donald E. Knuth |
On the LambertW function. |
Adv. Comput. Math. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Jeffrey, Albert D. Rich |
The evaluation of trigonometric integrals avoiding spurious discontinuities. |
ACM Trans. Math. Softw. |
1994 |
DBLP DOI BibTeX RDF |
trigonometric substitution, continuity, computer algebra, symbolic integration |
| 1 | David J. Jeffrey |
Integration to Obtain Expressions Valid on Domains of Maximum Extent. |
ISSAC |
1993 |
DBLP DOI BibTeX RDF |
Maple, Mathematica |
| 1 | Robert M. Corless, David J. Jeffrey |
Solution of a Hydrodynamic Lubrication Problem with Maple. |
J. Symb. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")