Changes between Version 133 and Version 134 of WikiStart


Ignore:
Timestamp:
12/31/18 15:02:43 (7 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v133 v134  
    2121* [https://dl.acm.org/citation.cfm?id=3145488 Towards Self-Verification in Finite Difference Code Generation]
    2222* [https://link.springer.com/chapter/10.1007/978-3-319-99725-4_14 Verifying Properties of Differentiable Programs]
     23
     24== CIVL Manual ==
     25* [wiki:"CIVL Manual: Introduction"]
    2326
    2427== Documents & Publications ==