Showing 81 - 100 of 3,170

81

Algebraic values of analytic functions
WALDSCHMIDT, Michel
Proceedings of the International Conference on Special Functions and their Applications, IMSc, Chennai, India, 23-27 September 2002, dedicated to Professor K. Srinivasa Rao on the occasion of his 60th birthdayJournal of computational and applied mathematics. 160(1-2):323-333

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
82

On finite weakly {s, t}-semiaffine linear spaces
NAPOLITANO, Vito
Combinatorics '98Discrete mathematics. 255(1-3):325-341

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
83

New global synchronization analysis for complex networks with coupling delay based on a useful inequality : ISNN 2011
DAWEI GONG ; HUAGUANG ZHANG ; ZHANSHAN WANG ; et al.
Neural computing & applications (Print). 22(2):205-210

Computer science Informatique Neurology Neurologie Sciences exactes et tech... Exact sciences and techn...
Academic journal
Save to List
84

Invariants en géométrie symplectique via les courbes holomorphes / Invariants in symplectic geometry via holomorphic curves
AUDIN, Michèle
Nouveaux invariants en géométrie et en topologiePanoramas et synthèses - Société mathématique de France. (11):1-59

Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
85

The kinds of truth of geometry theorems
BULMER, Michael ; FEARNLEY-SANDER, Desmond ; STOKES, Tim
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :129-142

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
86

Solving the Birkhoff Interpolation Problem via the critical point method : An experimental study
ROUILLIER, Fabrice ; MOHAB SAFEY EL DIN ; SCHOST, Uric
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :26-40

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
87

Remarks on geometric theorem proving
BAZZOTTI, Laura ; DALZOTTO, Giorgio ; ROBBIANO, Lorenzo
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :104-128

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
88

Reasoning about surfaces using differential zero and ideal decomposition
AUBRY, Philippe ; DONGMING WANG
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :154-174

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
89

Randomized zero testing of radical expressions and elementary geometry theorem proving
TULONE, Daniela ; CHEE YAP ; CHEN LI
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :58-82

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
90

Qubit logic, algebra and geometry
HAVEL, Timothy F
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :228-245

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
91

On spatial constraint solving approaches
HOFFMANN, Christoph M ; BO YUAN
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :1-15

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
92

Nonstandard geometric proofs
FLEURIOT, Jacques D
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :246-267

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
93

Higher-order intuitionistic formalization and proofs in Hilbert's elementary geometry
DEHLINGER, Christophe ; DUFOURD, Jean-Francois ; SCHRECK, Pascal
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :306-323

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
94

Decision complexity in dynamic geometry
KORTENKAMP, Ulrich ; RICHTER-GEBERT, Jürgen
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :193-198

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
95

Automated theorem proving in incidence geometry : A bracket algebra based elimination method
HONGBO LI ; YIHONG WU
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :199-227

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
96

Algebraic and semialgebraic proofs : Methods and paradoxes
CONTI, Pasqualina ; TRAVERSO, Carlo
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :83-103

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
97

A complex change of variables for geometrical reasoning
STOKES, Tim ; BULMER, Michael
ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers)Lecture notes in computer science. :143-153

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
98

Context-free pairs of groups II - Cuts, tree sets, and random walks
WOESS, Wolfgang
Algebraic Graph Theory - A Volume Dedicated to Gert Sabidussi on the Occasion of His 80th BirthdayDiscrete mathematics. 312(1):157-173

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Academic journal
Save to List
99

SUR UNE CONJECTURE DE KOTTWITZ AU BORD
STROH, Benoît
Annales scientifiques de l'Ecole normale supérieure. 45(1):143-165

Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Academic journal
Save to List
100

SINGULARITÉS À L'INFINI ET INTÉGRATION MOTIVIQUE / Singularities at infinity and motivic integration
RAIBAUT, Michel
Bulletin de la Société Mathématique de France. 140(1):51-100

Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Academic journal
Save to List

Filter