注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

JacquesC's Carette [19 articles]

当前文献位于 JacquesC's 文献库中 作者 Carette. 你也可以 see everyone's Carette.
  • Mining Maple Code for Contracts
    (2006)
    by J Carette, S Forrest
    edited by Silvio Ranise, Anna Bigatti
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 person and 1 group saforrest NU-PRL
  • Partial Evaluation and Residual Theorems in Computer Algebra
    (2006)
    by M Kucera, J Carette
    edited by Silvio Ranise, Anna Bigatti
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Program Verification by Calculating Relations
    (2006), pp. 151-156.
    by J Carette, R Janicki, Y Zhai
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Linear Algebra using Maple's LargeExpressions package
    (2006)
    by J Carette, W Zhou, DJ Jeffrey, MB Monagan
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Hierarchical representations with signatures for large expression management
    (2006)
    by W Zhou, J Carette, DJ Jeffrey, MB Monagan
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Bimonadic Semantics for Basic Pattern Matching Calculi.
    Vol. 4014 (2006), pp. 253-273.
    by Wolfram Kahl, Jacques Carette, Xiaoheng Ji
    edited by Tarmo Uustalu
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Gaussian Elimination: a case study in efficient genericity with MetaOCaml
    Science of Computer Programming, Vol. 62, No. 1. (2006), pp. 3-24.
    by Jacques Carette
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)
    Vol. 151, No. 1. (2005)
    edited by Jacques Carette, William M Farmer
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • COG-PETS: Code Generation for Parameter Estimation in Time Series
    (2005)
    by CK Anand, J Carette, A Curtis, D Miller
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Symbolic Interpretation of Legacy Assembly Language.
    (November 2005), pp. 23-32.
    by Jacques Carette, Pulak K Chowdhury
    edited by Andrea Lucia, Susan E Sim
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Control-Flow Semantics for Assembly-Level Data-Flow Graphs
    Vol. 3929 (2005), pp. 147-160.
    by Wolfram Kahl, Christopher K Anand, Jacques Carette
    edited by Ivo Düntsch, Wendy Mccaull, Michael Winter
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Declarative Assembler
    No. 20. (October 2004)
    by Christopher K Anand, Jacques Carette, Wolfram Kahl, Cale Gibbard, Ryan Lortie
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Multi-stage programming with Functors and Monads: eliminating abstraction overhead from generic code
    (2005), pp. 256-274.
    by Jacques Carette, Oleg Kiselyov
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Visual Tracking Employing Maple Code Generation
    (2004)
    by C Anand, J Carette, A Korobkine
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Understanding expression simplification
    (2004), pp. 72-79.
    by Jacques Carette
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Telescoping in the Context of Symbolic Summation in Maple
    Journal of Symbolic Computation, Vol. 38, No. 4. (October 2004), pp. 1303-1326.
    by SA Abramov, JJ Carette, KO Geddes, HQ Le
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Trustable communication between mathematical systems
    (2003), pp. 58-68.
    by J Carette, W Farmer, J Wajs
    edited by T Hardin, R Rioboo
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Trustable communication between mathematics systems
    (2003)
    by J Carette, W Farmer, J Wajs
    posted to communication mechanized-mathematics by JacquesC on 2004-12-18 03:45:33 along with 1 group NU-PRL
  • Understanding Expression Simplification
    by Jacques Carette
    posted to kolmogorov-complexity simplification by JacquesC on 2004-12-18 03:42:50 along with 1 group NU-PRL
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/JacquesC/author/Carette

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.