*** Apologies for multiple postings ***
MACIS 2007 - International Conference on Mathematical Aspects of
Computer and Information Sciences Paris, France, December 5-7, 2007
http://www-spiral.lip6.fr/MACIS2007
CALL FOR PARTICIPATION
Mathematical Aspects of Computer and Information Sciences (MACIS) is a
new series of conferences where foundational research on theoretical
and practical problems of mathematics for computing and information
processing may be presented and discussed. MACIS also addresses
experimental and case studies, scientific and engineering computation,
design and implementation of algorithms and software systems, and
applications of mathematical methods and tools to outstanding and
emerging problems in applied computer and information sciences. Each
conference focuses on two or three themes.
The themes for MACIS 2007 are:
- Computational Geometry and Computer Aided Geometric Design
- Polynomial System Solving
- Algorithms and Complexity
The first MACIS conference took place in Beijing
(China), July 24-26, 2006 (see
http://www.cc4cm.org/macis2006/ for more details).
Registration information is available at http://www-spiral.lip6.fr/MACIS2007.
INVITED SPEAKERS
Mark Van Hoeij (Florida State University, USA)
The complexity of factoring univariate polynomials over the rationals
Oliver Labs (University of Saarbrucken, GERMANY)
Visualization Challenges in Real Algebraic Geometry
Chee Yap (New York University, USA)
Complete Adaptive Subdivision Algorithms and their Analysis
GENERAL CHAIRS
Fabrice Rouillier (INRIA, France) and Zhiming Zheng (Beihang University, China)
LOCAL COMMITTEE CHAIR
Mohab Safey El Din (Universite Pierre et Marie Curie, France)
PROGRAM COMMITTEE
Saugata Basu, Jean-Charles Faugere, Laureano
Gonzalez-Vega (Chair), David Jeffrey, Bert
Juttler, Sylvain Lazard, Konrad Polthier, Fabrice
Rouillier, Raimund Seidel, Rafael Sendra, Frank
Sottile, Gert Vegter, Dongming Wang,
Lihong Zhi
ACCEPTED PAPERS
Wei Wei, Binghui Guo and Zhiming Zheng.
Complexity Analysis of Random Massive Algebraic System
Mridul Aanjaneya and Monique Teillaud.
Triangulating the Real Projective Plane
Brian Moore and Bert Juettler.
Computing Roots of Polynomials using Bivariate Quadratic Clipping
Michael Bender, Sandor Fekete, Alexander Kroller,
Vincenzo Liberatore, Joseph Mitchell, Valentin
Polishchuk and Jukka Suomela.
The Minimum-Backlog Problem
Chris Jefferson, Peter Jeavons, Martin Green and Marc van Dongen.
Representing and Solving Finite-Domain Constraint
Problems Using Systems of Polynomials
Shmuel Friedland and Mechie Nkengla.
Fast low rank approximations of matrices and tensors
David Daney, Jean Pierre Merlet and Odile Pourtallier.
Certified solutions of polynomials with uncertainties
Francois Boulier, Marc Lefranc, Francois Lemaire
and Pierre-Emmanuel Morant. Model Reduction of
Chemical Reaction Systems using Elimination
Serge Burckel.
Certified 2-SAT with Modus Ponens
Songxin Liang, Jurgen Gerhard and David Jeffrey.
A New Maple Package for Solving Parametric Polynomial Systems
Bingyu Li, Zhuojun Liu and Lihong Zhi.
Structured Condition Numbers of Sylvester Matrices (Extended Abstract)
Isabel Bermejo, Ignacio Garcia-Marco and Juan Jose Salazar-Gonzalez.
An algorithm for checking whether the toric ideal
of an affine monomial curve is a complete
intersection
Gwenole Ars and Amir Hashemi.
Efficient Computation of Syzygies by Faugere's F5 algorithm
Ekaterina Shemyakova and Franz Winkler.
On the Invariant Properties of Hyperbolic
Bivariate Third-Order Linear Partial Differential
Operators
Masaaki Kanno, Silvia Gandy, Hirokazu Anai and Kazuhiro Yokoyama.
Optimizing the maximal real root of a polynomial
by a special cylindrical algebraic decomposition
ChenGuang LIU, Kazuyuki TANAKA and Takeshi YAMAZAKI.
On the algorithmic complexity of partially random reals
Stefan Schuster and Armin Groelinger.
On Computing Solutions of Linear Diophantine
Equations with One Non-linear Parameter
Isabel Bermejo and Philippe Gimenez.
Computational aspects of Castelnuovo-Mumford regularity
Sunayana Ghosh and Gert Vegter.
Minimizing the symmetric difference distance in conic spline approximation
Claire Herrbach, Alain Denise and Serge Dulucq.
Average complexity of the Jiang-Wang-Zhang
pairwise tree alignment algorithm and of a RNA
secondary structure alignment algorithm
Gema M. Diaz-Toca, Laureano Gonzalez-Vega and Jounaidi Abdeljaoued.
Bezout matrices, Subresultants and Parameters
Jurgen Garloff and Andrew Smith.
Application of Bernstein Expansion to the Solution of Polynomial Problems
Mark Giesbrecht and Daniel Roche.
Interpolation of Shifted-Lacunary Polynomials
Yun Guan and Jan Verschelde.
Parallel Implementation of a Subsystem-by-Subsystem Solver
Kathy Piret and Jan Verschelde.
Computing Critical Points by Continuation
Mohab Safey El Din.
Real solving polynomial systems of inequalities:
the case of bounded sets of solutions
Jorge Caravantes and Laureano Gonzalez-Vega.
Dealing with the algebraic numbers arising when
analyzing arrangements of quartic plane curves
Jean-Charles Faugere and Ye Liang
Numerical Computation of Grobner Bases for Zero-dimensional Polynomial Ideals
Andre Galligo.
Resultant and Random Multivariate Polynomials
--
------------------------------------------------------
Laureano Gonzalez-Vega
Departamento de Matematicas, Estadistica y Computacion
Facultad de Ciencias, Universidad de Cantabria,
Avda. Los Castros, Santander 39005, Cantabria, Spain
Phone: (34)942201437 Fax: (34)942201402
E_mail: laureano.gonzalez(a)unican.es Skype: lalo_gvega
URL: http://personales.unican.es/gonzalezl/
------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
------=_Part_21150_7292440.1195590595507
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
ESPA=D1OL
hola, quiero usar la herramienta "Prolog Cafe"
tengo que modificar el Makefile indicando los campos PROLOG y PSYSTEM
################################################################
# Prolog system and Prolog system type
# PROLOG : command name of your Prolog system (e.g. prolog)
# PSYSTEM: type of your Prolog system (sicstus, swi and others)
################################################################
Si tengo instalado ciao-prolog =BFque tengo que poner en PSYSTEM, y PROLOG =
?
ENGLISH
Hello, I want to use the tool "Prolog Cafe"
I must to modify the MakeFile and change de variables PROLOG y PSYSTEM
################################################################
# Prolog system and Prolog system type
# PROLOG : command name of your Prolog system (e.g. prolog)
# PSYSTEM: type of your Prolog system (sicstus, swi and others)
################################################################
If I have installed ciao-prolog , what values I set in PSYSTEM, y PROLOG
values ?
Marco
------=_Part_21150_7292440.1195590595507
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
ESPA=D1OL<br><br>hola, quiero usar la herramienta "Prolog Cafe"<b=
r>tengo que modificar el Makefile indicando los campos PROLOG y PSYSTEM<br>=
################################################################<br># Prolo=
g system and Prolog system type
<br># PROLOG : command name of your Prolog system (e.g. p=
rolog)<br># PSYSTEM: type of your Prolog system (sicstus, swi a=
nd others)<br>#############################################################=
###<br>Si tengo instalado ciao-prolog =BFque tengo que poner en PSYSTEM, y =
PROLOG ? =20
<br><br> <br>ENGLISH<br><br>Hello, I want to use the tool "Prolog Cafe=
"<br>I must to modify the MakeFile and change de variables PROLOG y PS=
YSTEM<br>################################################################
<br>
# Prolog system and Prolog system type<br>
# PROLOG : command name of your Prolog system (e.g. prolo=
g)<br>
# PSYSTEM: type of your Prolog system (sicstus, swi and others)=
<br>
################################################################<br>
If I have installed ciao-prolog , what values I set in PSYSTEM, y PROLOG va=
lues ? <br><br><br>Marco <br>
------=_Part_21150_7292440.1195590595507--
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
> Hi, I installed the Ciao-Prolog and the Emacs on my computer to
> work on my Final Master Tesis, I follow the instructions but the
> Emacs is not calling the Ciao, I created the .emacs file in the C:\
> but is not working, I would like to know some suggestions.
Normally this has been working for other users. To try to pinpoint the
problem we need some more data. Can you please tell us:
- Version of Ciao
- Version of emacs
- Where Ciao is installed
- Operating system you are using
- Contents of you .emacs
- Where your .emacs is located
Cheers,
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | University of New Mexico
http://www.cliplab.org / http://www.ciaohome.org
-----------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------