IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Symbolic and Numeric Algorithm ...

Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on

Date 26-29 Sept. 2012

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

[Front cover]

[Title page i]

[Title page iii]

[Copyright notice]

Table of contents

Preface

Committees and reviewers

Enabling Distributed Intelligent Systems in Open Environments through Agreement Technologies

Interactive vs. automated proofs in computational origami

Synthesis from Examples: Interaction Models and Algorithms

Computing with Free Algebras

What is an Equation?

The Flexiformalist Manifesto

Experiences in Symbolic Computations for Matrix Problems

Proposal of Singularization of Approximately Singular Polynomial Systems

Solving Robust Glucose-Insulin Control by Dixon Resultant Computations

Computational Properties of Two P Systems Solving the 3-colouring Problem

Algebraic Theory Exploration: A Comparison of Technologies

A Model Reference Type Algorithm Using Importance Resampling

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc

On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin Diagrams

Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity

Experimental Study on Parallel Methods for Solving Systems of Equations

Labelled Tableaux for Temporal Logic with Cardinality Constraints

Solving, Reasoning, and Programming in Common Logic

IEEE Account

Purchase Details

Profile Information

Need Help?