scientific article; zbMATH DE number 1952952

Publication date: 24 July 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75)

Related Items (only showing first 100 items - show all)

What's in a symbol: ontology, representation and language ⋮ Putnam on realism, reference and truth: The problem with quantum mechanics ⋮ Lewisian Naturalness and a new Sceptical Challenge ⋮ Inductive learning and defeasible inference ⋮ Language, common sense, and the Winograd schema challenge ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ Equality and Near-Equality in a Nonstandard World ⋮ Prolegomena to virtue-theoretic studies in the philosophy of mathematics ⋮ A new anti-expertise dilemma ⋮ Making Sense of Sense Containment ⋮ What Is the Sense in Logic and Philosophy of Language ⋮ Matrix-F5 algorithms over finite-precision complete discrete valuation fields ⋮ A KNOWLEDGE REPRESENTATION LANGUAGE FOR NATURAL LANGUAGE PROCESSING, SIMULATION AND REASONING ⋮ SYSTEM IDENTIFICATION, APPROXIMATION AND COMPLEXITY ⋮ The Different Ways in which Logic is (said to be) Formal ⋮ Russell's philosophical development ⋮ The origin of universality: making and invalidating a free category ⋮ Semantics in Data and Knowledge Bases ⋮ JSLIM – Computational Morphology in the Framework of the SLIM Theory of Language ⋮ Quantifier elimination by cylindrical algebraic decomposition based on regular chains ⋮ Logspace computations in graph products ⋮ Tame decompositions and collisions ⋮ Russell's philosophical development ⋮ The Emergence of Fuzzy Sets: A Historical Perspective ⋮ Dynamic hyperbolic geometry: building intuition and understanding mediated by a Euclidean model ⋮ Interpersonal sameness of meaning for inferential role semantics ⋮ Induction from a single instance: incomplete frames ⋮ Mathematics by machine ⋮ Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers ⋮ Sparse interpolation over finite fields via low-order roots of unity ⋮ Multivariate sparse interpolation using randomized Kronecker substitutions ⋮ Computing the differential Galois group of a parameterized second-order linear differential equation ⋮ A new deterministic algorithm for sparse multivariate polynomial interpolation ⋮ A fast algorithm for computing the characteristic polynomial of the p-curvature ⋮ Computing necessary integrability conditions for planar parametrized homogeneous potentials ⋮ Improved algorithm for computing separating linear forms for bivariate systems ⋮ Solving higher order linear differential equations having elliptic function coefficients ⋮ Parallel telescoping and parameterized Picard-Vessiot theory ⋮ A generalized Apagodu-Zeilberger algorithm ⋮ The asymptotic analysis of some interpolated nonlinear recurrence relations ⋮ Fast arithmetic for the algebraic closure of finite fields ⋮ On the computation of the topology of plane curves ⋮ Essentially optimal interactive certificates in linear algebra ⋮ Root counts of semi-mixed systems, and an application to counting nash equilibria ⋮ Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) ⋮ Sub-cubic change of ordering for Gröbner basis ⋮ Sparse Gröbner bases ⋮ The MMO problem ⋮ Factoring linear differential operators in n variables ⋮ Online order basis algorithm and its impact on the block Wiedemann algorithm ⋮ On isomorphisms of modules over non-commutative PID ⋮ Radical solutions of first order autonomous algebraic ordinary differential equations ⋮ Computing low-degree factors of lacunary polynomials ⋮ Maximum likelihood geometry in the presence of data zeros ⋮ Constructing fewer open cells by GCD computation in CAD projection ⋮ An a posteriori certification algorithm for Newton homotopies ⋮ Evaluating parametric holonomic sequences using rectangular splitting ⋮ Equivariant lattice generators and Markov bases ⋮ Sparse polynomial interpolation codes and their decoding beyond half the minimum distance ⋮ Sparse multivariate function recovery with a high error rate in the evaluations ⋮ Bounds for D-finite closure properties ⋮ Powers of tensors and fast matrix multiplication ⋮ Reduction among bracket polynomials ⋮ Formal solutions of a class of Pfaffian systems in two variables ⋮ On the reduction of singularly-perturbed linear differential systems ⋮ High performance implementation of the TFT ⋮ Randomized detection of extraneous factors ⋮ Toric border basis ⋮ On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases ⋮ A near-optimal algorithm for computing real roots of sparse polynomials ⋮ LLL reducing with the most significant bits ⋮ Covering of surfaces parametrized without projective base points ⋮ Linear independence oracles and applications to rectangular and low rank linear systems ⋮ Faster relaxed multiplication ⋮ Unimodular completion of polynomial matrices ⋮ Is Unsaying Polite? ⋮ (Direct) reference ⋮ Logicism as making arithmetic explicit ⋮ Modeling human decision-making: an overview of the Brussels quantum approach ⋮ Worlds, models and descriptions ⋮ A pragmatic dissolution of Curry's paradox ⋮ Human diagrammatic reasoning and seeing-as ⋮ Meaning and interpretation. I ⋮ Secure electronic bills of lading: Blind counts and digital signatures ⋮ Platitudes against paradox ⋮ Evidence factors in a case-control study with application to the effect of flexible sigmoidoscopy screening on colorectal cancer ⋮ Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ How to spell out the epistemic conception of quantum states ⋮ Truthmaking and fundamentality ⋮ Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us? ⋮ Quantum Bayesianism: a study ⋮ Rule-following as coordination: a game-theoretic approach ⋮ The ontological duality of space—Time variables ⋮ Meaning as Use: From Wittgenstein to Google’s Word2vec ⋮ Logic and semantics for imperatives ⋮ Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond ⋮ Incarnating Kripke's skepticism about meaning ⋮ To and from philosophy-discussions with Gödel and Wittgenstein ⋮ The `natural' and the `formal' ⋮ Interaction of intelligent and autonomous systems – part I: qualitative structuring of interaction

This page was built for publication: