A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.
- Published in:
- Journal of Formalized Reasoning, 2018, v. 11, n. 1, p. 19
- By:
- Publication type:
- Article
Works matching IS 19725787 AND DT 2018 AND VI 11 AND IP 1
Results: 2
1
2
Dependent Types for Extensive Games.
- Published in:
- Journal of Formalized Reasoning, 2018, v. 11, n. 1, p. 1
- By:
- Publication type:
- Article