Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Mathematics

Termination of Rewriting Under Strategies

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2009English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

Box-Splitting Strategies for the Interval Gauss-Seidel Step in a Global Optimization Method

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
1994English

Use of Reciprocity Considerations for the Two-Dimensional BEM Analysis of Wave Propagation in an Elastic Half-Space With Applications to Acoustic Emission

Wave Motion
Applied MathematicsSimulationModelingComputational MathematicsAstronomyPhysics
2004English

Towards a Theory of Scale-Free Graphs: Definition, Properties, and Implications

Internet Mathematics
Computational MathematicsApplied MathematicsSimulationModeling
2005English

Multiple Genome Rearrangement and Breakpoint Phylogeny

Journal of Computational Biology
GeneticsMolecular BiologyComputational TheorySimulationComputational MathematicsMathematicsModeling
1998English

Guaranteed Inclusions for the Complex Generalized Eigenproblem

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
1989English

Bayesian Estimation Ofg-And-K Distributions Using McMc

Computational Statistics
Computational MathematicsStatisticsUncertaintyProbability
2005English

Efficient Exact P-Value Computation for Small Sample, Sparse, and Surprising Categorical Data

Journal of Computational Biology
GeneticsMolecular BiologyComputational TheorySimulationComputational MathematicsMathematicsModeling
2004English

New Method for the Assessment of All Drug-Like Pockets Across a Structural Genome

Journal of Computational Biology
GeneticsMolecular BiologyComputational TheorySimulationComputational MathematicsMathematicsModeling
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy