„Symbolic computations“

Suchergebnisse

1.000+ Treffer

• Applied Mathematical Analysis and Computations I – 1st SGMC, Statesboro, USA, April 2–3, 2021 (Virtual)
  Wanduku, Divine ; Zheng, Shijun ; Zhou, Haomin ; Chen, Zhan ; Sills, Andrew V. ; Agyingi, Ephraim 2024 Springer Nature Switzerland, Imprint: Springer
• Stability and Chaos of the Duopoly Model of Kopel: A Study Based on Symbolic Computations
  Li, Xiaoliang ; Chen, Kongyan ; Niu, Wei ; Huang, Bo
• Symbolic computations in multibody systems
  Schiehlen, Werner 2012 Universitätsbibliothek der Universität Stuttgart
• A computational status update for exact rational mixed integer programming
  Eifler, Leon ; Gleixner, Ambros M. 2022 Hochschule für Technik und Wirtschaft Berlin
• Verification of MPI-based Computations
  Siegel, Stephen F.
• Development of Algorithmic and Software Support for Symbolic Computations in Problems of Constructing Controlled Compartmental Models of Dynamic Systems
  Petrov, A. A. ; Druzhinina, O. V. ; Masina, O. N. ; Demidova, A. V.
• Automation of Finite Element Methods
  Korelc, Jože ; Wriggers, Peter 2016 Springer International Publishing
• Symbolic computations in applied differential geometry
  Gragert, P. K. H. ; Kersten, P. H. M. ; Martini, R.
• Computer Algebra and Polynomials – Applications of Algebra and Number Theory
  Gutierrez, Jaime ; Schicho, Josef ; Weimann, Martin 2015 Springer International Publishing
• Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
  2014 Springer International Publishing
• Computations in fragments of intuitionistic propositional logic
  Jongh, Dick De ; Hendriks, Lex ; Renardel De Lavalette, Gerard R.
• Symbolic computations in flexible multibody systems
  Melzer, F.
• Formulas for series computations
  Bronstein, Manuel
• Group-theoretical methods in manipulator kinematics and symbolic computations
  Mladenova, Clementina D.
• Symbolic computations: A powerful method for the solution of crack problems in fracture mechanics
  Ioakimidis, N. L.
• Computer Algebra Systems and Symbolic Computations
  Mysovskikh, V. I.
• Development of Algorithms and Software for Modeling Controlled Dynamic Systems Using Symbolic Computations and Stochastic Methods
  Demidova, A. V. ; Druzhinina, O. V. ; Masina, O. N. ; Petrov, A. A.
• Mixed symbolic–numerical computations with general DAEs II: An applications case study
  Campbell, Stephen L. ; Marszalek, Wieslaw
• Mixed symbolic–numerical computations with general DAEs I: System properties
  Campbell, S.L ; Hollenbeck, R. ; Yeomans, K. ; Zhong, Y.
• Application of Symbolic Computations in Calculation of Electronic–Vibrational Spectra of Molecules
  D'yachenko, G. G. ; Petukhov, V. A.