Search Results for Arithmetic.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Yazar

Vaidya, Jaideep. editor.

https://doi.org/10.1007/978-3-030-05057-3

Format:

Electronic Resources

Alıntı:

Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

https://doi.org/10.1007/978-3-319-63501-9

Format:

Electronic Resources

Alıntı:

-2015 Standard for Interval Arithmetic -- Formal Correctness of Comparison Algorithms between binary64

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor.

https://doi.org/10.1007/978-3-319-99639-4

Format:

Electronic Resources

Alıntı:

Unimodular Matrices of Difference Operators -- Sparse Polynomial Arithmetic with the BPAS Library

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Yazar

Bouajjani, Ahmed. editor.

https://doi.org/10.1007/978-3-319-52234-0

Format:

Electronic Resources

Alıntı:

with SMT -- Solving Nonlinear Integer Arithmetic with MCSat -- Accuracy of Message Counting Abstraction

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor.

https://doi.org/10.1007/978-3-662-54458-7

Format:

Electronic Resources

Alıntı:

Complexity of the Dyck Reachability -- Proof Theory -- Cyclic Arithmetic is Equivalent to Peano Arithmetic

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor.

https://doi.org/10.1007/978-3-319-94205-6

Format:

Electronic Resources

Alıntı:

Floating-Point Arithmetic using UppSAT -- Complexity of Combinations of Qualitative Constraint Satisfaction

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}