|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jacques Carette, Russell O'Connor |
Theory Presentation Combinators  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jacques Carette, Aaron Stump |
Towards typing for small-step direct reflection. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Oleg Kiselyov |
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Michael Kucera |
Partial evaluation of Maple. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Beyak, Jacques Carette |
SAGA: A DSL for Story Management |
DSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran |
The MathScheme Library: Some Preliminary Experiments |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jacques Carette |
Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. |
J. Funct. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer, Russell O'Connor |
MathScheme: Project Description. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Mustafa Elsheikh, Spencer Smith |
A generative geometric kernel. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, James H. Davenport |
The Power of Vocabulary: The Case of Cyclotomic Polynomials |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jacques Carette, Makarius Wenzel, Freek Wiedijk |
Preface. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Symbolic Domain Decomposition. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette |
Mechanized Mathematics. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer |
A Review of Mathematical Knowledge Management. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (eds.) |
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harold Davenport, Jacques Carette |
The Sparsity Challenges. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer |
High-Level Theories. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine |
Case Studies in Model Manipulation for Scientific Computing. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Ryszard Janicki |
Computing Properties of Numerical Imperative Programs by Symbolic Computation. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jacques Carette |
A canonical form for some piecewise defined functions |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer, Volker Sorge |
A Rational Reconstruction of a System for Experimental Mathematics. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Michael Kucera |
Partial evaluation of Maple. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
residual theorems, partial evaluation, Maple, symbolic computation |
| 1 | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
Finally Tagless, Partially Evaluated. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette |
A canonical form for piecewise defined functions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
piecewise, normal form, canonical form |
| 1 | Jacques Carette |
Gaussian Elimination: A case study in efficient genericity with MetaOCaml. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
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 | Wolfram Kahl, Jacques Carette, Xiaoheng Ji |
Bimonadic Semantics for Basic Pattern Matching Calculi. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Oleg Kiselyov |
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Kahl, Christopher Kumar Anand, Jacques Carette |
Control-Flow Semantics for Assembly-Level Data-Flow Graphs. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Pulak Kumar Chowdhury |
Symbolic Interpretation of Legacy Assembly Language. |
WCRE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le |
Telescoping in the context of symbolic summation in Maple. |
J. Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette |
Understanding expression simplification. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
model description length, simplification of expressions, computer algebra, Kolmogorov complexity |
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")