Bibliography.ml

(* Copyright INRIA and Microsoft Corporation, 2008-2013. *)
(* DDMF is distributed under CeCILL-B license. *)

INCLUDE "preamble.ml"

let italic s = DC.dstyle (DC.css_of_string "font-style: italic") s

let bibliography =
  (* Please, keep the references alphabetically sorted. *)
  [ ("ClHo04",
     (<:text<\
       Thomas Cluzeau and Mark van Hoeij. — A Modular Algorithm to Compute \
       the Exponential Solutions of a Linear Differential Operator. — \
       $(italic "Journal of Symbolic Computation"), vol38, p10431076, \
       2004.\
     >>)) ;
    ("vH01",
     (<:text<\
       Joris van der Hoeven. — Fast Evaluation of Holonomic Functions Near \
       and in Regular Singularities. — $(italic "Journal of Symbolic \
       Computation"), vol31, p717743, 2001.\
     >>)) ;
  ]



(* A single function, named b for conciseness, as it is called *)
(* Bibliography.b. *)
let b ?(display = None) reference =
  let body =
    try List.assoc reference bibliography with
    | Not_found ->
      <:text<($(italic reference) deserves a bibliographic entry)>>
  in

  DC.definition
    (match display with
    | Some d -> d
    | None -> "[" ^ reference ^ "]")
    body



let title _ = <:text<Bibliography>>

let par = List.map (fun (_, body) -> <:par< $(t_ent:body) >>) bibliography

let_service Bibliography : DC.sec_entities * unit with { title = title } =
  (DC.section
    (title ())
    (if not (DynaMoW.Services.Renderings.is_defined ()) then
      <:par<
        Make sure you have selected a mathematical rendering
        from the DDMF home page before looking at the bibliography.
      >>
    else DC.unordered_list par),
   ())

Generated by GNU Enscript 1.6.5.90.