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
- of motion of generalized Atwood's machine using computer algebra 2020-12-18 Paper Application of computer algebra to photometric stereo with two light sources...10 bytes (15 words) - 13:11, 11 December 2023
- Paper Algorithms and Computation 2006-11-14 Paper Graph-Theoretic Concepts in Computer Science 2006-11-01 Paper Graph-Theoretic Concepts in Computer Science...10 bytes (13 words) - 18:09, 6 October 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
- 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
- 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
- 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
- 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
- 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
- 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
- An output-sensitive Algorithm to partition a Sequence of Integers into Subsets with equal Sums 2019-05-23 Paper An efficient Algorithm to partition a Sequence...10 bytes (17 words) - 07:20, 7 October 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
- minimization algorithm 1989-01-01 Paper Efficient parallel convex hull algorithms 1988-01-01 Paper Data Movement Techniques for the Pyramid Computer 1987-01-01...10 bytes (13 words) - 10:44, 6 October 2023