`Collaborated with:`

T.Ellman J.E.Keane M.Schwabacher

`Talks about:`

differenti (1) transform (1) synthesi (1) strategi (1) reformul (1) ordinari (1) interact (1) program (1) network (1) algebra (1)

## Person: Takahiro Murata

### DBLP: Murata:Takahiro

### Contributed to:

### Wrote 2 papers:

- KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis
- Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.
- KBSE-1995-EllmanKMS #design #interactive #optimisation
- A Transformation System for Interactive Reformulation of Design Optimization Strategies (TE, JEK, TM, MS), pp. 44–51.