Search results
From MaRDI portal
- equations 2000-03-07 Paper Computation of conservation laws for nonlinear lattices 1999-12-06 Paper Symbolic computations of conserved densities for systems...10 bytes (16 words) - 14:51, 12 December 2023
- Publication Type Discovering multiple polylogarithm equations via symbolic computations 2022-09-06 Paper...10 bytes (16 words) - 22:50, 27 December 2023
- Role of Symbolic Computations in Beam Physics 2010-09-10 Paper Symplectification of truncated maps for Hamiltonian systems 2002-05-14 Paper Symbolic computation...10 bytes (17 words) - 16:51, 24 September 2023
- with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations 2008-07-04 Paper https://portal.mardi4nfdi.de/entity/Q3508931 2008-07-01...10 bytes (16 words) - 12:22, 7 October 2023
- Paper Symbolic methods for studying the equilibrium orientations of a system of two connected bodies in a circular orbit 2022-05-30 Paper Symbolic computations...10 bytes (18 words) - 10:09, 9 December 2023
- 1991-01-01 Paper Lie algebra computations 1989-01-01 Paper Symmetries for the super-KdV equation 1988-01-01 Paper Symbolic computations in applied differential...10 bytes (20 words) - 17:49, 6 October 2023
- Type Limit cycles and their period detection via numeric and symbolic hybrid computations 2020-10-23 Paper...10 bytes (16 words) - 20:05, 6 October 2023
- Additive Preconditioning for Matrix Computations 2008-06-05 Paper Additive preconditioning and aggregation in matrix computations 2008-05-05 Paper https://portal...10 bytes (19 words) - 17:19, 6 December 2023
- networks 2010-03-17 Paper Neural-Symbolic Cognitive Reasoning 2008-07-23 Paper Abductive reasoning in neural-symbolic systems 2007-11-14 Paper Connectionist...10 bytes (21 words) - 02:43, 9 December 2023
- CoCoALib and CoCoA-5? 2017-06-22 Paper Satisfiability checking and symbolic computation 2017-06-21 Paper Discovery of statistical equivalence classes using...10 bytes (19 words) - 04:13, 12 December 2023
- 2015-11-25 Paper Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem 2015-03-23 Paper Symbolic calculations in...10 bytes (18 words) - 14:11, 11 December 2023
- Additive Preconditioning for Matrix Computations 2008-06-05 Paper Additive preconditioning and aggregation in matrix computations 2008-05-05 Paper https://portal...10 bytes (18 words) - 03:05, 13 December 2023
- Paper Exploring conditional rewriting logic computations 2015-01-14 Paper Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 2014-03-25...10 bytes (16 words) - 02:47, 12 December 2023
- Additive Preconditioning for Matrix Computations 2008-06-05 Paper Additive preconditioning and aggregation in matrix computations 2008-05-05 Paper https://portal...10 bytes (17 words) - 02:16, 13 December 2023
- Algorithm on Symbolic Computations of Conserved Densities for High-Dimensional Nonlinear Systems 2018-08-03 Paper A Maple Package on Symbolic Computation of Conserved...10 bytes (17 words) - 21:18, 9 December 2023
- Paper Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions 2011-12-19 Paper Symbolic computation...10 bytes (17 words) - 15:56, 11 December 2023
- anytime approximation of belief function computations. 2003-07-30 Paper Implementing belief function computations 2003-06-25 Paper Probabilistic argumentation...10 bytes (16 words) - 16:34, 8 December 2023
- orthogonal polynomials: Symbolic computations, verifications and demonstrations in the Mathematica language 2013-08-05 Paper Symbolic approach to the general...10 bytes (18 words) - 17:50, 12 December 2023
- Publication Date of Publication Type Mixed symbolic-numerical computations with general DAEs. I: System properties 2000-01-25 Paper Jacobian reuse in explicit...10 bytes (16 words) - 13:18, 13 December 2023
- Publication Date of Publication Type Symbolic Specialization of Rewriting Logic Theories with Presto 2023-12-12 Paper Optimizing Maude programs via program...10 bytes (16 words) - 02:46, 12 December 2023