Search results
From MaRDI portal
- of Gerdt's Algorithm for Computing Involutive Bases 2011-08-16 Paper Computer algebra in physical research of jinr 2011-04-16 Paper Computer classification...10 bytes (16 words) - 15:09, 8 December 2023
- Paper Computer-assisted validation of the existence of periodic orbit in the Brusselator system 2024-08-26 Paper High-order Lohner-type algorithm for rigorous...10 bytes (14 words) - 16:44, 8 December 2023
- packet error rate for a multi-state unreliable vertex computer network 2017-01-31 Paper A simple algorithm to evaluate supply-chain reliability for brittle...10 bytes (15 words) - 01:17, 7 October 2023
- quantum entanglement in finite quantum mechanics: a computer algebra approach 2021-05-28 Paper An algorithm for constructing irreducible decompositions of permutation...10 bytes (15 words) - 15:10, 8 December 2023
- functions, and computer algebra 2017-01-25 Paper Relativistic Coulomb integrals and Zeilberger's holonomic systems approach. I 2015-04-01 Paper Computer-Assisted...10 bytes (14 words) - 15:15, 6 December 2023
- problem by computer algebra methods 2007-01-18 Paper Some symbolic computation algorithms in cosmic dynamics problems 2006-10-26 Paper Computer Algebra in...10 bytes (15 words) - 13:11, 11 December 2023
- 2010-10-18 Paper The Research Seminar on Computer Algebra in 2008--2009 2010-09-24 Paper Symbolic-numeric algorithms for computer analysis of spheroidal quantum...10 bytes (15 words) - 18:13, 24 September 2023
- group project decisions in distributed computer decision support systems 1999-02-17 Paper Distributed computer-aided systems for the design of complex...10 bytes (15 words) - 09:39, 12 December 2023
- Systems 2023-05-21 Paper Computer-assisted proofs of "Kariya's theorem" with computer algebra 2023-04-15 Paper The GPGCD algorithm with the Bézout matrix...10 bytes (13 words) - 09:27, 25 September 2023
- 2007-08-01 Paper $C^r$-Lohner algorithm 2007-04-05 Paper The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof 2007-03-09...10 bytes (13 words) - 08:17, 7 October 2023
- An \(\mathcal O(n^2)\)-time algorithm for the minimal interval completion problem 2014-01-10 Paper A linear-time algorithm for computing the prime decomposition...10 bytes (13 words) - 08:16, 25 September 2023
- 2006-05-02 Paper Computer Vision - ECCV 2004 2005-12-27 Paper Computer Vision - ECCV 2004 2005-12-27 Paper Scale Space and PDE Methods in Computer Vision 2005-11-10...10 bytes (13 words) - 12:37, 28 January 2024
- Mathematical foundations for computer science. Sets, logic, recursion 2013-09-13 Paper Elementary combinatorics for computer science. Enumerations, difference...10 bytes (17 words) - 07:20, 7 October 2023
- generalized Newton algorithm using higher-order derivatives 1983-01-01 Paper A computer program to minimize a function with many variables using computer evaluated...10 bytes (13 words) - 23:43, 12 December 2023
- and time for stochastic unreliable-node computer networks 2020-03-09 Paper A novel minimal cut-based algorithm to find all minimal capacity vectors for...10 bytes (15 words) - 06:09, 7 October 2023
- Resource allocation algorithm in data centers with a unified scheduler for different types of resources 2015-08-05 Paper An algorithm for constructing single...10 bytes (15 words) - 18:17, 24 September 2023
- approach 2012-04-05 Paper An exact algorithm for the maximum leaf spanning tree problem 2012-01-09 Paper A new algorithm for finding trees with many leaves...10 bytes (13 words) - 16:39, 6 October 2023
- A variant of Faugère's F5 algorithm with reduced Gröbner bases 2010-11-19 Paper The Algorithmic Behaviour of the F5 Algorithm 2008-10-29 Paper A new attempt...10 bytes (13 words) - 14:14, 6 October 2023
- PARALLEL ALGORITHM FOR FINDING THE SMALLEST ENCLOSING TRIANGLE ON A MESH-CONNECTED COMPUTER∗ 2004-10-06 Paper AN OPTIMAL PARALLEL MATCHING ALGORITHM FOR A...10 bytes (15 words) - 22:41, 24 September 2023
- identification of linear multivariable systems with its parallel algorithm 1997-09-04 Paper A parallel algorithm for evaluating general linear recurrence equations 1997-04-29...10 bytes (13 words) - 08:18, 7 October 2023
