Search results
From MaRDI portal
- with computer algebra systems to verify combinatorial conjectures 2017-06-29 Paper MathCheck: A Math Assistant via a Combination of Computer Algebra Systems...10 bytes (16 words) - 09:06, 25 September 2023
- Using two types of computer algebra systems to solve Maxwell optics problems 2016-07-15 Paper Tensor computations in computer algebra systems 2014-01-29 Paper...10 bytes (18 words) - 10:13, 6 October 2023
- Oriented Computer Algebra Software 2010-09-10 Paper https://portal.mardi4nfdi.de/entity/Q5188234 2010-03-10 Paper Evaluation of a Java Computer Algebra System...10 bytes (16 words) - 13:17, 28 January 2024
- processes in a computer algebra system 2020-12-17 Paper A practical approach to testing random number generators in computer algebra systems 2020-10-22 Paper...10 bytes (18 words) - 10:13, 6 October 2023
- processes in a computer algebra system 2020-12-17 Paper A practical approach to testing random number generators in computer algebra systems 2020-10-22 Paper...10 bytes (18 words) - 22:45, 24 September 2023
- expert system for managing medical appropriateness criteria based on computer algebra techniques 2002-08-18 Paper A logic and computer algebra-based expert...10 bytes (19 words) - 20:31, 8 December 2023
- Properties of Infinite-State Systems 2008-09-11 Paper Deductive verification of alternating systems 2008-08-21 Paper The Reaction Algebra: A Formal Language for...10 bytes (18 words) - 00:45, 13 December 2023
- normalization of Hamiltonian systems by means of computer algebra 1996-10-10 Paper Computer normalization of Hamiltonian systems in analytic form 1994-07-24...10 bytes (18 words) - 23:35, 12 December 2023
- Paper Some algorithms of rational function algebra 2011-04-16 Paper The Research Seminar on Computer Algebra in 2008--2009 2010-09-24 Paper On an undecidable...10 bytes (19 words) - 14:58, 8 December 2023
- the symplectic algebra C2 2015-06-04 Paper Levi decomposable algebras in the classical Lie algebras 2015-02-24 Paper The GraviGUT algebra is not a subalgebra...10 bytes (18 words) - 11:03, 7 December 2023
- touch of algebraic geometry and computer algebra 2003-08-21 Paper An expert system for managing medical appropriateness criteria based on computer algebra...10 bytes (18 words) - 20:31, 8 December 2023
- Paper Robust regulation of stable systems in the H ∞-algebra 2007-09-03 Paper HIBI communication network for system-on-chip 2006-10-25 Paper Scalable architecture...10 bytes (17 words) - 13:59, 10 December 2023
- research seminar on computer algebra in 2005-2006 2007-07-05 Paper Normal forms and integrability of ODE systems 2006-10-26 Paper Computer Algebra in Scientific...10 bytes (19 words) - 20:25, 11 December 2023
- of a system of two connected bodies moving in the plane of a circular orbit by applying computer algebra methods 2023-05-03 Paper Computer algebra methods...10 bytes (18 words) - 10:09, 9 December 2023
- 2006-09-11 Paper Computer Algebra in Scientific Computing 2006-07-07 Paper Computer Algebra in Scientific Computing 2006-07-07 Paper Computer Algebra in Scientific...10 bytes (19 words) - 16:09, 8 December 2023
- graphical shells for computer algebra systems 2008-09-29 Paper Providing Modern Software Environments to Computer Algebra Systems 2008-07-04 Paper Aspect...10 bytes (16 words) - 05:21, 13 December 2023
- graphical shells for computer algebra systems 2008-09-29 Paper Providing Modern Software Environments to Computer Algebra Systems 2008-07-04 Paper Aspect...10 bytes (16 words) - 05:21, 13 December 2023
- in discrete dynamical systems 2014-06-06 Paper Computations in Finite Groups and Quantum Physics 2011-09-02 Paper Computer algebra application for determining...10 bytes (18 words) - 16:10, 8 December 2023
- overdetermined systems of differential equations 2010-10-29 Paper Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods...10 bytes (19 words) - 12:47, 11 December 2023
- solution of linear systems 2021-10-29 Paper Numerical algorithms for high-performance computational science 2021-06-15 Paper Linear Systems Solvers for Distributed-Memory...10 bytes (19 words) - 02:22, 9 December 2023