pith. sign in

Jacques Carette

Identifiers

  • name variant Jacques Carette 0.60 · backfill

Papers (15)

  1. Towards Specifying Symbolic Computation cs.LO · 2019 · author #1
  2. Embracing the Laws of Physics: Three Reversible Models of Computation cs.PL · 2018 · author #1
  3. From high-level inference algorithms to efficient code cs.PL · 2018 · author #3
  4. Biform Theories: Project Description cs.LO · 2018 · author #1
  5. Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities cs.SE · 2018 · author #3
  6. State of the Practice for GIS Software cs.SE · 2018 · author #3
  7. HOL Light QE cs.LO · 2018 · author #1
  8. From Reversible Programs to Univalent Universes and Back cs.PL · 2017 · author #1
  9. Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study cs.LO · 2017 · author #1
  10. Realms: A Structure for Consolidating Knowledge about Mathematical Theories cs.MS · 2014 · author #1
  11. Theory Presentation Combinators cs.MS · 2012 · author #1
  12. The MathScheme Library: Some Preliminary Experiments cs.MS · 2011 · author #1
  13. Symbolic Domain Decomposition cs.SC · 2010 · author #1
  14. The Power of Vocabulary: The Case of Cyclotomic Polynomials cs.SC · 2010 · author #1
  15. A canonical form for some piecewise defined functions cs.SC · 2007 · author #1

Mentions

  • 1004.5549 #1 · arxiv_oai · confidence 0.70 Jacques Carette
  • 1405.5956 #1 · backfill · confidence 0.70 Jacques Carette
  • 1204.0053 #1 · backfill · confidence 0.70 Jacques Carette
  • 1106.1862 #1 · backfill · confidence 0.70 Jacques Carette
  • 1004.5549 #1 · backfill · confidence 0.70 Jacques Carette
  • 1002.0012 #1 · backfill · confidence 0.70 Jacques Carette

Frequent Coauthors