Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'QUANTIFIER ELIMINATION' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 51 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Koiran, P
      Transfer theorems via sign conditions

      INFORMATION PROCESSING LETTERS
    2. Kaila, R
      On probabilistic elimination of generalized quantifiers

      RANDOM STRUCTURES & ALGORITHMS
    3. Ronyai, L; Babai, L; Ganapathy, MK
      On the number of zero-patterns of a sequence of polynomials

      JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY
    4. Brown, CW
      Improved projection for cylindrical algebraic decomposition

      JOURNAL OF SYMBOLIC COMPUTATION
    5. Lafferriere, G; Pappas, GJ; Yovine, S
      Symbolic reachability computation for families of linear vector fields

      JOURNAL OF SYMBOLIC COMPUTATION
    6. Brown, CW
      Simple CAD construction and its applications

      JOURNAL OF SYMBOLIC COMPUTATION
    7. Aldaz, M; Matera, G; Montana, JL; Pardo, LM
      A new method to obtain lower bounds for polynomial evaluation

      THEORETICAL COMPUTER SCIENCE
    8. Jeronimo, G; Puddu, S; Sabia, J
      Computing chow forms and some applications

      JOURNAL OF ALGORITHMS
    9. Boussaa, D; Aravas, N
      A numeric-symbolic approach to the problem of localization of plastic flow

      COMPUTATIONAL MECHANICS
    10. Ioakimidis, NI
      Finite differences/elements in classical beam problems: derivation of feasibility conditions under parametric inequality constraints with the help ofReduce and REDLOG

      COMPUTATIONAL MECHANICS
    11. Koiran, P; Portier, N
      Back-and-forth systems for generic curves and a decision algorithm for thelimit theory

      ANNALS OF PURE AND APPLIED LOGIC
    12. Baratella, S; Ng, SA
      Neocompact quantifier elimination in structures based on Banach spaces

      ANNALS OF PURE AND APPLIED LOGIC
    13. Bank, B; Giusti, M; Heintz, J; Mbakop, GM
      Polar varieties and efficient real elimination

      MATHEMATISCHE ZEITSCHRIFT
    14. Almeida, M; Blaum, M; D'Alfonso, L; Solerno, P
      Computing bases of complete intersection rings in Noether position

      JOURNAL OF PURE AND APPLIED ALGEBRA
    15. Sturm, T
      Linear problems in valued fields

      JOURNAL OF SYMBOLIC COMPUTATION
    16. Khachiyan, L; Porkolab, L
      Integer optimization on convex semialgebraic sets

      DISCRETE & COMPUTATIONAL GEOMETRY
    17. Ioakimidis, NI
      Derivation of feasibility conditions in engineering problems under parametric inequality constraints with classical Fourier elimination

      INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING
    18. Jeronimo, G; Sabia, J
      On the number of sets definable by polynomials

      JOURNAL OF ALGEBRA
    19. Benedikt, M; Libkin, L
      Relational queries over interpreted structures

      JOURNAL OF THE ACM
    20. Ioakimidis, NI
      Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package

      ENGINEERING ANALYSIS WITH BOUNDARY ELEMENTS
    21. Diop, S; Nesic, D; Mareels, IMY
      Discussion on: 'Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach' by D. Nesic and I.M.Y. Mareels

      EUROPEAN JOURNAL OF CONTROL
    22. Sturm, T
      Reasoning over networks by symbolic methods

      APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING
    23. Shen, YF
      Elimination of algorithmic quantifiers for ordered differential algebra

      ARCHIVE FOR MATHEMATICAL LOGIC
    24. Petitjean, S
      Algebraic geometry and computer vision: Polynomial systems, real and complex roots

      JOURNAL OF MATHEMATICAL IMAGING AND VISION
    25. Lu, Y
      Recent advances on determining the number of real roots of parametric polynomials

      JOURNAL OF SYMBOLIC COMPUTATION
    26. Ying, JQ; Xu, L; Lin, ZP
      A computational method for determining strong stabilizability of n-D systems

      JOURNAL OF SYMBOLIC COMPUTATION
    27. Ioakimidis, NI
      Fracture initiation at an elastic crack tip: A computational implementation of the T-criterion

      INTERNATIONAL JOURNAL OF FRACTURE
    28. Snyder, SK
      Testable restrictions of Pareto optimal public good provision

      JOURNAL OF PUBLIC ECONOMICS
    29. Cucker, F; Meer, K
      Logics which capture complexity classes over the reals

      JOURNAL OF SYMBOLIC LOGIC
    30. IOAKIMIDIS NI
      CLASSICAL NUMERICAL-METHODS IN ENGINEERING - A NOTE ON EXISTENTIAL QUANTIFIER ELIMINATION UNDER PARAMETRIC INEQUALITY CONSTRAINTS

      Communications in numerical methods in engineering
    31. ALEFELD G; KREINOVICH V; MAYER G
      THE SHAPE OF THE SOLUTION SET FOR SYSTEMS OF INTERVAL LINEAR-EQUATIONS WITH DEPENDENT COEFFICIENTS

      Mathematische Nachrichten
    32. MAES A
      MORPHISMS AND ALMOST-PERIODICITY

      Discrete applied mathematics
    33. MEER K; MICHAUX C
      A SURVEY ON REAL STRUCTURAL COMPLEXITY THEORY

      Bulletin of the Belgian Mathematical Society Simon Stevin
    34. CUCKER F; GRIGORIEV D
      ON THE POWER OF REAL TURING-MACHINES OVER BINARY INPUTS

      SIAM journal on computing
    35. IOAKIMIDIS NI
      CONDITIONS FOR CONTACT LACK OF CONTACT ALONG A LOADED SIMPLE STRAIGHTCRACK IN PLANE ISOTROPIC ELASTICITY

      Engineering fracture mechanics
    36. YANG L; HOU XR; ZENG ZB
      A COMPLETE DISCRIMINATION SYSTEM FOR POLYNOMIALS

      SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
    37. SOLERNO P
      COMPLEXITY-BOUNDS IN ELIMINATION THEORY - A SURVEY

      Mathematics and computers in simulation
    38. DUVAL D; GONZALEZVEGA L
      DYNAMIC EVALUATION AND REAL CLOSURE

      Mathematics and computers in simulation
    39. STEINBERG S; LISKA R
      STABILITY ANALYSIS BY QUANTIFIER ELIMINATION

      Mathematics and computers in simulation
    40. IOAKIMIDIS NI
      INEQUALITY CONSTRAINTS IN ONE-DIMENSIONAL FINITE-ELEMENTS FOR AN ELASTIC BEAM ON A TENSIONLESS WINKLER FOUNDATION

      Finite elements in analysis and design
    41. IOAKIMIDIS NI
      INEQUALITY CONSTRAINTS IN RECTANGULAR FINITE BOUNDARY ELEMENTS/

      Computers & structures
    42. IOAKIMIDIS NI
      BEAMS ON TENSIONLESS ELASTIC-FOUNDATION - APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES

      International journal for numerical methods in engineering
    43. BASU S; POLLACK R; ROY MF
      ON THE NUMBER OF CELLS DEFINED BY A FAMILY OF POLYNOMIALS ON A VARIETY

      Mathematika
    44. BROWN DJ; MATZKIN RL
      TESTABLE RESTRICTIONS ON THE EQUILIBRIUM MANIFOLD

      Econometrica
    45. IOAKIMIDIS NI
      LACK-OF-CONTACT CONDITIONS FOR A PENNY-SHAPED CRACK UNDER A POLYNOMIAL NORMAL LOADING

      Acta mechanica
    46. BASU S; POLLACK R; ROY MF
      ON THE COMBINATORIAL AND ALGEBRAIC COMPLEXITY OF QUANTIFIER ELIMINATION

      Journal of the ACM
    47. BRINK C; GABBAY DM; OHLBACH HJ
      TOWARDS AUTOMATING DUALITY

      Computers & mathematics with applications
    48. HEINTZ J; ROY MF; SOLERNO P
      DESCRIPTION OF THE CONNECTED COMPONENTS OF A SEMIALGEBRAIC SET IN SINGLE EXPONENTIAL TIME

      Discrete & computational geometry
    49. GRIGORIEV D; KARPINSKI M; SINGER MF
      COMPUTATIONAL-COMPLEXITY OF SPARSE RATIONAL INTERPOLATION

      SIAM journal on computing
    50. HEINTZ J; ROY MF; SOLERNO P
      ON THE THEORETICAL AND PRACTICAL COMPLEXITY OF THE EXISTENTIAL THEORYOF REALS

      Computer journal
    51. RENEGAR J
      ON THE COMPUTATIONAL-COMPLEXITY AND GEOMETRY OF THE 1ST-ORDER THEORY OF THE REALS .1. INTRODUCTION - PRELIMINARIES - THE GEOMETRY OF SEMI-ALGEBRAIC SETS - THE DECISION PROBLEM FOR THE EXISTENTIAL THEORY OF THEREALS

      Journal of symbolic computation


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 20/02/20 alle ore 00:26:16