Updated: October 26th, 2023 05:00

2023 article

Global Identifiability of Differential Models (vol 73, pg 1831, 2020)

Hong, H., Ovchinnikov, A., Pogudin, G., & Yap, C. (2023, September 22). *COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS*, Vol. 9.

co-author countries:
France π«π· United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: October 23, 2023

2021 journal article

A condition for multiplicity structure of univariate polynomials

*Journal of Symbolic Computation*, *5*, 15.

co-author countries:
China π¨π³ United States of America πΊπΈ

Source: ORCID

Added: November 6, 2020

2021 journal article

A condition for multiplicity structure of univariate polynomials

*Journal of Symbolic Computation*, *104*, 523β538.

co-author countries:
China π¨π³ United States of America πΊπΈ

Source: ORCID

Added: February 15, 2021

2021 journal article

Maximum gap in cyclotomic polynomials

*JOURNAL OF NUMBER THEORY*, *229*, 1β15.

co-author countries:
Jordan π―π΄ Korea (Republic of) π°π· United States of America πΊπΈ

author keywords: Cyclotomic polynomials; Inverse cyclotomic polynomials; Maximum gap

Sources: Web Of Science, ORCID

Added: August 30, 2021

2020 journal article

Global Identifiability of Differential Models

*COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS*, *73*(9), 1831β1879.

co-author countries:
France π«π· Russian Federation π·πΊ United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: July 6, 2020

2019 journal article

SIAN: a tool for assessing structural identifiability of parametric ODEs

*ACM COMMUNICATIONS IN COMPUTER ALGEBRA*, *53*(2), 37β40.

co-author countries:
United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: December 2, 2019

2019 journal article

SIAN: software for structural identifiability analysis of ODE models

*BIOINFORMATICS*, *35*(16), 2873β2874.

co-author countries:
United States of America πΊπΈ

Ed(s): J. Wren

MeSH headings : Models, Biological; Software

Sources: Web Of Science, ORCID

Added: October 28, 2019

2018 journal article

Improving root separation bounds

*JOURNAL OF SYMBOLIC COMPUTATION*, *84*, 25β56.

co-author countries:
France π«π· United States of America πΊπΈ

author keywords: Root separation bounds; Polynomial roots; Polynomial systems

Sources: Web Of Science, ORCID

Added: August 6, 2018

2018 journal article

Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling

*SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY*, *2*(1), 45β71.

Sources: Web Of Science, ORCID

Added: August 6, 2018

2018 journal article

Number of common roots and resultant of two tropical univariate polynomials

*JOURNAL OF ALGEBRA*, *511*, 420β439.

co-author countries:
Spain πͺπΈ United States of America πΊπΈ

author keywords: Tropical semifield; Tropical resultant; Common roots

Sources: Web Of Science, ORCID

Added: October 19, 2018

2018 conference paper

Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

In V. P. Gerdt, W. Koepf, W. M. Seiler, & E. V. Vorozhtsov (Eds.), *Computer Algebra in Scientific Computing - 20th International Workshop,
CASC 2018, Lille, France, September 17-21, 2018, Proceedings* (Vol. 11077, pp. 238β253).

Ed(s): V. Gerdt, W. Koepf, W. Seiler & E. Vorozhtsov

Source: ORCID

Added: November 6, 2020

2017 journal article

Algorithm for computing mu-bases of univariate polynomials

*JOURNAL OF SYMBOLIC COMPUTATION*, *80*, 844β874.

co-author countries:
United States of America πΊπΈ

author keywords: mu-basis; Syzygy module; Polynomial vectors; Rational curves

Sources: Web Of Science, ORCID

Added: August 6, 2018

2017 journal article

Open weak CAD and its applications

*JOURNAL OF SYMBOLIC COMPUTATION*, *80*, 785β816.

co-author countries:
China π¨π³ United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2017 journal article

Resultants over commutative idempotent semirings I: Algebraic aspect

*JOURNAL OF SYMBOLIC COMPUTATION*, *79*, 285β308.

co-author countries:
Spain πͺπΈ Korea (Republic of) π°π· United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2016 journal article

On using Lazard's projection in CAD construction

*JOURNAL OF SYMBOLIC COMPUTATION*, *72*, 65β81.

co-author countries:
Australia π¦πΊ United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2016 journal article

Quality of positive root bounds

*JOURNAL OF SYMBOLIC COMPUTATION*, *74*, 592β602.

co-author countries:
United States of America πΊπΈ

author keywords: Polynomial roots; Positive root bounds; Absolute positiveness

Sources: Web Of Science, ORCID

Added: August 6, 2018

2016 journal article

Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)

*JOURNAL OF SYMBOLIC COMPUTATION*, *75*, 110β126.

co-author countries:
Romania π·π΄ United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2015 journal article

An algebraic method for constructing stable and consistent autoregressive filters

*JOURNAL OF COMPUTATIONAL PHYSICS*, *283*, 241β257.

co-author countries:
United States of America πΊπΈ

author keywords: Autoregressive filter; Kalman filter; Parameter estimation; Model error

Sources: Web Of Science, ORCID

Added: August 6, 2018

2015 journal article

Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves

*FINITE FIELDS AND THEIR APPLICATIONS*, *34*, 45β74.

co-author countries:
Korea (Republic of) π°π· United States of America πΊπΈ

author keywords: Pairing-based cryptosystem; Elliptic curve; Cyclotomic polynomial

Sources: Web Of Science, ORCID

Added: August 6, 2018

2015 journal article

Special algorithm for stability analysis of multistable biological regulatory systems

*JOURNAL OF SYMBOLIC COMPUTATION*, *70*, 112β135.

co-author countries:
China π¨π³ Korea (Republic of) π°π· United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2014 chapter

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves

In *Computer Mathematics* (Vol. 10, pp. 437β451).

Sources: Crossref, ORCID

Added: February 24, 2020

2014 book

Mathematical Software β ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

In H. Hong & C. Yap (Eds.), *Lecture Notes in Computer Science* (Vol. 8592).

Source: ORCID

Added: November 6, 2020

2014 chapter

Pairing Inversion via Non-degenerate Auxiliary Pairings

In *Pairing-Based Cryptography β Pairing 2013* (pp. 77β96).

co-author countries:
Korea (Republic of) π°π· United States of America πΊπΈ

Sources: Crossref, ORCID

Added: February 24, 2020

2014 conference paper

Synthesis of Optimal Numerical Algorithms Using Real Quantifier Elimination (Case Study: Square Root Computation)

In K. Nabeshima, K. Nagasaka, F. Winkler, & Γ. SzΓ‘ntΓ³ (Eds.), *Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation* (pp. 162β169).

co-author countries:
Romania π·π΄ United States of America πΊπΈ

Ed(s): K. Nabeshima, K. Nagasaka, F. Winkler & Γ. SzΓ‘ntΓ³

Event: at New York, NY, USA

Source: ORCID

Added: November 6, 2020

2013 journal article

A framework for improving uniformity of parameterizations of curves

*SCIENCE CHINA-INFORMATION SCIENCES*, *56*(10).

Sources: Web Of Science, ORCID

Added: August 6, 2018

2013 chapter

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization

In *Automated Deduction in Geometry* (pp. 33β47).

Sources: Crossref, ORCID

Added: February 24, 2020

2013 journal article

Improving angular speed uniformity by reparameterization

*Computer Aided Geometric Design*, *30*(7), 636β652.

co-author countries:
China π¨π³ France π«π· United States of America πΊπΈ

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2013 journal article

Object-Image Correspondence for Algebraic Curves under Projections

*SYMMETRY INTEGRABILITY AND GEOMETRY-METHODS AND APPLICATIONS*, *9*.

co-author countries:
United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2013 conference paper

Pairing Inversion via Non-degenerate Auxiliary Pairings

In Z. Cao & F. Zhang (Eds.), *Pairing-Based Cryptography - Pairing 2013 - 6th International Conference,
Beijing, China, November 22-24, 2013, Revised Selected Papers* (Vol. 8365, pp. 77β96).

Ed(s): Z. Cao & F. Zhang

Source: ORCID

Added: November 6, 2020

2013 journal article

Reducing Pairing Inversion to Exponentiation Inversion using Non-degenerate Auxiliary Pairing

*IACR Cryptol. EPrint Arch.*, *2013*, 313. http://eprint.iacr.org/2013/313

Source: ORCID

Added: November 6, 2020

2013 journal article

Simple and exact formula for minimum loop length in Ate (i) pairing based on Brezing-Weng curves

*DESIGNS CODES AND CRYPTOGRAPHY*, *67*(2), 271β292.

co-author countries:
Korea (Republic of) π°π· United States of America πΊπΈ

author keywords: Pairing-based cryptosystem; Elliptic curves; Miller algorithm

Sources: Web Of Science, ORCID

Added: August 6, 2018

2013 journal article

The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation

*Reliab. Comput.*, *18*, 73β81. http://interval.louisiana.edu/reliable-computing-journal/volume-18/reliable-computing-18-pp-073-081.pdf

Source: ORCID

Added: November 6, 2020

2012 chapter

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization

In *Computer Algebra in Scientific Computing* (pp. 349β360).

co-author countries:
China π¨π³ France π«π· United States of America πΊπΈ

Sources: Crossref, ORCID

Added: February 24, 2020

2012 conference paper

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization

In V. P. Gerdt, W. Koepf, E. W. Mayr, & E. V. Vorozhtsov (Eds.), *Computer Algebra in Scientific Computing - 14th International Workshop,
CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings* (Vol. 7442, pp. 349β360).

Ed(s): V. Gerdt, W. Koepf, E. Mayr & E. Vorozhtsov

Source: ORCID

Added: November 6, 2020

2012 journal article

Maximum gap in (inverse) cyclotomic polynomial

*JOURNAL OF NUMBER THEORY*, *132*(10), 2297β2315.

co-author countries:
Korea (Republic of) π°π· United States of America πΊπΈ

author keywords: Cyclotomic polynomial; Inverse cyclotomic polynomial; Pairing-based cryptosystem

Sources: Web Of Science, ORCID

Added: August 6, 2018

2012 conference paper

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints

In S. Ossowski & P. Lecca (Eds.), *Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12* (pp. 94β101).

co-author countries:
China π¨π³ France π«π· United States of America πΊπΈ

Ed(s): S. Ossowski & P. Lecca

Source: ORCID

Added: November 6, 2020

2012 journal article

Variant quantifier elimination

*Journal of Symbolic Computation*, *47*(7), 883β901.

co-author countries:
France π«π· United States of America πΊπΈ

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2011 journal article

Solution formulas for cubic equations without or with constraints

*JOURNAL OF SYMBOLIC COMPUTATION*, *46*(8), 904β918.

author keywords: Cubic polynomial; Solution formula; Root convention; Constraint

Sources: Web Of Science, ORCID

Added: August 6, 2018

2011 conference paper

WTHD optimization for single phase multilevel converters with step modulation

*IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society*.

co-author countries:
United States of America πΊπΈ

Source: ORCID

Added: November 6, 2020

2010 conference paper

Connectivity in Semi-algebraic Sets

In T. Ida, V. Negru, T. Jebelean, D. Petcu, S. M. Watt, & D. Zaharie (Eds.), *2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing* (pp. 4β7).

co-author countries:
United States of America πΊπΈ

Ed(s): T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt & D. Zaharie

author keywords: connectivity; road map; semi-algebraic sets; gradient fields; Morse-Smale complex

Source: ORCID

Added: November 6, 2020

2009 journal article

Real-Time Algorithm for Minimizing THD in Multilevel Inverters With Unequal or Varying Voltage Steps Under Staircase Modulation

*IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS*, *56*(6), 2249β2258.

co-author countries:
United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2009 journal article

Real-Time Calculation of Switching Angles Minimizing THD for Multilevel Inverters With Step Modulation

*IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS*, *56*(2), 285β293.

co-author countries:
United States of America πΊπΈ

author keywords: Multilevel inverter; optimal pulsewidth modulation (PWM); power conversion

Sources: Web Of Science, ORCID

Added: August 6, 2018

2009 journal article

Sylvesterβs double sums: The general case

*Journal of Symbolic Computation*, *44*(9), 1164β1175.

co-author countries:
Argentina π¦π· Spain πͺπΈ United States of America πΊπΈ

author keywords: Subresultants; Double sums; Vandermonde determinants

Sources: Web Of Science, ORCID, Crossref

Added: August 6, 2018

2009 conference paper

Variant real quantifier elimination

In J. R. Johnson, H. Park, & E. Kaltofen (Eds.), *Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09* (pp. 183β190).

co-author countries:
France π«π· Korea (Republic of) π°π· United States of America πΊπΈ

Ed(s): J. Johnson, H. Park & E. Kaltofen

Source: ORCID

Added: November 6, 2020

2008 article

Are Buchberger's criteria necessary for the chain condition? (vol 42, pg 717, 2007)

*Journal of Symbolic Computation*, Vol. 43, pp. 233β233.

Source: NC State University Libraries

Added: August 6, 2018

2008 journal article

Connectivity in semialgebraic sets (abstract only)

*ACM Commun. Comput. Algebra*, *42*(1-2), 86.

co-author countries:
United States of America πΊπΈ

Source: ORCID

Added: November 6, 2020

2008 journal article

Corrigendum to βAre Buchbergerβs criteria necessary for the chain condition?β [J. Symbolic Comput. 42 (2007) 717β732]

*Journal of Symbolic Computation*, *43*(3), 233.

co-author countries:
United States of America πΊπΈ

Sources: Crossref, ORCID

Added: August 28, 2020

2007 journal article

An elementary proof of Sylvester's double sums for subresultants

*JOURNAL OF SYMBOLIC COMPUTATION*, *42*(3), 290β297.

co-author countries:
Argentina π¦π· Spain πͺπΈ United States of America πΊπΈ

author keywords: subresultants; double-sum formula; Vandermonde determinant

Sources: Web Of Science, ORCID

Added: August 6, 2018

2007 journal article

Are Buchbergerβs criteria necessary for the chain condition?

*Journal of Symbolic Computation*, *42*(7), 717β732.

co-author countries:
United States of America πΊπΈ

author keywords: Grobner bases; S-polynomials; Buchberger criteria

Sources: Crossref, ORCID

Added: August 28, 2020

2007 journal article

Foreword

*Mathematics in Computer Science*, *1*(1), 3β7.

co-author countries:
United States of America πΊπΈ

Source: ORCID

Added: November 6, 2020

2006 book

Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

In H. Hong & D. Wang (Eds.), *Springer Berlin Heidelberg* (Vol. 3763).

Source: ORCID

Added: November 6, 2020

2006 article

Bruno Buchberger - A life devoted to symbolic computation

*JOURNAL OF SYMBOLIC COMPUTATION*, Vol. 41, pp. 255β258.

co-author countries:
Austria π¦πΉ United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2006 chapter

Solving Dynamic Geometric Constraints Involving Inequalities

In *Artificial Intelligence and Symbolic Computation* (pp. 181β195).

Source: Crossref

Added: February 24, 2020

2006 conference paper

Solving Dynamic Geometric Constraints Involving Inequalities

In J. Calmet, T. Ida, & D. Wang (Eds.), *Artificial Intelligence and Symbolic Computation* (pp. 181β195). Berlin, Heidelberg: Springer Berlin Heidelberg.

Ed(s): J. Calmet, T. Ida & D. Wang

Event: at Berlin, Heidelberg

Source: ORCID

Added: November 6, 2020

2004 journal article

Note on Jacobi's method for approximating dominant roots

*JOURNAL OF SYMBOLIC COMPUTATION*, *37*(4), 449β453.

co-author countries:
United States of America πΊπΈ

author keywords: dominant roots; root bounds

Sources: Web Of Science, ORCID

Added: August 6, 2018

2002 journal article

Sparse resultant of composed polynomials I* mixed-unmixed case

*JOURNAL OF SYMBOLIC COMPUTATION*, *33*(4), 447β465.

co-author countries:
United States of America πΊπΈ

Sources: Web Of Science, ORCID

Added: August 6, 2018

2001 journal article

Ore principal subresultant coefficients in solutions

*APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING*, *11*(3), 227β237.

co-author countries:
United States of America πΊπΈ

author keywords: ore polynomials; resultants; subresultants; elimination theory

Sources: ORCID, Web Of Science

Added: August 6, 2018

2001 journal article

Ore subresultant coefficients in solutions

*APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING*, *12*(5), 421β428.

co-author countries:
United States of America πΊπΈ

author keywords: ore polynomials; resultants; subresultants

Sources: Web Of Science, ORCID

Added: August 6, 2018

2000 journal article

Editorial

*J. Symb. Comput.*, *29*(1), 3β4.

Source: ORCID

Added: November 6, 2020

1998 journal article

Algorithms for trigonometric curves (simplification, implicitization, parameterization)

*JOURNAL OF SYMBOLIC COMPUTATION*, *26*(3), 279β300.

co-author countries:
Austria π¦πΉ United States of America πΊπΈ

Sources: ORCID, Web Of Science

Added: August 6, 2018

1998 chapter

An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition

In *Texts and Monographs in Symbolic Computation* (pp. 166β173).

Source: ORCID

Added: November 6, 2020

1998 journal article

Bounds for Absolute Positiveness of Multivariate Polynomials

*J. Symb. Comput.*, *25*(5), 571β585.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1998 conference paper

Computation of Variant Resultants

In B. F. Caviness & J. R. Johnson (Eds.), *Quantifier Elimination and Cylindrical Algebraic Decomposition* (pp. 327β340). Vienna: Springer Vienna.

Ed(s): B. Caviness & J. Johnson

Event: at Vienna

Source: ORCID

Added: November 6, 2020

1998 journal article

Editorial

*Mathematics and Computers in Simulation*.

Source: ORCID

Added: November 6, 2020

1998 journal article

Groebner Basis Under Composition I

*Journal of Symbolic Computation*, *25*(5), 643β663.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1998 journal article

Testing Positiveness of Polynomials

*Journal of Automated Reasoning*, *21*(1), 23β38.

co-author countries:
Austria π¦πΉ United States of America πΊπΈ

author keywords: positiveness of polynomials; termination proofs; term rewrite systems

Source: ORCID

Added: November 6, 2020

1997 journal article

Comparison of Several Decision Algorithms for the Existential Theory of the Reals

*5*.

Source: ORCID

Added: November 6, 2020

1997 journal article

Heuristic Search and Pruning in Polynomial Constraints Satisfaction.

*Ann. Math. Artif. Intell.*, *19*(3-4), 319β334.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1997 journal article

Implicitization of Nested Circular Curves

*Journal of Symbolic Computation*, *23*(2-3), 177β189.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1997 journal article

Multivariate Resultants Under Composition

*4*.

Source: ORCID

Added: November 6, 2020

1997 journal article

Special Issue on Application of Quantifier Elimination. Foreword of the Guest Editors

*Journal of Symbolic Computation*, *24*(2), 123.

co-author countries:
Austria π¦πΉ Czechia π¨πΏ

Source: ORCID

Added: November 6, 2020

1997 journal article

Subresultants Under Composition

*Journal of Symbolic Computation*, *23*(4), 355β365.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1997 journal article

Testing Stability by Quantifier Elimination

*Journal of Symbolic Computation*, *24*(2), 161β187.

co-author countries:
Austria π¦πΉ Czechia π¨πΏ United States of America πΊπΈ

Source: ORCID

Added: November 6, 2020

1996 journal article

An efficient method for analyzing the topology of plane real algebraic curves

*Mathematics and Computers in Simulation*, *42*(4-6), 571β582.

co-author countries:
Austria π¦πΉ

author keywords: topology; algebraic curve; real roots; isolation; counting

Source: ORCID

Added: November 6, 2020

1996 conference paper

Groebner basis under composition II

In E. Engeler, B. F. Caviness, & Y. N. Lakshman (Eds.), *Proceedings of the 1996 international symposium on Symbolic and algebraic computation - ISSAC '96* (pp. 79β85).

co-author countries:
Austria π¦πΉ

Ed(s): E. Engeler, B. Caviness & Y. Lakshman

Source: ORCID

Added: November 6, 2020

1996 journal article

The exact region of stability for MacCormack scheme

*Computing*, *56*(4), 371β383.

co-author countries:
Austria π¦πΉ

author keywords: stability; MacCormack scheme; advection equation

Source: ORCID

Added: November 6, 2020

1996 journal article

The exact stability region of the MacCormack scheme for the scalar advection equation

*Applied Mathematics Letters*, *9*(4), 99β101.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1995 journal article

Bernstein form is inclusion monotone

*Computing*, *55*(1), 43β53.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1995 conference paper

Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials

In G. D. Cohen, M. Giusti, & T. Mora (Eds.), *Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
11th International Symposium, AAECC-11, Paris, France, July 17-22,
1995, Proceedings* (Vol. 948, pp. 285β296).

Ed(s): G. Cohen, M. Giusti & T. Mora

Source: ORCID

Added: November 6, 2020

1995 journal article

Preface

*Annals of Mathematics and Artificial Intelligence*, *13*(1-2), I-II.

co-author countries:
Norway π³π΄

Source: ORCID

Added: November 6, 2020

1995 journal article

The Design of the SACLIB/PACLIB Kernels

*Journal of Symbolic Computation*, *19*(1-3), 111β132.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1994 conference paper

Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine

In B. Buchberger & J. Volkert (Eds.), *Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International
Conference on Vector and Parallel Processing, Linz, Austria, September
6-8, 1994, Proceedings* (Vol. 854, pp. 325β336).

Ed(s): B. Buchberger & J. Volkert

Source: ORCID

Added: November 6, 2020

1994 conference paper

RISC-CLP(CF) Constraint Logic Programming over Complex Functions

In F. Pfenning (Ed.), *Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings* (Vol. 822, pp. 99β113).

Ed(s): F. Pfenning

Source: ORCID

Added: November 6, 2020

1994 journal article

Safe starting regions by fixed points and tightening

*Computing*, *53*(3-4), 323β335.

co-author countries:
Austria π¦πΉ

author keywords: NONLINEAR EQUATION SYSTEMS; INTERVAL ARITHMETIC; SAFE STARTING REGIONS; TIGHTENING

Source: ORCID

Added: November 6, 2020

1993 conference paper

A New Library for Parallel Algebraic Computation

In R. F. Sincovec, D. E. Keyes, M. R. Leuze, L. R. Petzold, & D. A. Reed (Eds.), *Proceedings of the Sixth SIAM Conference on Parallel Processing
for Scientific Computing, PPSC 1993, Norfolk, Virginia, USA, March
22-24, 1993* (pp. 776β783). SIAM.

Ed(s): R. Sincovec, D. Keyes, M. Leuze, L. Petzold & D. Reed

Source: ORCID

Added: November 6, 2020

1993 conference paper

Parallelization of Quantifier Elimination on a Workstation Network

In G. D. Cohen, T. Mora, & O. Moreno (Eds.), *Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto
Rico, May 10-14, 1993, Proceedings* (Vol. 673, pp. 170β179).

Ed(s): G. Cohen, T. Mora & O. Moreno

Source: ORCID

Added: November 6, 2020

1993 journal article

Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants

*The Computer Journal*, *36*(5), 439β449.

Source: ORCID

Added: November 6, 2020

1993 conference paper

Quantifier elimination for formulas constrained by quadratic equations

In M. Bronstein (Ed.), *Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93* (pp. 264β274).

Ed(s): M. Bronstein

Source: ORCID

Added: November 6, 2020

1993 chapter

RISC-CLP (Real): Logic Programming with Non-Linear Constraints over the Reals

In *Constraint Logic Programming: Selected Research* (pp. 133β159). Cambridge, MA, USA: MIT Press.

Event: at Cambridge, MA, USA

Source: ORCID

Added: November 6, 2020

1993 journal article

Special Issue Editorial: Computational Quantifier Elimination

*Comput. J.*, *36*(5), 399.

co-author countries:
Austria π¦πΉ

Source: ORCID

Added: November 6, 2020

1993 conference paper

The Design of the PACLIB Kernel for Parallel Algebraic Computation

In J. Volkert (Ed.), *Parallel Computation, Second International ACPC Conference, Gmunden,
Austria, October 4-6, 1993, Proceedings* (Vol. 734, pp. 204β218).

Ed(s): J. Volkert

Source: ORCID

Added: November 6, 2020

1993 conference paper

The Design of the SACLIB/PACLIB Kernels

In A. Miola (Ed.), *Design and Implementation of Symbolic Computation Systems, International
Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings* (Vol. 722, pp. 288β302).

co-author countries:
Austria π¦πΉ

Ed(s): A. Miola

Source: ORCID

Added: November 6, 2020

1992 conference paper

Heuristic Search Strategies for Cylindrical Algebraic Decomposion

In J. Calmet & J. A. Campbell (Eds.), *Artificial Intelligence and Symbolic Mathematical Computation, International
Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings* (Vol. 737, pp. 152β165).

Ed(s): J. Calmet & J. Campbell

Source: ORCID

Added: November 6, 2020

1992 conference paper

Non-linear Real Constraints in Constraint Logic Programming

In H. Kirchner & G. Levi (Eds.), *Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings* (Vol. 632, pp. 201β212).

co-author countries:
Austria π¦πΉ

Ed(s): H. Kirchner & G. Levi

Source: ORCID

Added: November 6, 2020

1992 journal article

Programming in PACLIB

*SIGSAM Bull.*, *26*(4), 1β6.

Source: ORCID

Added: November 6, 2020

1992 conference paper

Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination

In P. S. Wang (Ed.), *Proceedings of the 1992 International Symposium on Symbolic and Algebraic
Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992* (pp. 177β188).

Ed(s): P. Wang

Source: ORCID

Added: November 6, 2020

1991 journal article

Partial Cylindrical Algebraic Decomposition for quantifier elimination

*Journal of Symbolic Computation*, *12*(3), 299β328.

co-author countries:
United States of America πΊπΈ

Source: ORCID

Added: November 6, 2020

1990 conference paper

An improvement of the projection operator in cylindrical algebraic decomposition

*Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90*.

co-author countries:
United States of America πΊπΈ

Source: ORCID

Added: November 6, 2020