Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
60.7% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
World Scientific
Shang-Ching Chou
,
Xiao-Shan Gao
,
Jingzhong Zhang
geometry
abc
triangle
sabc
figure
constructive
midpoint
theorem
paba
proposition
pbcb
paca
plane
method
simplify
eliminants
parallel
circumcenter
collinear
intersection
lratio
proofs
theorems
pabc
perpendicular
prove
triangles
constructions
introduced
pbac
lemma
abcd
sabd
statement
angle
proving
circles
quadrilateral
statements
pythagoras
pacb
equal
ndg
product
topics
orthocenter
passing
sacd
tratio
vector
Year:
1994
Language:
english
File:
DJVU, 3.93 MB
Your tags:
0
/
0
english, 1994
2
Machine proofs in geometry : automated production of readable proofs for geometry theorems
World Scientific
Shang-Ching Chou
,
Xiao-Shan Gao
,
Jingzhong Zhang
geometry
figure
abc
triangle
constructive
sabc
midpoint
theorem
proposition
paca
plane
method
paba
eliminants
pbcb
parallel
collinear
circumcenter
intersection
proofs
theorems
perpendicular
prove
introduced
constructions
lratio
pabc
lemma
triangles
pbac
sabo
statement
ify
proving
angle
circles
saba
statements
pythagoras
quadrilateral
equal
sabd
ndg
product
topics
ratio
passing
orthocenter
saca
vector
Year:
1994
Language:
english
File:
PDF, 8.32 MB
Your tags:
0
/
0
english, 1994
3
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
World Scientific
Shang-Ching Chou
,
Xiao-Shan Gao
,
Jingzhong Zhang
geometry
abc
triangle
constructive
figure
midpoint
sabc
theorem
proposition
paba
plane
paca
pbcb
method
simplify
eliminants
parallel
collinear
circumcenter
intersection
proofs
theorems
perpendicular
prove
constructions
introduced
pabc
triangles
lratio
lemma
abcd
pbac
statement
angle
proving
circles
quadrilateral
sabd
statements
pythagoras
equal
ndg
product
orthocenter
topics
passing
pacb
tratio
vector
eliminate
Year:
1994
Language:
english
File:
DJVU, 6.60 MB
Your tags:
0
/
0
english, 1994
4
数学软件资料汇编 3 稀疏矩阵程序包 YSMP
row
storage
stored
array
nonzero
matrix
flag
entries
integer
isp
column
rows
jmin
jmax
path
tmp
error
rsp
subroutine
dimension
insufficient
entry
element
ordering
nsp
coefficient
dimensional
factorization
indices
sparse
triangle
strict
columns
esp
lratio
umax
corresponding
parameters
precision
equations
fillin
jumax
kth
solution
driver
luk
linear
pointers
vertex
degree
Language:
chinese
File:
PDF, 1.58 MB
Your tags:
0
/
0
chinese
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×