tag :: mathematical | BibSonomy

bookmarks (hide)68
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1Intro to proof theory (handbook article)
http://math.ucsd.edu/~sbuss/ResearchWeb/handbookI/
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1Science: Mathematics: Logic: Proof Theory - Open Site
http://open-site.org/Science/Mathematics/Logic/Proof_Theory/
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1Linear logic - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Linear_logic
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Self-verifying theories - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Self-verifying_theories
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Proof Nets for Classical Logic -- Robinson 13 (5): 777 -- Journal of Logic and Computation
http://logcom.oxfordjournals.org/cgi/reprint/13/5/777
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
nets
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheorynets
(0)
copydelete
- community post
- history of this post
1Proof Theory on the eve of Year 2000
http://www-logic.stanford.edu/proofsurvey.html
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1proof nets for classical logic
http://www.seas.upenn.edu/~sweirich/types/archive/1991/msg00125.html
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
nets
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheorynets
(0)
copydelete
- community post
- history of this post
1On the Intuitionistic Force of Classical Search - Ritter, Pym, Wallen (ResearchIndex)
http://citeseer.ist.psu.edu/17774.html
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
2Proof theory - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Proof_theory
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1Welcome to IEEE Xplore 2.0: Proof nets and Boolean circuits
http://ieeexplore.ieee.org/xpls/abs_all.jsp?tp=&arnumber=1319612
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
nets
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheorynets
(0)
copydelete
- community post
- history of this post
1Proof Nets for Classical Logic -- Robinson 13 (5): 777 -- Journal of Logic and Computation
http://logcom.oxfordjournals.org/cgi/content/abstract/13/5/777
7 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
nets
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheorynets
(0)
copydelete
- community post
- history of this post
2Proof theory
http://en.wikipedia.org/wiki/Proof_theory
10 years ago by @aeu_research
show all tags
logic
mathematical
logicmathematical
(0)
copydelete
- community post
- history of this post
1Russell's paradox
http://en.wikipedia.org/wiki/Russell%27s_paradox
10 years ago by @aeu_research
show all tags
logic
mathematical
logicmathematical
(0)
copydelete
- community post
- history of this post
1Tautology (logic)
http://en.wikipedia.org/wiki/Tautology_(logic)
10 years ago by @aeu_research
show all tags
logic
mathematical
logicmathematical
(0)
copydelete
- community post
- history of this post
1Gödel's incompleteness theorems
http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
10 years ago by @aeu_research
show all tags
logic
mathematical
logicmathematical
(0)
copydelete
- community post
- history of this post
1Algebraic Semiotics
http://cseweb.ucsd.edu/users/goguen/projs/semio.html
10 years ago by @aeu_research
show all tags
linguistics
semiotics
mathematical
linguisticssemioticsmathematical
(0)
copydelete
- community post
- history of this post
1Semiotic square
http://en.wikipedia.org/wiki/Semiotic_square
10 years ago by @aeu_research
show all tags
linguistics
semiotics
mathematical
linguisticssemioticsmathematical
(0)
copydelete
- community post
- history of this post
1Isotopy (semiotics)
http://en.wikipedia.org/wiki/Isotopy_(semiotics)
10 years ago by @aeu_research
show all tags
linguistics
semiotics
mathematical
linguisticssemioticsmathematical
(0)
copydelete
- community post
- history of this post
1Semiotics in diamonds-verdana.nb
http://www.thinkartlab.com/pkl/lola/Semiotics-in-Diamonds/Semiotics-in-Diamonds.html
10 years ago by @aeu_research
show all tags
linguistics
semiotics
mathematical
linguisticssemioticsmathematical
(0)
copydelete
- community post
- history of this post
1MATHEMATICAL SEMIOTICS
http://www.mathematical-semiotics.com/articles.html
10 years ago by @aeu_research
show all tags
linguistics
semiotics
mathematical
linguisticssemioticsmathematical
(0)
copydelete
- community post
- history of this post

publications (hide)337
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1METHODS OF DEVELOPING INITIAL MATHEMATICAL CONCEPTS IN EARLY GRADES
T. qizi |. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, 4 (12): 103-107 (November 2023)
19 hours ago by @centralasian_20
show all tags
concept,
ideas,
imagination,
initial
mathematical
method,
concept,ideas,imagination,initialmathematicalmethod,
(0)
copydeleteadd this publication to your clipboard
1ANALYSIS OF HUMAN INTUITION TOWARDS ARTIFICIAL INTUITION SYNTHESIS FOR ROBOTICS
O. Diaz-Hernandez, and V. Gonzalez-Villela. Mechatronics and Applications: An International Journal (MECHATROJ), 1 (1): 23-39 (January 2017)
3 days ago by @clauren
show all tags
Artificial
Bioinspired
Intuition
algorithms
expressions
human
intuition
mathematical
problem-solving
process
simplify
ArtificialBioinspiredIntuitionalgorithmsexpressionshumanintuitionmathematicalproblem-solvingprocesssimplify
(0)
copydeleteadd this publication to your clipboard
1METHODS OF ECONOMIC AND MATHEMATICAL MODELLING IN INTERNAL PRODUCTION PLANNING
T. o‘g‘li |. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, 4 (10): 81-86 (October 2023)
2 months ago by @centralasian_20
show all tags
concentration,
continuous
economic-mathematical
likelihood,
mathematical
maximum
methods,
models,
percentages
concentration,continuouseconomic-mathematicallikelihood,mathematicalmaximummethods,models,percentages
(0)
copydeleteadd this publication to your clipboard
1REALIZATION OF ECONOMIC AND MATHEMATICAL MODELING OF INFORMATION SYSTEMS
I. Xudoyqulov. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, 4 (10): 17-28 (October 2023)
2 months ago by @centralasian_20
show all tags
database
information
linear
management
mathematical
model,
processing,
programming
system(DBMS),
system,
technology,
databaseinformationlinearmanagementmathematicalmodel,processing,programmingsystem(DBMS),system,technology,
(0)
copydeleteadd this publication to your clipboard
2Teaching Mathematics to Children with Visual Impairments at Specialized Boarding Schools
N. Ziyotova. Central Asian Journal of Social Sciences and History, 4 (7): 29-33 (July 2023)
2 months ago by @centralasian_20
show all tags
aids,
children
impairments,
knowledgetyphlopedagogue
mathematical
mathematics,
methods,
visual
with
aids,childrenimpairments,knowledgetyphlopedagoguemathematicalmathematics,methods,visualwith
(0)
copydeleteadd this publication to your clipboard
2Teaching Mathematics to Children with Visual Impairments at Specialized Boarding Schools
N. Ziyotova. CENTRAL ASIAN JOURNAL OF MEDICAL AND NATURAL SCIENCE, 4 (7): 29-33 (July 2023)
2 months ago by @centralasian_20
show all tags
aids,
children
impairments,
knowledge,
mathematical
mathematics,
methods,
typhlopedagogue
visual
with
aids,childrenimpairments,knowledge,mathematicalmathematics,methods,typhlopedagoguevisualwith
(0)
copydeleteadd this publication to your clipboard
1A promising protocol for the endothelialization of vascular grafts in an instrumented rotating bioreactor towards clinical application
S. Heene, J. Renzelmann, C. Müller, N. Stanislawski, F. Cholewa, P. Moosmann, H. Blume, and C. Blume. (2023)
3 months ago by @fabcho
show all tags
Article
Bioconversion
Bioreactor
Bioreactors
Cell
Cells
Clinical
Computational
Confluent
Cultivation
Cytology
Dynamic
Endothelial
Endothelial-cells
Endothelialization
Flow
Monolayers
Newtonian
Non
Processes
Scaffolds
Shear
Stress
Tissue
Vascular
acid
alignment
analysis
animal
aortic
application
cadherin
cell
cells
clinical
comparative
computational
contact
controlled
cultivation
dynamics
endothelial
endothelialization
engineered
flow
fluid
glucose
graft
grafts
human
image
immunofluorescence
immunohistochemistry
intake
lactic
laminar
mathematical
measurement
monolayers
myown
nonhuman
parameters
physical
practice
process
processing
property
protocol
pulsatile
quantitative
rate
shear
simulation
stress
structure
study
surface
system
tissue
vascular
viscometry
ArticleBioconversionBioreactorBioreactorsCellCellsClinicalComputationalConfluentCultivationCytologyDynamicEndothelialEndothelial-cellsEndothelializationFlowMonolayersNewtonianNonProcessesScaffoldsShearStressTissueVascularacidalignmentanalysisanimalaorticapplicationcadherincellcellsclinicalcomparativecomputationalcontactcontrolledcultivationdynamicsendothelialendothelializationengineeredflowfluidglucosegraftgraftshumanimageimmunofluorescenceimmunohistochemistryintakelacticlaminarmathematicalmeasurementmonolayersmyownnonhumanparametersphysicalpracticeprocessprocessingpropertyprotocolpulsatilequantitativerateshearsimulationstressstructurestudysurfacesystemtissuevascularviscometry
(0)
copydeleteadd this publication to your clipboard
1To Increase the Potential of the Regional Tourism Industry and the Productivity of its Use
B. Shodiyev. Central Asian Journal of Innovations on Tourism Management and Finance, 4 (6): 26-32 (June 2023)
7 months ago by @centralasian_20
show all tags
Tourist
enterprise,
labor,
mathematical
methods,
modelfirm,
optimization
production,
profit
Touristenterprise,labor,mathematicalmethods,modelfirm,optimizationproduction,profit
(0)
copydeleteadd this publication to your clipboard
1Analysis of Physical Fitness Results of Primary Class Students of Secondary Education School Number 19 of Fergona District
N. Bakirova. Journal of Ethics and Diversity in International Communication, 3 (5): 4-9 (May 2023)
7 months ago by @openaccess_20
show all tags
and
fitness
fitness,
jump,
level,
long
mathematical
methods
physical
pull-ups,
running,
sports
statistical
tests,
throwing,
andfitnessfitness,jump,level,longmathematicalmethodsphysicalpull-ups,running,sportsstatisticaltests,throwing,
(0)
copydeleteadd this publication to your clipboard
1Polynomials with One and Many Variables
Y. ugli |. Journal of Ethics and Diversity in International Communication, 3 (2): 95-97 (February 2023)
7 months ago by @openaccess_20
show all tags
coefficient
examples,
mathematical
polynomial,
property,
coefficientexamples,mathematicalpolynomial,property,
(0)
copydeleteadd this publication to your clipboard
1Simple Fractions, Decimals, Periodic Fractions, Equations Involving a Whole Number and a Fractional Part
Y. ugli. Journal of Marketing and Emerging Economics, 3 (2): 38-40 (February 2023)
7 months ago by @openaccess_20
show all tags
decimal
exercises,
fractions,
mathematical
natural
numbers,
numbers,equation
properties
decimalexercises,fractions,mathematicalnaturalnumbers,numbers,equationproperties
(0)
copydeleteadd this publication to your clipboard
1A Natural Number is the Number and Sum of Natural Divisors
Y. ugli. International Journal of Innovative Analyses and Emerging Technology, 3 (2): 11-14 (January 2023)
7 months ago by @openaccess_20
show all tags
divisions,
mathematical
natural
numbers,
operations
properties,
divisions,mathematicalnaturalnumbers,operationsproperties,
(0)
copydeleteadd this publication to your clipboard
1Euclidean Algorithm and Actions on Them
Y. ugli |. International Journal of Discoveries and Innovations in Applied Sciences, 3 (2): 130-132 (February 2023)
7 months ago by @openaccess_20
show all tags
Euclidean
algorithm,
mathematical
polynomials,
proofs
properties,
theorems,
Euclideanalgorithm,mathematicalpolynomials,proofsproperties,theorems,
(0)
copydeleteadd this publication to your clipboard
1Ratio, Proportion, Percent and Compound Interest
Y. ugli. International Journal of Development and Public Policy, 3 (2): 26-28 (February 2023)
7 months ago by @openaccess_20
show all tags
arithmetic
complex
mathematical
numbers,
operations,
percentage,
properties
proportion,
ratio,
arithmeticcomplexmathematicalnumbers,operations,percentage,propertiesproportion,ratio,
(0)
copydeleteadd this publication to your clipboard
1Concept of Collection, Empty and Partial Sets
Y. ugli. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, 4 (2): 99-101 (February 2023)
8 months ago by @centralasian_20
show all tags
concept,
examples
mathematical
operations,
set
subsets,
concept,examplesmathematicaloperations,setsubsets,
(0)
copydeleteadd this publication to your clipboard
1THE SIMPLEST MATHEMATICAL MODELS OF ECONOMIC PROCESSES
P. Islamovich. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, 4 (1): 80-82 (January 2023)
8 months ago by @centralasian_20
show all tags
Mathematical
elements
events
mathematical
measurementprinciples
model,
modelings,
of
system,
systems
the
units
variation,
Mathematicalelementseventsmathematicalmeasurementprinciplesmodel,modelings,ofsystem,systemstheunitsvariation,
(0)
copydeleteadd this publication to your clipboard
1Practice-Oriented Issues in the Subject Section
Y. ugli. CENTRAL ASIAN JOURNAL OF THEORETICAL AND APPLIED SCIENCE, 4 (2): 96-98 (February 2023)
8 months ago by @centralasian_20
show all tags
arithmeticalgebra
mathematical
property,
propertytheorem,
theorem,
arithmeticalgebramathematicalproperty,propertytheorem,theorem,
(0)
copydeleteadd this publication to your clipboard
3Mathematical methods for physics and engineering
K. Riley, M. Hobson, and S. Bence. Cambridge University Press, Third edition, (2006)
8 months ago by @glonga
show all tags
Engineering
Mathematical
Method
Physics
EngineeringMathematicalMethodPhysics
(0)
copydeleteadd this publication to your clipboard
1The application of Pennes’ bioheat equation to determine the effect of temperature on drug diffusion
K. Bunonyo, and P. Awomi. World Journal of Biology Pharmacy and Health Sciences, 13 (3): 001–011 (March 2023)
9 months ago by @wjbphsjournal
show all tags
Mathematical
Models
MathematicalModels
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩