「 Numerical Analysis 」を閲覧中 (2124 件の結果のうち 981 ～ 1000 を表示中)

Regularity, Calculus, Methods and Applications

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

In Honor of the 90th Birthday of Constantin Corduneanu, Ekaterinburg, Russia, July 2018

From Algorithm Design to Robust and Efficient Software

A Computational Algebra Approach

First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings

Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings

IFSOVAA-2020, Varanasi, India, February 2–4

An Algorithmic and Computational Approach