Esnay, Solène J.; Moutot, Etienne Aperiodic SFTs on Baumslag-Solitar groups. (English) Zbl 07533876 Theor. Comput. Sci. 917, 31-50 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. J. Esnay} and \textit{E. Moutot}, Theor. Comput. Sci. 917, 31--50 (2022; Zbl 07533876) Full Text: DOI OpenURL
Letychevskyi, O. O.; Peschanenko, V. S.; Hryniuk, Y. V. Fuzz testing technique and its use in cybersecurity tasks. (English. Ukrainian original) Zbl 07515005 Cybern. Syst. Anal. 58, No. 1, 157-163 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 181-189 (2022). MSC: 68Qxx 68Mxx 68Txx PDF BibTeX XML Cite \textit{O. O. Letychevskyi} et al., Cybern. Syst. Anal. 58, No. 1, 157--163 (2022; Zbl 07515005); translation from Kibern. Sist. Anal. 58, No. 1, 181--189 (2022) Full Text: DOI OpenURL
Fatès, Nazim; Marcovici, Irène; Taati, Siamak Self-stabilisation of cellular automata on tilings. (English) Zbl 07499425 Fundam. Inform. 185, No. 1, 27-82 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{N. Fatès} et al., Fundam. Inform. 185, No. 1, 27--82 (2022; Zbl 07499425) Full Text: DOI OpenURL
Škrlj, Blaž; Martinc, Matej; Lavrač, Nada; Pollak, Senja autoBOT: evolving neuro-symbolic representations for explainable low resource text classification. (English) Zbl 07432828 Mach. Learn. 110, No. 5, 989-1028 (2021). MSC: 68T05 PDF BibTeX XML Cite \textit{B. Škrlj} et al., Mach. Learn. 110, No. 5, 989--1028 (2021; Zbl 07432828) Full Text: DOI OpenURL
Shirokov, D. S. On computing the determinant, other characteristic polynomial coefficients, and inverse in Clifford algebras of arbitrary dimension. (English) Zbl 1476.65061 Comput. Appl. Math. 40, No. 5, Paper No. 173, 29 p. (2021). MSC: 65F40 68W30 15A66 PDF BibTeX XML Cite \textit{D. S. Shirokov}, Comput. Appl. Math. 40, No. 5, Paper No. 173, 29 p. (2021; Zbl 1476.65061) Full Text: DOI arXiv OpenURL
Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas Efficiently and effectively recognizing toricity of steady state varieties. (English) Zbl 07363375 Math. Comput. Sci. 15, No. 2, 199-232 (2021). MSC: 14Q20 14P05 92C42 PDF BibTeX XML Cite \textit{D. Grigoriev} et al., Math. Comput. Sci. 15, No. 2, 199--232 (2021; Zbl 07363375) Full Text: DOI arXiv OpenURL
Qureshi, M. I.; Dar, Showkat Ahmad Computation of three theorems of Srinivasa Ramanujan associated with definite integrals connected with Gauss sums. (English) Zbl 07336000 Palest. J. Math. 10, No. 1, 184-198 (2021). MSC: 65-XX 33F05 42A38 68W30 PDF BibTeX XML Cite \textit{M. I. Qureshi} and \textit{S. A. Dar}, Palest. J. Math. 10, No. 1, 184--198 (2021; Zbl 07336000) Full Text: Link OpenURL
Giesbrecht, Mark; Haraldson, Joseph; Labahn, George Computing nearby non-trivial Smith forms. (English) Zbl 1452.65084 J. Symb. Comput. 102, 304-327 (2021). MSC: 65F60 68W30 PDF BibTeX XML Cite \textit{M. Giesbrecht} et al., J. Symb. Comput. 102, 304--327 (2021; Zbl 1452.65084) Full Text: DOI arXiv OpenURL
Berthé, Valérie On decision problems for substitutions in symbolic dynamics. (English) Zbl 07368094 Schmitz, Sylvain (ed.) et al., Reachability problems. 14th international conference, RP 2020, Paris, France, October 19–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12448, 3-19 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{V. Berthé}, Lect. Notes Comput. Sci. 12448, 3--19 (2020; Zbl 07368094) Full Text: DOI OpenURL
Saini, Shivani; Khosla, P. K.; Kaur, Manjit; Singh, Gurmohan Quantum driven machine learning. (English) Zbl 1462.81063 Int. J. Theor. Phys. 59, No. 12, 4013-4024 (2020). MSC: 81P68 68T05 68Q25 68W30 PDF BibTeX XML Cite \textit{S. Saini} et al., Int. J. Theor. Phys. 59, No. 12, 4013--4024 (2020; Zbl 1462.81063) Full Text: DOI OpenURL
Dwivedi, Ashish; Saxena, Nitin Computing Igusa’s local zeta function of univariates in deterministic polynomial-time. (English) Zbl 1457.11166 Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP). Open Book Ser. 4, 197-214 (2020). MSC: 11S40 68Q01 68W30 11Y16 14G50 PDF BibTeX XML Cite \textit{A. Dwivedi} and \textit{N. Saxena}, Open Book Ser. 4, 197--214 (2020; Zbl 1457.11166) Full Text: DOI arXiv OpenURL
Martyushev, Evgeniy; Li, Bo Efficient relative pose estimation for cameras and generalized cameras in case of known relative rotation angle. (English) Zbl 1453.13082 J. Math. Imaging Vis. 62, No. 8, 1076-1086 (2020). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 13P25 68U10 68W30 PDF BibTeX XML Cite \textit{E. Martyushev} and \textit{B. Li}, J. Math. Imaging Vis. 62, No. 8, 1076--1086 (2020; Zbl 1453.13082) Full Text: DOI arXiv OpenURL
Xu, Ming; Deng, Yuxin Time-bounded termination analysis for probabilistic programs with delays. (English) Zbl 07285773 Inf. Comput. 275, Article ID 104634, 24 p. (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Xu} and \textit{Y. Deng}, Inf. Comput. 275, Article ID 104634, 24 p. (2020; Zbl 07285773) Full Text: DOI OpenURL
Brodo, Linda; Olarte, Carlos Verification techniques for a network algebra. (English) Zbl 1464.68233 Fundam. Inform. 172, No. 1, 1-38 (2020). MSC: 68Q85 03B70 68Q60 PDF BibTeX XML Cite \textit{L. Brodo} and \textit{C. Olarte}, Fundam. Inform. 172, No. 1, 1--38 (2020; Zbl 1464.68233) Full Text: DOI OpenURL
Takato, Setsuo; Vallejo, José A. Using Oshima splines to produce accurate numerical results and high quality graphical output. (English) Zbl 1453.68225 Math. Comput. Sci. 14, No. 2, 399-413 (2020). MSC: 68W30 65D17 68U15 97U50 PDF BibTeX XML Cite \textit{S. Takato} and \textit{J. A. Vallejo}, Math. Comput. Sci. 14, No. 2, 399--413 (2020; Zbl 1453.68225) Full Text: DOI arXiv OpenURL
Giesbrecht, Mark; Haraldson, Joseph; Labahn, George Computing lower rank approximations of matrix polynomials. (English) Zbl 1445.65015 J. Symb. Comput. 98, 225-245 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 65F55 65F60 15A22 68W30 PDF BibTeX XML Cite \textit{M. Giesbrecht} et al., J. Symb. Comput. 98, 225--245 (2020; Zbl 1445.65015) Full Text: DOI arXiv OpenURL
Chrétien, Rémy; Cortier, Véronique; Dallon, Antoine; Delaune, Stéphanie Typing messages for free in security protocols. (English) Zbl 1433.68211 ACM Trans. Comput. Log. 21, No. 1, Article No. 1, 52 p. (2020). MSC: 68Q60 68Q85 94A60 PDF BibTeX XML Cite \textit{R. Chrétien} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 1, 52 p. (2020; Zbl 1433.68211) Full Text: DOI OpenURL
Oki, Taihei Improved structural methods for nonlinear differential-algebraic equations via combinatorial relaxation. (English) Zbl 1467.34009 Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 315-322 (2019). MSC: 34A09 68W30 PDF BibTeX XML Cite \textit{T. Oki}, in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 315--322 (2019; Zbl 1467.34009) Full Text: DOI arXiv OpenURL
Huybers, Richard; Laarman, Alfons A parallel relation-based algorithm for symbolic bisimulation minimization. (English) Zbl 07157062 Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 535-554 (2019). MSC: 68Q60 PDF BibTeX XML Cite \textit{R. Huybers} and \textit{A. Laarman}, Lect. Notes Comput. Sci. 11388, 535--554 (2019; Zbl 07157062) Full Text: DOI OpenURL
Censor-Hillel, Keren; Kaski, Petteri; Korhonen, Janne H.; Lenzen, Christoph; Paz, Ami; Suomela, Jukka Algebraic methods in the congested clique. (English) Zbl 1452.68267 Distrib. Comput. 32, No. 6, 461-478 (2019). MSC: 68W15 68R10 68W25 68W30 68W40 PDF BibTeX XML Cite \textit{K. Censor-Hillel} et al., Distrib. Comput. 32, No. 6, 461--478 (2019; Zbl 1452.68267) Full Text: DOI arXiv OpenURL
Dolce, Francesco; Perrin, Dominique Eventually dendric shifts. (English) Zbl 07121060 van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11532, 106-118 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Dolce} and \textit{D. Perrin}, Lect. Notes Comput. Sci. 11532, 106--118 (2019; Zbl 07121060) Full Text: DOI OpenURL
Khaled, Mahmoud; Zamani, Majid pFaces: an acceleration ecosystem for symbolic control. (English) Zbl 07120161 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 252-257 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Khaled} and \textit{M. Zamani}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 252--257 (2019; Zbl 07120161) Full Text: DOI OpenURL
Maniezzo, Vittorio; Boschetti, Marco A.; Carbonaro, Antonella; Marzolla, Moreno; Strappaveccia, Francesco Client-side computational optimization. (English) Zbl 1471.90171 ACM Trans. Math. Softw. 45, No. 2, Article No. 19, 16 p. (2019). MSC: 90C59 91B06 68W30 90C27 PDF BibTeX XML Cite \textit{V. Maniezzo} et al., ACM Trans. Math. Softw. 45, No. 2, Article No. 19, 16 p. (2019; Zbl 1471.90171) Full Text: DOI OpenURL
Gaiki, Pratik M.; Gade, Prashant M. Using a variational method to obtain the ground state of the quantum Hamiltonian: symbolic computation approach. (English) Zbl 1421.81043 Eur. J. Phys. 40, No. 1, Article ID 015806, 11 p. (2019). MSC: 81Q10 35A15 68W30 97M50 PDF BibTeX XML Cite \textit{P. M. Gaiki} and \textit{P. M. Gade}, Eur. J. Phys. 40, No. 1, Article ID 015806, 11 p. (2019; Zbl 1421.81043) Full Text: DOI OpenURL
Mezzarobba, Marc Truncation bounds for differentially finite series. (Bornes de troncature pour LES séries différentiellement finies.) (English) Zbl 1435.65106 Ann. Henri Lebesgue 2, 99-148 (2019). MSC: 65L05 65L70 34A45 68W30 PDF BibTeX XML Cite \textit{M. Mezzarobba}, Ann. Henri Lebesgue 2, 99--148 (2019; Zbl 1435.65106) Full Text: DOI OpenURL
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea Symbolic computation of differential equivalences. (English) Zbl 1425.68463 Theor. Comput. Sci. 777, 132-154 (2019). MSC: 68W30 34C99 68N30 68Q55 68Q60 68Q85 92C40 PDF BibTeX XML Cite \textit{L. Cardelli} et al., Theor. Comput. Sci. 777, 132--154 (2019; Zbl 1425.68463) Full Text: DOI Link OpenURL
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Porreca, Antonio E. Complexity of the dynamics of reaction systems. (English) Zbl 1422.68069 Inf. Comput. 267, 96-109 (2019). MSC: 68Q05 37B10 68Q17 68Q25 PDF BibTeX XML Cite \textit{A. Dennunzio} et al., Inf. Comput. 267, 96--109 (2019; Zbl 1422.68069) Full Text: DOI arXiv OpenURL
Boreale, Michele Algebra, coalgebra, and minimization in polynomial differential equations. (English) Zbl 07029313 Log. Methods Comput. Sci. 15, No. 1, Paper No. 14, 27 p. (2019). MSC: 68Q85 13N15 34A34 68W30 PDF BibTeX XML Cite \textit{M. Boreale}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 14, 27 p. (2019; Zbl 07029313) Full Text: arXiv OpenURL
Kozera, R.; Prokopenya, A. N.; Wiliński, A. Application of computer algebra to the reconstruction of surface from its photometric images. (English) Zbl 1455.68239 Program. Comput. Softw. 44, No. 6, 546-553 (2018). MSC: 68U10 68U05 68W30 PDF BibTeX XML Cite \textit{R. Kozera} et al., Program. Comput. Softw. 44, No. 6, 546--553 (2018; Zbl 1455.68239) Full Text: DOI OpenURL
He, Yun Exact solutions of \((3 + 1)\)-dimensional Kadomtsev-Petviashvili-Boussinesq equation. (Chinese. English summary) Zbl 1424.35299 J. Nanchang Univ., Nat. Sci. 42, No. 3, 216-220 (2018). MSC: 35Q53 47J35 PDF BibTeX XML Cite \textit{Y. He}, J. Nanchang Univ., Nat. Sci. 42, No. 3, 216--220 (2018; Zbl 1424.35299) Full Text: DOI OpenURL
S., Sreelekha Neurosymbolic integration with uncertainty. (English) Zbl 1443.68185 Ann. Math. Artif. Intell. 84, No. 3-4, 201-220 (2018). MSC: 68T37 68T35 PDF BibTeX XML Cite \textit{S. S.}, Ann. Math. Artif. Intell. 84, No. 3--4, 201--220 (2018; Zbl 1443.68185) Full Text: DOI OpenURL
Nguena Timo, Omer; Petrenko, Alexandre; Ramesh, S. Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 06983516 Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{O. Nguena Timo} et al., Lect. Notes Comput. Sci. 11187, 354--375 (2018; Zbl 06983516) Full Text: DOI OpenURL
Alonso-Jiménez, José A.; Aranda-Corral, Gonzalo A.; Borrego-Díaz, Joaquín; Fernández-Lebrón, M. Magdalena; José Hidalgo-Doblado, M. A logic-algebraic tool for reasoning with knowledge-based systems. (English) Zbl 1400.68210 J. Log. Algebr. Methods Program. 101, 88-109 (2018). MSC: 68T35 68Q55 68T27 68T30 68W30 PDF BibTeX XML Cite \textit{J. A. Alonso-Jiménez} et al., J. Log. Algebr. Methods Program. 101, 88--109 (2018; Zbl 1400.68210) Full Text: DOI arXiv OpenURL
Verschelde, Jan A blackbox polynomial system solver on parallel shared memory computers. (English) Zbl 1453.65469 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 361-375 (2018). MSC: 65Y10 13P05 26C99 68W30 PDF BibTeX XML Cite \textit{J. Verschelde}, Lect. Notes Comput. Sci. 11077, 361--375 (2018; Zbl 1453.65469) Full Text: DOI arXiv OpenURL
Cohl, Howard S.; Greiner-Petter, André; Schubotz, Moritz Automated symbolic and numerical testing of DLMF formulae using computer algebra systems. (English) Zbl 1417.68272 Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 39-52 (2018). MSC: 68U35 68U15 68W30 PDF BibTeX XML Cite \textit{H. S. Cohl} et al., Lect. Notes Comput. Sci. 11006, 39--52 (2018; Zbl 1417.68272) Full Text: DOI arXiv OpenURL
Selivanova, Svetlana V.; Selivanov, Victor L. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract). (English) Zbl 06932490 Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 376-385 (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. V. Selivanova} and \textit{V. L. Selivanov}, Lect. Notes Comput. Sci. 10936, 376--385 (2018; Zbl 06932490) Full Text: DOI arXiv OpenURL
Hrdina, Jaroslav; Matoušek, Radomil; Návrat, Aleš; Vašík, Petr Fisheye correction by CGA non-linear transformation. (English) Zbl 1466.68077 Math. Methods Appl. Sci. 41, No. 11, 4106-4116 (2018). MSC: 68U10 15A66 68W30 PDF BibTeX XML Cite \textit{J. Hrdina} et al., Math. Methods Appl. Sci. 41, No. 11, 4106--4116 (2018; Zbl 1466.68077) Full Text: DOI OpenURL
Davenport, James H. (ed.); Kauers, Manuel (ed.); Labahn, George (ed.); Urban, Josef (ed.) Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. (English) Zbl 1391.68004 Lecture Notes in Computer Science 10931. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). xix, 508 p. (2018). MSC: 68-06 65-06 65Yxx 68T15 68U35 68W30 00B25 PDF BibTeX XML Cite \textit{J. H. Davenport} (ed.) et al., Mathematical software -- ICMS 2018. 6th international conference, South Bend, IN, USA, July 24--27, 2018. Proceedings. Cham: Springer (2018; Zbl 1391.68004) Full Text: DOI OpenURL
Cozad, Alison; Sahinidis, Nikolaos V. A global MINLP approach to symbolic regression. (English) Zbl 1402.90092 Math. Program. 170, No. 1 (B), 97-119 (2018). MSC: 90C10 90C26 62J02 68T05 68Q99 65K05 PDF BibTeX XML Cite \textit{A. Cozad} and \textit{N. V. Sahinidis}, Math. Program. 170, No. 1 (B), 97--119 (2018; Zbl 1402.90092) Full Text: DOI OpenURL
Dimovski, Aleksandar S. Verifying annotated program families using symbolic game semantics. (English) Zbl 1380.68121 Theor. Comput. Sci. 706, 35-53 (2018). MSC: 68N30 68Q45 68Q55 68Q60 PDF BibTeX XML Cite \textit{A. S. Dimovski}, Theor. Comput. Sci. 706, 35--53 (2018; Zbl 1380.68121) Full Text: DOI OpenURL
Dumas, Jean-Guillaume; Kaltofen, Erich L.; Villard, Gilles; Zhi, Lihong Polynomial time interactive proofs for linear algebra with exponential matrix dimensions and scalars given by polynomial time circuits. (English) Zbl 1457.68111 Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 125-132 (2017). MSC: 68Q10 15A15 68Q25 68W30 PDF BibTeX XML Cite \textit{J.-G. Dumas} et al., in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. New York, NY: Association for Computing Machinery (ACM). 125--132 (2017; Zbl 1457.68111) Full Text: DOI OpenURL
Francalanza, Adrian Consistently-detecting monitors. (English) Zbl 1442.68107 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{A. Francalanza}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017; Zbl 1442.68107) Full Text: DOI OpenURL
Schirra, Stefan; Wilhelm, Martin On interval methods with zero rewriting and exact geometric computation. (English) Zbl 1433.68502 Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 211-226 (2017). MSC: 68U05 65G20 65G30 68W30 PDF BibTeX XML Cite \textit{S. Schirra} and \textit{M. Wilhelm}, Lect. Notes Comput. Sci. 10693, 211--226 (2017; Zbl 1433.68502) Full Text: DOI OpenURL
Cafaro, Carlo Geometric algebra and information geometry for quantum computational software. (English) Zbl 1400.81044 Physica A 470, 154-196 (2017). MSC: 81P45 68Q12 68W30 PDF BibTeX XML Cite \textit{C. Cafaro}, Physica A 470, 154--196 (2017; Zbl 1400.81044) Full Text: DOI arXiv OpenURL
Fedorus, O. M. Application of PARCS-C# for modeling of parallel recursive processes. (Ukrainian. English summary) Zbl 1399.68063 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 1, 75-79 (2017). MSC: 68Q10 68W10 68W30 PDF BibTeX XML Cite \textit{O. M. Fedorus}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 1, 75--79 (2017; Zbl 1399.68063) OpenURL
Yang, Le; Liu, Yinping; Li, Zhibin Emathema: an online automated computing platform for equations. (Chinese. English summary) Zbl 1399.68316 J. East China Norm. Univ., Nat. Sci. Ed. 2017, No. 3, 20-28 (2017). MSC: 68W30 PDF BibTeX XML Cite \textit{L. Yang} et al., J. East China Norm. Univ., Nat. Sci. Ed. 2017, No. 3, 20--28 (2017; Zbl 1399.68316) Full Text: DOI OpenURL
Minimair, Manfred Collaborative computer algebra. (English) Zbl 1476.68311 Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer. Springer Proc. Math. Stat. 198, 289-303 (2017). MSC: 68W30 PDF BibTeX XML Cite \textit{M. Minimair}, Springer Proc. Math. Stat. 198, 289--303 (2017; Zbl 1476.68311) Full Text: DOI OpenURL
Lewis, Robert H. Dixon-EDF: the premier method for solution of parametric polynomial systems. (English) Zbl 1393.68192 Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 237-256 (2017). MSC: 68W30 13P10 13P15 PDF BibTeX XML Cite \textit{R. H. Lewis}, Springer Proc. Math. Stat. 198, 237--256 (2017; Zbl 1393.68192) Full Text: DOI OpenURL
Hildenbrand, Dietmar; Franchini, Silvia; Gentile, Antonio; Vassallo, Giorgio; Vitabile, Salvatore GAPPCO: an easy to configure geometric algebra coprocessor based on GAPP programs. (English) Zbl 1415.68267 Adv. Appl. Clifford Algebr. 27, No. 3, 2115-2132 (2017). MSC: 68W30 15A66 PDF BibTeX XML Cite \textit{D. Hildenbrand} et al., Adv. Appl. Clifford Algebr. 27, No. 3, 2115--2132 (2017; Zbl 1415.68267) Full Text: DOI Link OpenURL
Arusoaie, Andrei; Ciobâcă, Ştefan; Lucanu, Dorel; Rosu, Grigore; Rusu, Vlad; Şerbănuţă, Traian-Florin Program logics and their applications. (English) Zbl 1389.68009 Rev. Roum. Math. Pures Appl. 62, No. 1, 137-154 (2017). Reviewer: Fevzi Belli (Paderborn) MSC: 68N30 03B70 68N15 68Q55 PDF BibTeX XML Cite \textit{A. Arusoaie} et al., Rev. Roum. Math. Pures Appl. 62, No. 1, 137--154 (2017; Zbl 1389.68009) OpenURL
Cheval, Vincent; Comon-Lundh, Hubert; Delaune, Stéphanie A procedure for deciding symbolic equivalence between sets of constraint systems. (English) Zbl 1371.68189 Inf. Comput. 255, Part 1, 94-125 (2017). MSC: 68Q85 68Q60 94A60 PDF BibTeX XML Cite \textit{V. Cheval} et al., Inf. Comput. 255, Part 1, 94--125 (2017; Zbl 1371.68189) Full Text: DOI Link OpenURL
Reissig, Gunther; Weber, Alexander; Rungger, Matthias Feedback refinement relations for the synthesis of symbolic controllers. (English) Zbl 1366.93363 IEEE Trans. Autom. Control 62, No. 4, 1781-1796 (2017). MSC: 93C65 68Q85 37N35 68W30 PDF BibTeX XML Cite \textit{G. Reissig} et al., IEEE Trans. Autom. Control 62, No. 4, 1781--1796 (2017; Zbl 1366.93363) Full Text: DOI arXiv OpenURL
Cohl, Howard S.; Schubotz, Moritz; Youssef, Abdou; Greiner-Petter, André; Gerhard, Jürgen; Saunders, Bonita V.; McClain, Marjorie A.; Bang, Joon; Chen, Kevin Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems. (English) Zbl 1367.68333 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 115-131 (2017). MSC: 68U15 68U35 68W30 PDF BibTeX XML Cite \textit{H. S. Cohl} et al., Lect. Notes Comput. Sci. 10383, 115--131 (2017; Zbl 1367.68333) Full Text: DOI arXiv OpenURL
Berghammer, Rudolf; Stucke, Insa; Winter, Michael Using relation-algebraic means and tool support for investigating and computing bipartitions. (English) Zbl 1371.68170 J. Log. Algebr. Methods Program. 90, 102-124 (2017). MSC: 68Q55 03E20 03G15 18B10 68T15 68W30 PDF BibTeX XML Cite \textit{R. Berghammer} et al., J. Log. Algebr. Methods Program. 90, 102--124 (2017; Zbl 1371.68170) Full Text: DOI OpenURL
Hildenbrand, D.; Albert, J.; Charrier, P.; Steinmetz, Chr. Geometric algebra computing for heterogeneous systems. (English) Zbl 1367.65030 Adv. Appl. Clifford Algebr. 27, No. 1, 599-620 (2017). MSC: 65D18 15A66 65Y20 65Y04 PDF BibTeX XML Cite \textit{D. Hildenbrand} et al., Adv. Appl. Clifford Algebr. 27, No. 1, 599--620 (2017; Zbl 1367.65030) Full Text: DOI OpenURL
Caravantes, Jorge; Diaz-Toca, Gema Maria; Fioravanti, Mario; Gonzalez-Vega, Laureano; Necula, Ioana An algebraic framework for computing the topology of offsets to rational curves. (English) Zbl 1366.65017 Comput. Aided Geom. Des. 52-53, 28-47 (2017). MSC: 65D17 PDF BibTeX XML Cite \textit{J. Caravantes} et al., Comput. Aided Geom. Des. 52--53, 28--47 (2017; Zbl 1366.65017) Full Text: DOI OpenURL
Boreale, Michele Algebra, coalgebra, and minimization in polynomial differential equations. (English) Zbl 06720984 Esparza, Javier (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 71-87 (2017). MSC: 68Q85 13N15 34A34 68W30 PDF BibTeX XML Cite \textit{M. Boreale}, Lect. Notes Comput. Sci. 10203, 71--87 (2017; Zbl 06720984) Full Text: DOI arXiv OpenURL
Farinelli, Alessandro; Franco, Giuditta; Rizzi, Romeo Minimal multiset grammars for recurrent dynamics. (English) Zbl 1483.68115 Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 177-189 (2017). MSC: 68Q07 37B10 68Q17 68Q42 PDF BibTeX XML Cite \textit{A. Farinelli} et al., Lect. Notes Comput. Sci. 10105, 177--189 (2017; Zbl 1483.68115) Full Text: DOI OpenURL
Ivanyos, Gábor; Santha, Miklos Solving systems of diagonal polynomial equations over finite fields. (English) Zbl 1356.68281 Theor. Comput. Sci. 657, Part A, 73-85 (2017). MSC: 68W30 12Y05 68Q12 PDF BibTeX XML Cite \textit{G. Ivanyos} and \textit{M. Santha}, Theor. Comput. Sci. 657, Part A, 73--85 (2017; Zbl 1356.68281) Full Text: DOI OpenURL
Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei A generic framework for symbolic execution: a coinductive approach. (English) Zbl 1356.68044 J. Symb. Comput. 80, Part 1, 125-163 (2017). MSC: 68N30 68Q55 68W30 PDF BibTeX XML Cite \textit{D. Lucanu} et al., J. Symb. Comput. 80, Part 1, 125--163 (2017; Zbl 1356.68044) Full Text: DOI Link OpenURL
Maestre-Martínez, Roberto; Hernando, Antonio; Roanes-Lozano, Eugenio An algebraic approach for detecting nearly dangerous situations in expert systems. (English) Zbl 07313699 Math. Comput. Simul. 129, 81-93 (2016). MSC: 68-XX 93-XX PDF BibTeX XML Cite \textit{R. Maestre-Martínez} et al., Math. Comput. Simul. 129, 81--93 (2016; Zbl 07313699) Full Text: DOI OpenURL
Pola, Giordano; Pepe, Pierdomenico; Di Benedetto, Maria Domenica Symbolic models for networks of control systems. (English) Zbl 1359.93039 IEEE Trans. Autom. Control 61, No. 11, 3663-3668 (2016). MSC: 93A30 68Q85 68W30 PDF BibTeX XML Cite \textit{G. Pola} et al., IEEE Trans. Autom. Control 61, No. 11, 3663--3668 (2016; Zbl 1359.93039) Full Text: DOI OpenURL
Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore Language definitions as rewrite theories. (English) Zbl 1356.68125 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98-120 (2016). MSC: 68Q42 68N30 68Q55 PDF BibTeX XML Cite \textit{V. Rusu} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98--120 (2016; Zbl 1356.68125) Full Text: DOI OpenURL
Craven, Matthew J.; Robertz, Daniel A parallel evolutionary approach to solving systems of equations in polycyclic groups. (English) Zbl 1353.94044 Groups Complex. Cryptol. 8, No. 2, 109-125 (2016). MSC: 94A60 68W30 90C27 20F10 PDF BibTeX XML Cite \textit{M. J. Craven} and \textit{D. Robertz}, Groups Complex. Cryptol. 8, No. 2, 109--125 (2016; Zbl 1353.94044) Full Text: DOI Link OpenURL
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea Symbolic computation of differential equivalences. (English) Zbl 1347.68258 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 137-150 (2016). MSC: 68Q85 60J28 68Q60 68W30 92C42 92E20 PDF BibTeX XML Cite \textit{L. Cardelli} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 137--150 (2016; Zbl 1347.68258) Full Text: DOI Link OpenURL
Li, Yi; Feng, Yong Termination analysis of nonlinear loops over closed and bounded connected domain. (Chinese. English summary) Zbl 1363.68038 J. Softw. 27, No. 3, 517-526 (2016). MSC: 68N30 13P10 68W30 PDF BibTeX XML Cite \textit{Y. Li} and \textit{Y. Feng}, J. Softw. 27, No. 3, 517--526 (2016; Zbl 1363.68038) Full Text: DOI OpenURL
Marussy, Kristóf; Klenik, Attila; Molnár, Vince; Vörös, András; Majzik, István; Telek, Miklós Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. (English) Zbl 1346.68138 Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 281-300 (2016). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{K. Marussy} et al., Lect. Notes Comput. Sci. 9698, 281--300 (2016; Zbl 1346.68138) Full Text: DOI OpenURL
Liu, Yinping; Yao, Ruoxia; Li, Zhibin; Yang, Le; Zhang, Zhian An online computing and knowledge platform for differential equations. (English) Zbl 1434.68710 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 181-188 (2016). MSC: 68W30 34-04 34A34 68V30 PDF BibTeX XML Cite \textit{Y. Liu} et al., Lect. Notes Comput. Sci. 9725, 181--188 (2016; Zbl 1434.68710) Full Text: DOI OpenURL
Greuel, Gert-Martin (ed.); Koch, Thorsten (ed.); Paule, Peter (ed.); Sommese, Andrew (ed.) Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. (English) Zbl 1342.68017 Lecture Notes in Computer Science 9725. Cham: Springer (ISBN 978-3-319-42431-6/pbk; 978-3-319-42432-3/ebook). xxiv, 532 p. (2016). MSC: 68-06 65-06 65Yxx 68T15 68U35 68W30 00B25 PDF BibTeX XML Cite \textit{G.-M. Greuel} (ed.) et al., Mathematical software -- ICMS 2016. 5th international conference, Berlin, Germany, July 11--14, 2016. Proceedings. Cham: Springer (2016; Zbl 1342.68017) Full Text: DOI OpenURL
Prokopenya, A. N. Approximation of a quantum algorithm for order finding. (English. Russian original) Zbl 1362.68082 Program. Comput. Softw. 42, No. 2, 90-98 (2016); translation from Programmirovanie 42, No. 2 (2016). MSC: 68Q12 68W30 PDF BibTeX XML Cite \textit{A. N. Prokopenya}, Program. Comput. Softw. 42, No. 2, 90--98 (2016; Zbl 1362.68082); translation from Programmirovanie 42, No. 2 (2016) Full Text: DOI OpenURL
Mörig, Marc; Schirra, Stefan Precision-driven computation in the evaluation of expression-dags with common subexpressions: problems and solutions. (English) Zbl 1460.65018 Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 451-465 (2016). MSC: 65D18 65G20 68U05 68W30 PDF BibTeX XML Cite \textit{M. Mörig} and \textit{S. Schirra}, Lect. Notes Comput. Sci. 9582, 451--465 (2016; Zbl 1460.65018) Full Text: DOI OpenURL
Xue, Dingyü; Chen, YangQuan Scientific computing with MATLAB. 2nd edition. (English) Zbl 1344.65001 Boca Raton, FL: CRC Press (ISBN 978-1-4987-5777-5/hbk; 978-0-367-78313-6/pbk; 978-1-315-36785-9/ebook). xvii, 586 p. (2016). Reviewer: Rolf Dieter Grigorieff (Berlin) MSC: 65-01 00A06 68-04 68N15 68W30 65Mxx 65Nxx 65Fxx 65R10 65E05 65H05 65K05 65Lxx 65Dxx 65Cxx 65T60 PDF BibTeX XML Cite \textit{D. Xue} and \textit{Y. Chen}, Scientific computing with MATLAB. 2nd edition. Boca Raton, FL: CRC Press (2016; Zbl 1344.65001) Full Text: DOI OpenURL
White, Robert E. Computational mathematics. Models, methods, and analysis with MATLAB and MPI. 2nd edition. (English) Zbl 1336.65002 Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4822-3515-9/hbk; 978-1-4822-3517-3/ebook). xxii, 476 p. (2016). Reviewer: Liu Xinguo (Qingdao) MSC: 65-01 65Fxx 65Y05 65Y15 35K05 35J05 35L05 65M06 65N06 76M20 65D18 94A08 91G60 68W30 92D30 76B15 PDF BibTeX XML Cite \textit{R. E. White}, Computational mathematics. Models, methods, and analysis with MATLAB and MPI. 2nd edition. Boca Raton, FL: CRC Press (2016; Zbl 1336.65002) OpenURL
Edsberg, Lennart Introduction to computation and modeling for differential equations. 2nd edition. (English) Zbl 1338.65001 Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-01844-5/hbk; 978-1-119-01845-2/ebook). xi, 271 p. (2016). Reviewer: Dinh Nho Hào (Hanoi) MSC: 65-01 65M08 65M60 65N08 65N30 65L60 65Mxx 65Nxx 68W30 PDF BibTeX XML Cite \textit{L. Edsberg}, Introduction to computation and modeling for differential equations. 2nd edition. Hoboken, NJ: John Wiley \& Sons (2016; Zbl 1338.65001) OpenURL
Collins, George E. Continued fraction real root isolation using the Hong root bound. (English) Zbl 1329.65094 J. Symb. Comput. 72, 21-54 (2016). MSC: 65H04 11A55 11Y65 12D10 26C10 30C15 65Y20 68W30 PDF BibTeX XML Cite \textit{G. E. Collins}, J. Symb. Comput. 72, 21--54 (2016; Zbl 1329.65094) Full Text: DOI OpenURL
Hernando, Antonio; Roanes-Lozano, Eugenio An algebraic model for implementing expert systems based on the knowledge of different experts. (English) Zbl 07313303 Math. Comput. Simul. 107, 92-107 (2015). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{A. Hernando} and \textit{E. Roanes-Lozano}, Math. Comput. Simul. 107, 92--107 (2015; Zbl 07313303) Full Text: DOI OpenURL
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad Symbolic execution based on language transformation. (English) Zbl 1387.68047 Comput. Lang. Syst. Struct. 44, Part A, 48-71 (2015). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{A. Arusoaie} et al., Comput. Lang. Syst. Struct. 44, Part A, 48--71 (2015; Zbl 1387.68047) Full Text: DOI Link OpenURL
Wen, Liu-Ying; Min, Fan A granular computing approach to symbolic value partitioning. (English) Zbl 1346.68196 Fundam. Inform. 142, No. 1-4, 337-371 (2015). MSC: 68T30 PDF BibTeX XML Cite \textit{L.-Y. Wen} and \textit{F. Min}, Fundam. Inform. 142, No. 1--4, 337--371 (2015; Zbl 1346.68196) Full Text: DOI OpenURL
Dalla Preda, Mila; Giacobazzi, Roberto; Lakhotia, Arun; Mastroeni, Isabella Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables. (English) Zbl 1345.68100 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 329-341 (2015). MSC: 68N30 68Q45 68Q55 PDF BibTeX XML Cite \textit{M. Dalla Preda} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 329--341 (2015; Zbl 1345.68100) Full Text: DOI OpenURL
Prokopenya, Alexander N. Simulation of a quantum algorithm for phase estimation. (English. Russian original) Zbl 1362.68083 Program. Comput. Softw. 41, No. 2, 98-104 (2015); translation from Programmirovanie 41, No. 2 (2015). MSC: 68Q12 68W30 PDF BibTeX XML Cite \textit{A. N. Prokopenya}, Program. Comput. Softw. 41, No. 2, 98--104 (2015; Zbl 1362.68083); translation from Programmirovanie 41, No. 2 (2015) Full Text: DOI OpenURL
Bliss, Nathan; Sommars, Jeff; Verschelde, Jan; Yu, Xiangcheng Solving polynomial systems in the cloud with polynomial homotopy continuation. (English) Zbl 1439.13078 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9301, 87-100 (2015). MSC: 13P15 13-04 65H14 14Q65 68W30 65H10 PDF BibTeX XML Cite \textit{N. Bliss} et al., Lect. Notes Comput. Sci. 9301, 87--100 (2015; Zbl 1439.13078) Full Text: DOI arXiv OpenURL
Seddiki, Ons; Dunchev, Cvetan; Khan-Afshar, Sanaz; Tahar, Sofiène Enabling symbolic and numerical computations in HOL Light. (English) Zbl 1417.68193 Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 353-358 (2015). MSC: 68T15 68U35 68W30 PDF BibTeX XML Cite \textit{O. Seddiki} et al., Lect. Notes Comput. Sci. 9150, 353--358 (2015; Zbl 1417.68193) Full Text: DOI OpenURL
Ivanyos, Gábor; Santha, Miklos On solving systems of diagonal polynomial equations over finite fields. (English) Zbl 1356.68280 Wang, Jianxin (ed.) et al., Frontiers in algorithmics. 9th international workshop, FAW 2015, Guilin, China, July 3–5, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19646-6/pbk; 978-3-319-19647-3/ebook). Lecture Notes in Computer Science 9130, 125-137 (2015). MSC: 68W30 12Y05 68Q12 PDF BibTeX XML Cite \textit{G. Ivanyos} and \textit{M. Santha}, Lect. Notes Comput. Sci. 9130, 125--137 (2015; Zbl 1356.68280) Full Text: DOI arXiv Link OpenURL
Kamiński, Marcin; Corigliano, Alberto Numerical solution of the Duffing equation with random coefficients. (English) Zbl 1329.74314 Meccanica 50, No. 7, 1841-1853 (2015). MSC: 74S60 65C30 74H45 PDF BibTeX XML Cite \textit{M. Kamiński} and \textit{A. Corigliano}, Meccanica 50, No. 7, 1841--1853 (2015; Zbl 1329.74314) Full Text: DOI OpenURL
Gajardo, Anahí; Ollinger, Nicolas; Torres-Avilés, Rodrigo The transitivity problem of Turing machines. (English) Zbl 1465.68072 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 231-242 (2015). MSC: 68Q04 03D10 68Q09 37B10 PDF BibTeX XML Cite \textit{A. Gajardo} et al., Lect. Notes Comput. Sci. 9234, 231--242 (2015; Zbl 1465.68072) Full Text: DOI HAL OpenURL
Botana, Francisco; Kovács, Zoltán A Singular web service for geometric computations. (English) Zbl 1330.68336 Ann. Math. Artif. Intell. 74, No. 3-4, 359-370 (2015). MSC: 68U35 68W30 PDF BibTeX XML Cite \textit{F. Botana} and \textit{Z. Kovács}, Ann. Math. Artif. Intell. 74, No. 3--4, 359--370 (2015; Zbl 1330.68336) Full Text: DOI Link OpenURL
Kamiński, Marcin; Ossowski, Rafał Leszek Prediction of the effective parameters of the nanofluids using the generalized stochastic perturbation method. (English) Zbl 1395.82286 Physica A 393, 10-22 (2014). MSC: 82D80 76A10 PDF BibTeX XML Cite \textit{M. Kamiński} and \textit{R. L. Ossowski}, Physica A 393, 10--22 (2014; Zbl 1395.82286) Full Text: DOI OpenURL
Pan, Victor Y.; Tsigaridas, Elias P. Nearly optimal computations with structured matrices. (English) Zbl 1346.68297 Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 21-30 (2014). MSC: 68W30 65F10 68Q17 68Q25 PDF BibTeX XML Cite \textit{V. Y. Pan} and \textit{E. P. Tsigaridas}, in: Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28--31, 2014. New York, NY: Association for Computing Machinery (ACM). 21--30 (2014; Zbl 1346.68297) Full Text: DOI arXiv OpenURL
Draisma, Jan; Horobeţ, Emil; Ottaviani, Giorgio; Sturmfels, Bernd; Thomas, Rekha The Euclidean distance degree. (English) Zbl 1346.68281 Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 9-16 (2014). MSC: 68W30 14P05 14Q15 PDF BibTeX XML Cite \textit{J. Draisma} et al., in: Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28--31, 2014. New York, NY: Association for Computing Machinery (ACM). 9--16 (2014; Zbl 1346.68281) Full Text: DOI OpenURL
Nguyen, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David Soft contract verification. (English) Zbl 1346.68062 Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 139-152 (2014). MSC: 68N30 68N18 68Q55 PDF BibTeX XML Cite \textit{P. C. Nguyen} et al., in: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP '14, Gothenburg, Sweden, September 1--3, 2014. New York, NY: Association for Computing Machinery (ACM). 139--152 (2014; Zbl 1346.68062) Full Text: DOI arXiv OpenURL
Wu, C. H. On addition-rule based cellular automata. (English) Zbl 1338.68198 J. Cell. Autom. 9, No. 4, 271-286 (2014). MSC: 68Q80 68Q05 81P68 PDF BibTeX XML Cite \textit{C. H. Wu}, J. Cell. Autom. 9, No. 4, 271--286 (2014; Zbl 1338.68198) Full Text: Link OpenURL
Le, Dinh-Thuan; Nguyen, Huu-Vu; Nguyen, Van-Tinh; Mai, Phuong-Nam; Pham-Duy, Bao-Trung; Quan, Thanh-Tho; André, Étienne; Petrucci, Laure; Liu, Yang PeCAn: compositional verification of Petri nets made easy. (English) Zbl 1448.68305 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 242-247 (2014). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{D.-T. Le} et al., Lect. Notes Comput. Sci. 8837, 242--247 (2014; Zbl 1448.68305) Full Text: DOI Link OpenURL
Zhang, Xinjun; Duan, Xuefeng; Zhang, Xuewei The alternating projection method for solving structured low rank approximation. (Chinese. English summary) Zbl 1324.65073 Commun. Appl. Math. Comput. 28, No. 4, 475-485 (2014). MSC: 65F30 68W30 68U10 PDF BibTeX XML Cite \textit{X. Zhang} et al., Commun. Appl. Math. Comput. 28, No. 4, 475--485 (2014; Zbl 1324.65073) Full Text: DOI OpenURL
Ullah, E.; Abbas Khan, S. Computing border bases using mutant strategies. (Russian, English) Zbl 1313.13040 Zh. Vychisl. Mat. Mat. Fiz. 54, No. 1, 170-170 (2014); translation in Comput. Math. Math. Phys. 54, No. 1, 177-183 (2014). MSC: 13P10 68W30 PDF BibTeX XML Cite \textit{E. Ullah} and \textit{S. Abbas Khan}, Zh. Vychisl. Mat. Mat. Fiz. 54, No. 1, 170--170 (2014; Zbl 1313.13040); translation in Comput. Math. Math. Phys. 54, No. 1, 177--183 (2014) Full Text: DOI OpenURL
Childs, Andrew M.; Ivanyos, Gábor Quantum computation of discrete logarithms in semigroups. (English) Zbl 1304.68050 J. Math. Cryptol. 8, No. 4, 405-416 (2014). MSC: 68Q12 68Q17 68W30 81P68 94A60 PDF BibTeX XML Cite \textit{A. M. Childs} and \textit{G. Ivanyos}, J. Math. Cryptol. 8, No. 4, 405--416 (2014; Zbl 1304.68050) Full Text: DOI arXiv Link OpenURL
Dimovski, Aleksandar S. Program verification using symbolic game semantics. (English) Zbl 1303.68083 Theor. Comput. Sci. 560, Part 3, 364-379 (2014). MSC: 68Q60 68N30 68Q45 68Q55 PDF BibTeX XML Cite \textit{A. S. Dimovski}, Theor. Comput. Sci. 560, Part 3, 364--379 (2014; Zbl 1303.68083) Full Text: DOI OpenURL
Berberich, Eric Robustly and efficiently computing algebraic curves and surfaces. (English) Zbl 1437.14004 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 253-260 (2014). MSC: 14-04 14Q65 65D17 65H14 PDF BibTeX XML Cite \textit{E. Berberich}, Lect. Notes Comput. Sci. 8592, 253--260 (2014; Zbl 1437.14004) Full Text: DOI OpenURL
Chung, Youngjoo Symbolic computing package for Mathematica for versatile manipulation of mathematical expressions. (English) Zbl 1403.68364 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 21-25 (2014). MSC: 68W30 PDF BibTeX XML Cite \textit{Y. Chung}, Lect. Notes Comput. Sci. 8592, 21--25 (2014; Zbl 1403.68364) Full Text: DOI OpenURL
Guttmann, Walter Multirelations with infinite computations. (English) Zbl 1371.68172 J. Log. Algebr. Methods Program. 83, No. 2, 194-211 (2014). MSC: 68Q55 03G15 68W30 PDF BibTeX XML Cite \textit{W. Guttmann}, J. Log. Algebr. Methods Program. 83, No. 2, 194--211 (2014; Zbl 1371.68172) Full Text: DOI OpenURL
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng Symbolic bisimulation for quantum processes. (English) Zbl 1291.68237 ACM Trans. Comput. Log. 15, No. 2, Article No. 14, 32 p. (2014). MSC: 68Q55 68Q85 81P68 PDF BibTeX XML Cite \textit{Y. Feng} et al., ACM Trans. Comput. Log. 15, No. 2, Article No. 14, 32 p. (2014; Zbl 1291.68237) Full Text: DOI arXiv OpenURL