MEGA 2007Effective Methods in Algebraic Geometry Strobl, Austria, June 25th - 29th |
 |
Electronic Proceedings
For the convenience of the participants of MEGA 2007, we make abstracts as well as extended abstracts and full papers available for download on this web page.
Please note that the documents available here are different from the "MEGA 2007 Proceedings", which are planned to become a special issue of the Journal of Symbolic Computation. The documents below have been checked by referees but have not been formally refereed. There will be a separate refereeing for the special issue.
| Author(s) | Title | Abstract | Extended Abstract / Full Paper |
|---|---|---|---|
| J. A. Abbott | Twin-Float Arithmetic | html | |
| J. A. Abbott, A. M. Bigatti | CoCoA: Computations in Commutative Algebra | ps | |
| M. Abshoff, D. Heldt | Computing approximate vanishing ideals of finite sets of points using COCOA | ||
| C. D'Andrea, H. Hong, T. Krick, A. Szanto | Sylvester's Double Sums: the general case | html | |
| M. Avendaño | The number of real roots of a bivariate polynomial on a line | html | |
| F. Bihan, J. M. Rojas, A. Niles, J. Gomez | New Complexity Bounds for Certain Real Fewnomial Zero Sets | html | |
| M. Brickenstein, A. Dreyer | PolyBoRi: A framework for Gröbner basis computations with Boolean polynomials | html | |
| A. Bruno | Power Geometry as New Mathematics | html | |
| P. Bürgisser | The probability that a slight perturbation of a numerical analysis problem is difficult | html | |
| S. Bulygin, R. Pellikaan | On decoding up to error correcting capacity of linear error-correcting codes with Gröbner bases | html | |
| L. Busé, B. Mourrain | An algebraic version of a theorem of Whitney | html | |
| E. S. de Cabezon | Homological Description of Monomial Ideals using Mayer-Vietoris Trees | html | |
| E. S. de Cabezon, Henry Wynn | Betti numbers and minimal free resolutions for multi-state system reliability bounds | ||
| M. Castle, V. Powers, B. Reznick, | A Quantitative Polya's Theorem with Zeros | html | |
| A. Chistov, D. Grigoriev | Complexity of Janet basis of a D-module | ps | ps |
| A. Dickenstein, L. Matusevich, E. Miller | Binomial D-modules | html | |
| C. Durvye | Evaluation Techniques for Zero-dimensional Primary Decomposition | html | |
| I. Emiris, C. Konaxis, L. Palios | Computing the Newton Polytope of Specialized Resultants | html | |
| J. I. Farrán, D. Ruano | Metric structure of linear codes and algebraic-geometry codes | html | |
| E. Fortuna, P. Gianni, B. Trager | Generators of the ideal of an algebraic space curve | html | ps |
| X.-S. Gao, J. van der Hoeven, C. Yuan, G. Zhang | Characteristic Set Method for Differential-Difference Polynomial Systems | html | |
| I. Garcia-Marco, I. Bermejo-Diaz, J. J. Salazar-Gonzales | Checking if the toric ideal of an affine monomial curve is a complete intersection | ||
| C. Gosselin, B. Moore, J. Schicho | Static balancing of parallel mechanisms | html | |
| W. de Graaf | Constructing algebraic groups from their Lie algebras | html | |
| G.-M. Greuel | Some new developements in Singular | html | |
| T. C. Hales | Computing p-adic integrals using motivic integration | html | |
| H. Hubrechts | Quasi-quadratic elliptic curve point counting using rigid cohomology | html | |
| I. Itenberg | Enumerative tropical geometry | html | |
| I. Janovitz-Freireich, B. Mourrain, L. Ronyai, A. Szanto | Computing Approximate Radicals using Bezoutians | ||
| G. Kemper | Separating invariants | html | |
| S. King | Fast Computation of non-modular Invariant Rings of Finite Groups | html | ps |
| R. Krasauskas | PN-surfaces for blending applications | html | |
| S. Liang, D. J. Jeffrey | The Automatic Computation of the Complete Root Classification for a Parametric Polynomial | html | |
| B. Martin, H. Suess | Milnor algebras could be isomorphic to modular algebras | html | |
| S. McCallum, D. Lazard | Iterated discriminants | html | |
| M. Monagan, R. Pearce | Polynomial Division using Dynamic Arrays, Heaps, and Packed Exponent Vectors | html | |
| A. Montes, T. Recio | Automatic discovery of geometric theorems using the MCCGS algorithm | ||
| J. Núñez, A. F. Tenorio | Minimal Faithful Upper-triangular Matrix Representations for Low-Dimensional Solvable Lie Algebras | html | |
| L.-Y. Shen, E.-W. Chionh, X.-S. Gao, J. Li | Inherently Improper Parametric Supports for Unirational Varieties | html | |
| M. Stoll | How to determine the set of rational points on a curve | html | |
| Luis Felipe Tabera | Tropical Plane Geometric Constructions | html | |
| I. Yengui | Suslin's lemma for elimination | html |
The Institute is named after the famous Austrian mathematician Johann Radon (1887-1956)
Medieninhaber:
Österreichische Akademie der Wissenschaften
Juristische Person öffentlichen Rechts (BGBl 569/1921 idF BGBl I 130/2003)
Dr. Ignaz Seipel-Platz 2, 1010 Wien
Diese Website dient zur Information über die wissenschaftlichen Aktivitäten der Österreichischen Akademie der Wissenschaften und setzt somit den gesetzlichen Auftrag um, die Wissenschaft in jeder Hinsicht zu fördern.
This RICAM page was made with 100% valid HTML & CSS - Send comments to Webmaster
Today's date and time is 03/16/10 - 02:17 CET and this file ( /mega2007/electronic/electronic.html ) was last modified on 06/19/07 - 14:54 CEST