Temat: elimination - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: On Axiomatizability of the Multiplicative Theory of Numbers
Autorzy:: Salehi, S.
Data publikacji:: 2018
Słowa kluczowe:: decidability
completeness
multiplicative theory
quantifier elimination; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination
Autorzy:: Doherty, P.
Szałas, A.
Data publikacji:: 2013
Słowa kluczowe:: approximate reasoning
approximation spaces
knowledge representation
quantifier elimination
rough sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Proving Theorems by Program Transformation
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: automated theorem proving
constraint logic programming
program specialization
program transformation
quantifier elimination
temporal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Rectilinearization of functions definable by a Weierstrass system and its applications
Autorzy:: Nowak, Krzysztof
Data publikacji:: 2010
Słowa kluczowe:: transformation to normal crossings
fractional normal crossings
quantifier elimination
subanalytic functions
rectilinearization
special cubes and modifications; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Definable transformation to normal crossings over Henselian fields with separated analytic structure
Autorzy:: Nowak, Krzysztof
Data publikacji:: 2019
Słowa kluczowe:: strong analytic functions
transformation to normal crossings
closedness theorem
definable retractions
separated analytic structure
resolution of singularities
quantifier elimination; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
Autorzy:: Nowak, Krzysztof
Data publikacji:: 2009
Słowa kluczowe:: preparation theorem
active and non-active infinitesimals
valuation property
analytically independent infinitesimals
special cubes
quantifier elimination
quasianalytic functions
special modifications; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A model-theoretic criterion for quantifier elimination and its application to geometry
Autorzy:: Nowak, K.
Data publikacji:: 1998
Słowa kluczowe:: geometria algebraiczna
logika matematyczna
pole algebraicznie domknięte
pole rzeczywiste domknięte
teoria modeli
algebraically closed fields
diagrams
mathematical logic
model theory
quantifier elimination
real analytic geometry
real closed fields; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A model-theoretic version of the complement theorem : applications
Autorzy:: Nowak, K.
Data publikacji:: 1999
Słowa kluczowe:: eliminacja kwantyfikatorów
funkcja rzeczywista analityczna
funkcje zmiennych zespolonych
logika pierwszego rzędu
model uzupełnień
przestrzeń analityczna
first-order logic
model-completeness
quantifier elimination
real analytic functions
real valuations
subanalytic functions
subanalytic sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja