Search Results for Theory of Computation.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Yazar

Kennedy, Juliette. editor.

https://doi.org/10.1007/978-3-662-55386-2

Format:

Electronic Resources

Alıntı:

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory

Yazar

Blümlein, Johannes. editor.

https://doi.org/10.1007/978-3-030-04480-0

Format:

Electronic Resources

Alıntı:

Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic

Computer Algebra and Polynomials Applications of Algebra and Number Theory

Yazar

Gutierrez, Jaime. editor.

http://dx.doi.org/10.1007/978-3-319-15081-9

Format:

Electronic Resources

Alıntı:

Computer Algebra and Polynomials Applications of Algebra and Number Theory / Gutierrez, Jaime

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Yazar

de Paiva, Valeria. editor.

http://dx.doi.org/10.1007/978-3-662-47709-0

Format:

Electronic Resources

Alıntı:

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Yazar

Barkatou, Moulay. editor.

http://dx.doi.org/10.1007/978-3-642-54479-8

Format:

Electronic Resources

Alıntı:

, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Yazar

Gerdt, Vladimir P. editor.

http://dx.doi.org/10.1007/978-3-319-45641-6

Format:

Electronic Resources

Alıntı:

Equations -- Pruning Algorithms for Pretropisms of Newton Polytopes -- Computational Aspects of a Bound of

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}