Generation and Verification of Algorithms for Symbolic-Numeric Processing

Journal of Symbolic Computation - United States
doi 10.1006/jsco.1997.0182
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Numerical and Symbolic Algorithms for Application Specific Signal Processing.

1994English

Symbolic Methodology for Numeric Data Mining

Intelligent Data Analysis
Computer VisionPattern RecognitionArtificial IntelligenceTheoretical Computer Science
2008English

Loop-Level Parallelism in Numeric and Symbolic Programs

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
1993English

Numeric-Symbolic Solution for Satellite Trajectory Control by Pole Placement

Periodica Polytechnica: Civil Engineering
CivilGeotechnical EngineeringEngineering GeologyStructural Engineering
2013English

A Numeric-Symbolic Solution of GNSS Phase Ambiguity

Periodica Polytechnica: Civil Engineering
CivilGeotechnical EngineeringEngineering GeologyStructural Engineering
2020English

Computers for Symbolic Processing

Proceedings of the IEEE
Electronic EngineeringElectricalComputer Science
1989English

Around the Numeric–symbolic Computation of Differential Galois Groups

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2007English

Pythagore’s Dilemma, Symbolic-Numeric Computation, and the Border Basis Method

English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy