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)

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 ⋮ The Truth of Proof: A Hegelian Perspective on Constructivism ⋮ Some Comments and Replies ⋮ Philosophical pictures about mathematics: Wittgenstein and contradiction ⋮ Aboutness and negative truths: a modest strategy for truthmaker theorists ⋮ A dialogue on the ethics of mathematics ⋮ Failure of common knowledge of language in common-interest communication games ⋮ Mathematical intuition and natural numbers: a critical discussion ⋮ Universal semantics? ⋮ Moore's paradox is not just another pragmatic paradox ⋮ A Fuzzy Logic Approach to Non-Scalar Hedges ⋮ Community-based reasoning in games: salience, rule-following, and counterfactuals ⋮ Topological aspects of the multi-language phases of the naming game on community-based networks ⋮ GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE ⋮ A cognitive network for oracle bone characters related to animals ⋮ Ignorance-preserving mental models thought experiments as abductive metaphors ⋮ Adaptive fuzzy logics for contextual hedge interpretation ⋮ Expression and guidance in Schroeder's expressivist semantics ⋮ Truth in the \textit{investigations} ⋮ On the role of interpretive analogy in learning ⋮ Pure grammars and pure languages† ⋮ Effects of population structure on the evolution of linguistic convention ⋮ Perspectives on the logical study of language ⋮ What's so logical about the logical axioms? ⋮ The indefinability of ``one ⋮ Models and modelling in computer science

This page was built for publication: